next up previous contents
Next: About this document Up: A Brief Overview Previous: 2 The Nemesis Programming


Accetta 86
Mike Accetta, Robert Baron, William Bolosky, David Golub, Richard Rashid, Avadis Tevanian, and Michael Young. Mach: A New Foundation for UNIX Development. In USENIX, pages 93-112, Summer 1986. mach:intro

Anderson 92
Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. ACM Transactions on Computer Systems, 10(1):53-79, February 1992. wash:sched:activations

Architecture Projects Management Limited, Poseidon House, Castle Park, Cambridge, CB3 0RD, UK. ANSAware/RT 1.0 Manual, March 1995. ansaware:rt:manual

ARM 91
Advanced RISC Machines. ARM6 Macrocell Datasheet, 0.5 edition, November 1991. arm6

Barham 96
Paul R. Barham. Devices in a Multi-Service Operating System. PhD thesis, University of Cambridge Computer Laboratory, July 1996. Available as Technical Report No. 403. barham:thesis

Barham 97
Paul R. Barham. A Fresh Approach to Filesystem Quality of Service. In 7th International Workshop on Network and Operating System Support for Digital Audio and Video, pages 119-128, St. Louis, Missouri, USA, May 1997. barham:nossdav97

Bayer 79
R. Bayer, R. M. Graham, and G. Seegmuller, editors. Operating Systems: an Advanced Course, volume 60 of LNCS. Springer-Verlag, 1979. bayer:os-advanced

Birrell 84
Andrew D. Birrell and Bruce Jay Nelson. Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, 2(1):39-59, February 1984. birrell:rpc

Birrell 87
A.D. Birrell, J.V. Guttag, J.J. Horning, and R. Levin. Synchronisation Primitives for a Multiprocessor: A Formal Specification. Technical Report 20, Digital Equipment Corporation Systems Research Centre, August 1987. src:synchronization:primitives

Black 94
Richard J. Black. Explicit Network Scheduling. PhD thesis, University of Cambridge Computer Laboratory, 1994. black:thesis

Brinch-Hansen 70
Per Brinch-Hansen. The Nucleus of a Multiprogramming System. Communications of the ACM, 13(4):238-241,250, April 1970. brinch-hansen:nucleus

Coulson 93
G. Coulson, G. Blair, P. Robin, and D. Shepherd. Extending the Chorus Micro-kernel to support Continuous Media Applications. In Proceedings of the 4th International Workshop on Network and Operating System Support for Digital Audio and Video, pages 49-60, November 1993. lanc:sumo

Coulson 95
G. Coulson, A. Campbell, P. Robin, M. Papathomas G. Blair, and D. Shepherd. The Design of a QoS-Controlled ATM-Based Communications System in Chorus. IEEE Journal on Selected Areas In Communications, 13(4):686-699, May 1995. lanc:qos:atm:chorus

DEC 93
Digital Equipment Corporation. DECchip 21064 Evaluation Board User's Guide, May 1993. Order Number EC-N0351-72. dec:eb64:user-guide

DEC 94
Digital Equipment Corporation. DEC3000 300400500600700 800900 AXP Models: System Programmer's Manual, 2nd edition, July 1994. Order Number EK-D3SYS-PM.B01. dec:3000:spm

Dixon 92
Michael Joseph Dixon. System Support for Multi-Service Traffic. PhD thesis, University of Cambridge Computer Laboratory, January 1992. Available as Technical Report no. 245. dixon:thesis

Evers 93
David Evers. Distributed Computing with Objects. PhD thesis, University of Cambridge Computer Laboratory, September 1993. Available as Technical Report No. 332. evers:thesis

Group 97
Digital Internet Appliances Group. Digital Network Appliance Reference Design., May 1997. dec:shark

Jürg Gutknecht. The Oberon Guide. (version 2.2). oberon:guide

Hayter 94
M. Hayter and R. Black. Fairisle Port Controller Design and Ideas. In ATM Document Collection 3 (The Blue Book), chapter 23. University of Cambridge Computer Laboratory, March 1994. srg:blue-book:fpc:generic

Hyden 94
Eoin Hyden. Operating System Support for Quality of Service. PhD thesis, University of Cambridge Computer Laboratory, February 1994. Available as Technical Report No. 340. hyden:thesis

Kane 88
Gerry Kane. MIPS RISC Architecture. Prentice-Hall, 1988. mips:kane

Koldinger 92
Eric J. Koldinger, Jeffrey S. Chase, and Susan J. Eggers. Architectural Support for Single Address Space Operating Systems. In Proceedings of ASPLOS V, 1992. asplos:plbs

