Inferno

Axel-Tobias Schreiner
Department of Mathematics and Computer Science
University of Osnabrück, Germany

An introduction to use, architecture and programming of the new network operating system by Bell Laboratories .

This text contains copies of the overhead transparencies used during the lectures. The information is available on the World Wide Web; it is linked to the Inferno manual pages. The programming examples are extracted directly from this text.

Basic knowledge of operating systems, networking and (object oriented) programming is assumed. This text does not constitute a complete transcript of the lectures. Additionally one should consult the Inferno documentation and books about programming.

Contents

	1	Introduction	3
	2	Installation	5
	3	File systems and namespaces	15
	4	Styx	23
	5	Server	25
	6	Limbo	27
	7	System calls	41
	8	Threads and channels	49
	9	yacc and Limbo	71
	10	ramfs -- A Styx server in Limbo	79
	11	Security	81

11/May/1998