1*150ed664SCharles.Forsyth.FP lucidasans 2*150ed664SCharles.Forsyth.nr PS -1 3*150ed664SCharles.Forsyth.nr VS -1 4*150ed664SCharles.Forsyth.TL 5*150ed664SCharles.ForsythPreface 6*150ed664SCharles.Forsyth.SP 0.4i exactly 7*150ed664SCharles.Forsyth.LP 8*150ed664SCharles.ForsythInferno benefits from the results of many years of systems research 9*150ed664SCharles.Forsythat the Computing Science Research Center at Lucent Technologies, Bell Labs. 10*150ed664SCharles.ForsythThe system is clearly a cultural descendent of the earliest Unix systems, 11*150ed664SCharles.Forsythand amongst Inferno's inventors, listed below, are several venerable programmers 12*150ed664SCharles.Forsythassociated with the development of Unix. 13*150ed664SCharles.ForsythInferno looks out on a very different world from Unix: complexity is no longer 14*150ed664SCharles.Forsythconfined to large mainframes, but has sprawled 15*150ed664SCharles.Forsythacross world wide networks, trapping programmers in its web. 16*150ed664SCharles.Forsyth.LP 17*150ed664SCharles.ForsythInferno tackles this as radically now as Unix did then. 18*150ed664SCharles.ForsythFirst, it adopts key ideas from the system Plan 9, also from Bell Labs: 19*150ed664SCharles.Forsyth.IP \(bu 20*150ed664SCharles.ForsythReplace a plethora of protocols by a simple, unifying file service protocol (Styx), 21*150ed664SCharles.Forsyththat can be served even by tiny devices, giving a uniform 22*150ed664SCharles.Forsythway to access objects throughout the network. 23*150ed664SCharles.Forsyth.IP \(bu 24*150ed664SCharles.ForsythLet applications `compute a name space': all resources are represented 25*150ed664SCharles.Forsythas file systems, which an application assembles into an application-specific 26*150ed664SCharles.Forsythhierarchy or `name space', private or shared, that hides their source (local or remote) 27*150ed664SCharles.Forsythand nature (static or dynamic), for completely transparent access. 28*150ed664SCharles.Forsyth.IP \(bu 29*150ed664SCharles.ForsythUsing those primitives, implement windowing systems, networked graphics, remote debugging, 30*150ed664SCharles.Forsythdevice control, and much more, with remarkable ease 31*150ed664SCharles.Forsythand great simplicity. 32*150ed664SCharles.Forsyth.LP 33*150ed664SCharles.ForsythInferno carries Plan 9's ideas further. 34*150ed664SCharles.ForsythPlan 9 virtualised resources; Inferno virtualises the whole system. 35*150ed664SCharles.ForsythThe operating system kernel can run both native and `hosted' on a range 36*150ed664SCharles.Forsythof platforms presenting identical interfaces on all, offering wider portability. 37*150ed664SCharles.ForsythThe Limbo programming language offers proper concurrent programming, 38*150ed664SCharles.Forsythand straightforward yet dynamic modularity. 39*150ed664SCharles.ForsythThe Dis virtual machine allows applications to cross architecture boundaries 40*150ed664SCharles.Forsythinvisibly during execution. 41*150ed664SCharles.ForsythInferno shows the `continued appliance of computer science'. 42*150ed664SCharles.Forsyth.LP 43*150ed664SCharles.ForsythThe original development team at Bell Labs was 44*150ed664SCharles.ForsythSean Dorward, Rob Pike and Phil Winterbottom, 45*150ed664SCharles.Forsythwith Eric Grosse, Jim McKie, Dave Presotto, 46*150ed664SCharles.ForsythDennis Ritchie, Ken Thompson and Howard Trickey. 47*150ed664SCharles.ForsythMany others have contributed much since then, both within Lucent and without. 48*150ed664SCharles.Forsyth.LP 49*150ed664SCharles.ForsythInferno® is now a supported, commercial product of Vita Nuova. 50*150ed664SCharles.ForsythThe Third Edition of the Programmer's manual marked that event. 51*150ed664SCharles.ForsythThe Fourth Edition brings many changes in content, but also makes the full 52*150ed664SCharles.Forsythsource available as Free Software under a new `dual licence' scheme. 53*150ed664SCharles.Forsyth.LP 54*150ed664SCharles.Forsyth.sp 55*150ed664SCharles.Forsyth.in 4i 56*150ed664SCharles.Forsyth.nf 57*150ed664SCharles.Forsyth.ft I 58*150ed664SCharles.Forsyth.ce 100 59*150ed664SCharles.ForsythDave Atkin 60*150ed664SCharles.ForsythJohn Bates 61*150ed664SCharles.ForsythDanny Byrne 62*150ed664SCharles.ForsythJohn Firth 63*150ed664SCharles.ForsythCharles Forsyth 64*150ed664SCharles.ForsythMichael Jeffrey 65*150ed664SCharles.ForsythChris Locke 66*150ed664SCharles.ForsythRoger Peppé 67*150ed664SCharles.ForsythNigel Roles 68*150ed664SCharles.Forsyth.sp 69*150ed664SCharles.ForsythVita Nuova 70*150ed664SCharles.Forsyth.br 71*150ed664SCharles.ForsythJune 2003 72*150ed664SCharles.Forsyth.ce 0 73*150ed664SCharles.Forsyth.in -4i 74