Leslie 93
I. M. Leslie, D. R. McAuley, and S. J. Mullender. Pegasus--Operating System Support for Distributed Multimedia Systems. ACM Operating Systems Review, 27(1):69-78, January 1993. pegasus:osr

Leslie 96
Ian Leslie, Derek McAuley, Richard Black, Timothy Roscoe, Paul Barham, David Evers, Robin Fairbairns, and Eoin Hyden. The Design and Implementation of an Operating System to Support Distributed Multimedia Applications. IEEE Journal on Selected Areas in Communication, 14(7):1280-1297, September 1996. nemesis:jsac

Liskov 81
Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Schaffert, Robert Scheifler, and Alan Snyder. CLU Reference Manual, volume 114 of LNCS. Springer-Verlag, 1981. clu:reference

Liu 73
C. L. Liu and James W. Layland. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. Journal of the Association for Computing Machinery, 20(1):46-61, January 1973. liu:scheduling

Mogul 91
Jeffrey C. Mogul and Anita Borg. The Effect of Context Switches on Cache Performance. In Proceedings of the 18th International Symposium on Computer Architecture, 1991. wrl:mogul:caches

Nelson 91
Greg Nelson, editor. Systems Programming With Modula-3. Prentice-Hall, Englewood Cliffs, NJ 07632, 1991. nelson:modula3

Radia 93
Sanjay Radia, Michael N. Nelson, and Michael L. Powell. The Spring Name Service. Technical Report 93-16, Sun Microsystems Laboratories, Inc., November 1993. sun:spring:naming

Raj 91
Rajendra K. Raj, Ewan Tempero, Henry M. Levy, Andrew P. Black, Norman C. Hutchinson, and Eric Jul. Emerald: A General-Purpose Programming Language. Software--Practice and Experience, 21(1):91-118, January 1991. wash:emerald:language

Reed 76
D. P. Reed. Processor Multiplexing in a Layered Operating System. PhD thesis, Massachusetts Institute of Technology Computer Science Laboratory, June 1976. Available as Technical Report no 164. reed:thesis

Reed 79
David P. Reed and Rajendra K. Kanodia. Synchronization with Eventcounts and Sequencers. Communications of the ACM, 22(2):115-123, February 1979. ecs:basic

Roscoe 94a
Timothy Roscoe. Linkage in the Nemesis Single Address Space Operating System. ACM Operating Systems Review, 28(4):48-55, October 1994. pegasus:linkage:osr

Roscoe 94b
Timothy Roscoe. The MIDDL Manual. Pegasus Working Document (4th Edition), available from, August 1994. pegasus:middl:manual

Roscoe 94c
Timothy Roscoe, Simon Crosby, and Richard Hayton. The MSRPC2 User Manual. In ATM Document Collection 3 (The Blue Book), chapter 16. University of Cambridge Computer Laboratory, March 1994. srg:msrpc2:manual

Roscoe 95a
Timothy Roscoe. CLANGER : An Interpreted Systems Programming Language. ACM Operating Systems Review, 29(2):13-20, April 1995. pegasus:clanger:osr

Roscoe 95b
Timothy Roscoe. The Structure of a Multi-Service Operating System. PhD thesis, University of Cambridge Computer Laboratory, April 1995. Available as Technical Report No. 376. roscoe:thesis

Rovner 85
Paul Rovner. On Adding Garbage Collection and Runtime Types to a Strongly-Typed, Statically-Checked, Concurrent Language. Technical Report CSL-84-7, Xerox Corporation, Palo Alto Research Center, July 1985. parc:cedar:garbage

Rozier 90
M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Leonard, and W. Neuhauser. Overview of the CHORUS Distributed Operating Systems. Technical Report Technical Report CS-TR-90-25, Chorus Systemes, 1990. chorus:overview

Saltzer 79
J. H. Saltzer. Naming and Binding of Objects. In Bayer et al. [Bayer 79], chapter 3.A, pages 100-208. saltzer:names

Sites 92
Richard L. Sites, editor. Alpha Architecture Reference Manual. Digital Press, 1992. dec:alpha:arm

Stroustrup 91
Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 2nd edition, 1991. stroustrup:2

Stroustrup 94
Bjarne Stroustrup. The Design and Evolution of C++. Addison-Wesley, 1994. stroustrup:evolution

Voth 91
David Voth. MAXine System Module Functional Specification. Technical Report, Workstation Systems Engineering, Digital Equipment Corporation, 100 Hamilton Avenue, Palo Alto, CA 94301, July 1991. revision 1.2. dec:maxine:func-spec

Paul Barham
Thu Jul 3 12:43:24 BST 1997