Design and Implementation of an Object-Oriented 64-bit Single Address Space Microkernel

Authors: 

Kevin Murray, Tim Wilkinson and Peter Osmon, Systems Architecture Research Centre, Department of Computer Science, City University, London; Ashley Saulsbury, Swedish Institute of Computer Science; Tom Stiemerling and Paul Kelly, Dept. of Computing, Imperial College - London

Abstract: 

In the mid eighties, the System Architecture Research Centre at City University developed a message-passing, UNIX compliant micro kernel (Meshix) for our own scalable distributed memory architecture (Topsy). Over the last two years we have been engaged in a research programme aimed at learning from this experience, and developing a new operating system based on these lessons. The result is the Angel microkernel. This paper sets out the lessons we have learnt from Meshix, how this has influenced the design of Angel and outlines our current design of Angel and its C++ implementation. We will also describe our future plans and hopes for Angel, and the lessons that we have learnt from the design and implementation process.

BibTeX
@inproceedings {252249,
author = {Kevin Murray and Tim Wilkinson and Peter Osmon and Ashley Saulsbury and Tom Stiemerling and Paul Kelly},
title = {Design and Implementation of an {Object-Oriented} 64-bit Single Address Space Microkernel},
booktitle = {USENIX Microkernels and Other Architectures Symposium (USENIX Microkernels and Other Architectures Symposium)},
year = {1993},
address = {San Diego, CA},
url = {https://www.usenix.org/conference/usenix-microkernels-and-other-architectures-symposium/design-and-implementation-object},
publisher = {USENIX Association},
month = sep
}
Download

Links

Paper: 
http://usenix.org/publications/library/proceedings/micro93/full_papers/murray.txt