References

Anderson86

M. Anderson, R. Pose, and C. S. Wallace.
A password-capability system.
The Computer Journal, 29(1):1-8, 1986.

Anderson92

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.

Angel

Angel.
http://web.cs.city.ac.uk/research/sarc/angel.html .

Barham96

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

Barham97

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.

Chase94

Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, and Edward D. Lazowska.
Sharing and Protection in a Single Address Space Operating System.
ACM Transactions on Computer Systems, 12(4):271-307, November 1994.

Chase95

Jeffrey S. Chase.
An Operating System Structure for Wide-Address Architectures.
PhD thesis, Department of Computer Science and Engineering, University of Washington, August 1995.

DEC95

Digital Equipment Corporation.
Alpha 21164 Microprocessor Hardware Reference Manual, April 1995.
Order Number EC-QAEQA-TE.

Elphinstone96

Kevin Elphinstone, Stephen Russell, Gernot Heiser, and Jochen Liedtke.
Supporting Persistent Objects Systems in a Single Address Space.
Technical Report UNSW-CSE-TR-9601, University of New South Wales, February 1996.

Engler95

Dawson Engler, Sandeep K. Gupta, and Frans Kaashoek.
AVM: Application-Level Virtual Memory.
In Processings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V), Rosario Resort, Orcas Island, Washington, USA, May 1995.

Hayter94

Mark Hayter.
DAN Processor Node: The MDH-9. Design and Ideas.
In ATM Document Collection 3 (The Blue Book), chapter 32. University of Cambridge Computer Laboratory, March 1994.

Heiser94

Gernot Heiser, Kevin Elphinstone, Stephen Russell, and Jerry Vochteloo.
Mungi: A Distributed Single Address-Space Operating System.
In Proceedings of the 17th Australasian Comp. Sci. Conf, pages 271-280, January 1994.
Available as Technical Report UNSW-CSE-TR-9303.

Heiser97

Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke.
Implementation and Performance of the Mungi Single-Address-Space Operating System.
Technical Report UNSW-CSE-TR-9704, University of New South Wales, June 1997.
Available from http://www.cse.unsw.edu.au/ disy/papers.html .

HP94

Hewlett Packard.
PA-RISC 1.1 Architecture and Instruction Set Reference Manual, 3rd ed. edition, 1994.

Hyden94

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

Koldinfer92

Eric J. Koldinfer, Jeffresy S. Chase, and Susan J. Eggers.
Architectural Support for Single Address Space Operating Systems.
In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V), Boston, Massachusetts, USA, pages 175-186, October 1992.

Leslie96

I. M. Leslie, D. McAuley, R. Black, T. Roscoe, P. Barham, D. Evers, R. Fairbairns, and E. Hyden.
The Design and Implementation of an Operating System to Support Distributed Multimedia Applications.
IEEE Journal on Selected Areas In Communications, 14(7):1280-1297, September 1996.
Article describes state in May 1995.

Liedtke93

Jochen Liedtke.
Some Theorms About Guarded Page Tables.
Technical Report 792, German National Research Center for Computer Science (GMD), October 1993.

Liedtke94

Jochen Liedtke.
Some Theorms About Restricted Guarded Page Tables.
Technical Report 834, German National Research Center for Computer Science (GMD), April 1994.

Liedtke95a

Jochen Liedtke.
Address Space Sparsity and Fine Granularity.
ACM Operating Systems Review, 29(1):87-90, January 1995.

Liedtke95b

Jochen Liedtke.
On Microkernel Construction.
In Proceedings of the 15th ACM SIGOPS Symposium on Operating Systems Principles, Operating Systems Review, pages 237-250, December 1995.

Liedtke96a

Jochen Liedtke.
L4 Reference Manual, April 1996.
Version 2. Copy available from author on request.

Liedtke96b

Jochen Liedtke and Kevin Elphinstone.
Guarded Page Tables on Mips R4600 Or An Exercise in Architecture-Dependent Micro Optimization.
ACM Operating Systems Review, 30(1):4-15, January 1996.
A longer version is available as UNSW Technical Report UNSW-CSE-TR-9503.

Murray93

K. Murray, A. Saulsbury, T. Stiemerling, T. Wilkinson, P. Kelly, and P.E. Osmon.
Design and Implementation of an Object-Orientated 64-bit Single Address Space Microkernel.
In 2nd USENIX Symposium on Microkernels and other Kernel Architectures, pages 31-43, 1993.
See also http://web.cs.city.ac.uk/research/sarc/angel.html .

Roscoe94

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

Roscoe95

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.

Shapiro96

Jonathon S. Shapiro, David J. Faber, and Jonathon M. Smith.
The Measured Performance of Fast Local IPC.
In Proceedings of 5th International Workshop on Object-Orientation in Operating Systems, Seattle, Washington, USA, 1996.
Also available as http://www.cis.upenn.edu/~eros/devel/iwooos96-ipc.ps .

Sites92

Richard L. Sites, editor.
Alpha Architecture Reference Manual.
Digital Press, 1992.

Talluri95

Madhusudhan Talluri, Mark Hill, and Yousef Khalidi.
A New Page Table for 64-bit Address Spaces.
In Proceedings of the 15th ACM SIGOPS Symposium on Operating Systems Principles, Operating Systems Review, pages 184-200, December 1995.

Witt66

B. I. Witt.
The Functional Structure of OS/360 Part II: Job and Task Management.
IBM Systems Journal, 5(1):12-29, 1966.

Young87

Michael Young, Avadis Tevanian, Richard Rashid, David Golub, Jeffrey Eppinger, Jonathon Chew, William Bolosky, David Black, and Robert Baron.
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System.
In Proceedings of the 11th ACM SIGOPS Symposium on Operating Systems Principles, Operating Systems Review, pages 63-76, November 1987.