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

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.

[1]  Brian N. Bershad,et al.  Lightweight remote procedure call , 1989, TOCS.

[2]  Soha Hassoun,et al.  A 200-MHz 64-bit Dual-Issue CMOS Microprocessor , 1992, Digit. Tech. J..

[3]  Chorus Systemes,et al.  Overview of the CHORUS? Distributed Operating Systems , 1991 .

[4]  James R. Larus,et al.  Cooperative shared memory: software and hardware for scalable multiprocessors , 1993, TOCS.

[5]  Kun-Lung Wu,et al.  Recoverable Distributed Shared Virtual Memory , 1990, IEEE Trans. Computers.

[6]  P. Winterbottom,et al.  Topsy: an extensible Unix multicomputer , 1990 .

[7]  Claude Kaiser,et al.  Overview of the CHORUS ® Distributed Operating Systems , 1991 .

[8]  Jeffrey S. Chase,et al.  Architecture support for single address space operating systems , 1992, ASPLOS V.

[9]  Kai Li,et al.  Shared virtual memory on loosely coupled multiprocessors , 1986 .

[10]  Seif Haridi,et al.  A performance study of the DDM - a cache-only memory architecture , 1991 .

[11]  Andy Whitcroft,et al.  The CBIC : Architectural support for message passing or sharedmemory ? , 1992 .

[12]  Jeffrey C. Mogul,et al.  The effect of context switches on cache performance , 1991, ASPLOS IV.

[13]  Jeffrey S. Chase,et al.  How to Use a 64-Bit Virtual Address Space , 1992 .

[14]  Erik Hagersten,et al.  DDM - A Cache-Only Memory Architecture , 1992, Computer.

[15]  Elliott I. Organick,et al.  The multics system: an examination of its structure , 1972 .

[16]  Ravi Kumar,et al.  Scalability Study of the KSR-1 , 1993, 1993 International Conference on Parallel Processing - ICPP'93.

[17]  James R. Larus,et al.  Cooperative shared memory: software and hardware for scalable multiprocessor , 1992, ASPLOS V.

[18]  B. D. Fleisch.  Reliable distributed shared memory , 1990, IEEE Workshop on Experimental Distributed Systems.

[19]  Evangelos P. Markatos,et al.  First-class user-level threads , 1991, SOSP '91.

[20]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.