The grand unified theory of address spaces

A key decision in the design of an operating system is which facilities to provide for the management and composition of the address space. A wide spectrum of schemes exist, ranging from the private process address spaces of Unix through to the recently revived single address space approach. This paper proposes a new model which provides a unified and generalised approach to address space management. The model presents a single abstraction of address spaces which are orthogonal to processes and may be composed in arbitrary ways. The power of the model is demonstrated by case studies which show how shared libraries, a Unix system and a single address space system may be implemented.

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

[2]  Partha Dasgupta,et al.  The Design and Implementation of the Clouds Distributed Operating System , 1989, Comput. Syst..

[3]  Alan Dearle,et al.  Casper: A Cached Architecture Supporting Persistence , 1992, Comput. Syst..

[4]  Franklin Reynolds,et al.  An Architectural Overview of Alpha: A Real-Time, Distributed Kernel , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.

[5]  José Legatheaux Martins,et al.  The CHORUS Distributed Operating System: Some Design Issues , 1987 .

[6]  Alessandro Forin,et al.  UNIX as an Application Program , 1990, USENIX Summer.

[7]  John Rosenberg,et al.  Grasshopper: An Orthogonally Persistent Operating System , 1994, Comput. Syst..

[8]  Robert Sims,et al.  Alpha architecture reference manual , 1992 .

[9]  Michael N. Nelson,et al.  High Performance Dynamic Linking Through Caching , 1993, USENIX Summer.

[10]  Jay Lepreau,et al.  Evolving Mach 3.0 to A Migrating Thread Model , 1994, USENIX Winter.

[11]  Claude Kaiser,et al.  CHORUS Distributed Operating System , 1988, Comput. Syst..

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

[13]  John Rosenberg,et al.  MONADS-PC - a capability-based workstation to support software engineering , 1985 .

[14]  David Kotz,et al.  The expected lifetime of “single-address-space” operating systems , 1994, Comput. Syst..

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

[16]  William J. Bolosky,et al.  Mach: A New Kernel Foundation for UNIX Development , 1986, USENIX Summer.

[17]  Roger M. Needham,et al.  On the duality of operating system structures , 1979, OPSR.

[18]  Brian N. Bershad,et al.  Lightweight remote procedure call , 1990 .

[19]  Graham Hamilton,et al.  The Spring Nucleus: A Microkernel for Objects , 1993 .