References

1

Barak A. and La'adan O. The mosix multicomputer operating system for high performance cluster computing. Journal of Future Generation Computer Systems, April 1998. (to appear).

2

Mike Accetta, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A New Kernel Foundation for Unix development. In USENIX Summer Conference, Jul 1986.

3

T.E. Anderson, Culler D.E., and Patterson D.A. A case for NOW (networks of workstations). IEEE Micro, 1994.

4

Thomas E. Anderson, B.N. Bershad, Edward D. Lazowska, and Henry M. Levy. Scheduler activations: effective kernel support for the user-level management of parallelism. In Proceedings of 13th ACM Symposium on Operating Systems Principles, pages 95-109. Association for Computing Machinery SIGOPS, October 1991.

5

A.W. Appel and K. Li. Virtual memory primitives for user programs. In Proceedings of the Fourth International Conference ASPLOS, pages 95-109, October 1991.

6

Remzi H. Arpaci, Andrea Dusseau, Amin M. Vahdat, Lok T. Liu, Thomas E. Anderson, and David A. Patterson. The interaction of parallel and sequential workloads on a network of workstations. Technical report, UC Berkeley, 1994.

7

Jose M. Bernabeu Auban, Phillip W. Hutto, and M. Yousef A. Khalidi. The Architecture of the Ra Kernel. Technical report, Georgia Institute of Technology, 1987.

8

H. E. Bal and A. S. Tanenbaum. Orca: A Language for Distributed Object-Based Programming. SIGPLAN Notices, 25(5):17-24, may 1990.

9

Henri E. Bal, M. Frans Kaashoek, and A.S. Tanenbaum. Orca: A language for parallel programming of distributed systems. IEEE Transactions on Software Engineering, 18(3):190-205, March 1992.

10

Francisco J. Ballesteros. Off web site. http://www.gsyc.inf.uc3m.es/off, 1996.

11

Francisco J. Ballesteros and Luis L. Fernandez. An adaptable and extensible framework for distributed object management. In Special Issues in Object Oriented Programming. Workshop reader of the 10th European Conference on Object-Oriented Programming, ECOOP'96., Linz (Au), july 1996.

12

Francisco J. Ballesteros and Luis L. Fernández. Advice: An Adaptable and Extensible Distributed Virtual Memory Architecture. In Parallel and Distributed Computing Systems, 1996.

13

Francisco J. Ballesteros and Luis L. Fernández. An Adaptable and Extensible Framework for Distributed Object Managment. In Proceedings in the II Workshop on Mobility and Replication (ECOOP`96), Linz,Austria, July 1996.

14

Francisco J. Ballesteros and Luis L. Fernandez. The inherently distributed adaptable Off microkernel. In Actas de las Jornadas de Concurrencia, Vigo, 1997.

15

Francisco J. Ballesteros and Luis L. Fernández. The Network Hardware is the Operating System. In Proceedings of the 6th Hot Topics on Operating Systems (HotOS-VI)., Cape Cod, MA (USA), May 1997.

16

R. Balter, J. Bernadat, D. Decouchant, A. Duda, A. Freyssinet, S. Krakowiak, P. Ledot, M. Meysembourg, H. Nguyen Van, E. Paire, M. Riveill, C. Roisin, X. Rousset de Pina, R. Scioville, and G. Vandôme. Architecture and implementation of guide, an object-oriented distributed system. Computing Systems, 4(1), Winter 1991.

17

B.N. Bershad, C. Chambers, S. Eggers, C. Maeda, D. McNamee, P. Pardyak, S. Savage, and E. Sirer. SPIN -- An extensible microkernel for application specific operating system services. Technical report, University of Washington, February 1994.

18

B.N. Bershad, S. Savage, P. Pardyak, E.G. Sirer, M. Fiuczynski, D. Becker, S. Eggers, and C. Chambers. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles. ACM, December 1995.

19

Krishnba Bharat and Luca Cardelli. Migratory Applications. In ACM Symposium on User Interface Software and Technology'95, Pittsburg, PA, Nov 1995. ACM.

20

Lubomir Bic and Alan Shaw. The Logical Design of Operating Systems. Prentice-Hall, 1988.

21

David L. Black, David B. Golub, Karl Hauth, Avadis Tevanian, and Richar Sanzi. The Mach Exception Handling Facility. Technical Report CMU-CS-88-129, Carnegie Mellon University, 1988.

22

Jeff Bonwick. The slab allocator: An object-caching kernel memory allocator. In USENIX Association, editor, Proceedings of the Summer 1994 USENIX Conference: June 6-10, 1994, Boston, Massachusetts, USA, pages 87-98, Berkeley, CA, USA, Summer 1994. USENIX.

23

Patrick Bridges. Operating system projects. http://www.cs.arizona.edu/people/bridges/os/full.html.

24

Bill Bryant, Steve Sears, David Black, and Alan Langerman. An Introduction to Mach 3.0's XMM subystem. In Operating System Collected Papers, volume 2. OSF Research Institute, Oct 1993.

25

A. Burns. Distributed hard real-time systems: What restrictions are necessary? In H. Zedan, editor, Proceedings of the 1989 Real-Time Symposium, 1989.

26

Vinny Cahill. An overview of the Tigger object-support operating system framework. In Keith G. Jeffery, Jaroslav Kral, and Miroslav Bartosek, editors, SOFSEM '96: Theory and Practice of Informatics, volume 1175 of Lecture Notes in Computer Science, pages 34-55, Berlin/Heidelberg, November 1996. Springer-Verlag.

27

R. H. Campbell and P. W. Madany. Considerations of persistence and security in choices, an object-oriented operating system. In International Workshop on Computer Architectures to Support Security and Persistence of Information, Bremen (Federal Republic of Germany), May 1990.

28

Roy Campbell, Vincent Russo, and Gary Johnston. The design of a multiprocessor operating system. In Proceedings and additional papers, C++ workshop, Berkeley, CA (USA), November 1987. USENIX.

29

Roy Campbell, Vincent Russo, and Gary Johnston. A class hierarchical, object-oriented approach to virtual memory management in multiprocessor operating systems. Technical Report R-88-1459, Department of Computer Science, Urbana, Illinois (USA), September 1988.

30

Roy H. Campbell, Francisco J. Ballesteros, Fabio Kon, Ashish Singhai, Dulcineia Carvalho, and Robert Moore. 2k: A distributed adaptable operating system. http://choices.cs.uiuc.edu/2k, August 1997.

31

Roy H. Campbell and Nayeem Islam. Choices: A parallel object-oriented operating system. In Peter Wegner Gul Agha and Akinori Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993.

32

Roy H. Campbell, Gary M. Johnston, Peter W. Madany, and Vincent F. Russo. Principles of object-oriented operating system design. Technical Report R-89-1510, Department of Computer Science, University of Illinois, Urbana, Illinois (USA), April 1989.

33

Jeffrey S. Chase, Henry M. Levy, Michael Baker-Harvey, and Edward D. Lazowska. How to use a 64-bit virtual address space. Technical Report TR-92-03-02, University of Washington, 1992.

34

D. Cheriton and K. Duda. A caching model of operating system kernel functionality. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 179-193, November 1994.

35

D. R. Cheriton. The V Kernel. IEEE Software, (1(2)19-42), 1984.

36

D. R. Cheriton. Preliminary Thoughts on Problem-oriented Shared Memory: A Decentralized Approach to Distributed Systems. ACM Operating Systems Review, 19(4):26-33, October 1985.

37

D. R. Cheriton. Problem Oriented Shared Memory Revisited. In Proc. of the 5th ACM SIGOPS European Workshop, September 1992.

38

David Cheriton. The V Distributed System. Communications of the ACM, 31(3):314-333, March 1988.

39

W.H. Cheung and Anthony H.S. Loong. Exploring Issues of Operating Systems Structuring: from Microkernel to Extensible Systems. University of Hong-Kong csd.hku.hk.

40

P. Y. Chevalier, A. Freyssinet, D. Hagimont, S. Lacourte, and X. Rousset de Pina. Is the microkernel technology well suited for the support of object-oriented operating systems: the guide experience. In Microkernel and Other Kernel Architectures. USENIX, 1993.

41

Hsiao-Keng Jerry Chu. Zero-copy TCP in Solaris. In USENIX Association, editor, Proceedings of the USENIX 1996 annual technical conference: January 22-26, 1996, San Diego, California, USA, USENIX Conference Proceedings 1996, pages 253-264, Berkeley, CA, USA, January 1996. USENIX.

42

D.D. Clark. The structuring of systems using upcalls. In Proceedings of the 10th ACM Symposium on Operating Systems Principles, December 1985.

43

Charles Consel, Calton Pu, and Jonathan Walpole. Incremental partial evaluation: The key to high performance, modularity, and portability in operating systems. In Proceedings of the 1993 Conference on Partial Evaluation and Program Manipulation, Copenhagen, 1993. Also in http://www.cse.ogi.edu/DISC/projects/synthetix/publications.html.

44

On-Line Applications Research Corp. RTEMS -- Real time executive for multiprocessor systems. http://lancelot.gcs.redstone.army.mil/rtems.html, 1994.

45

R. J. Creasy. The origin of the VM/370 time-sharing system. IBM J. Research and development, 25(5):483-490, September 1981.

46

Thomas W. Crockett. File concepts for parallel I/O. In Proceedings of Supercomputing '89, pages 574-579, 1989.

47

Helen Custer. Inside Windows NT. Microsoft Press, 1992.

48

James da Silva et al. The maruti 3.0 project. http://www.cs.umd.edu/projects/maruti/, 1996.

49

Wiebren de Jonge, M. Frans Kaashoek, and Wilson C. Hsieh. The logical disk: A new approach to improving file systems. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, 1993.

50

Alan Dearle. Grasshopper: An Orthogonally Persistent Operating System. Computing Systems, 3(7):289-312, 1994.

51

François Barbou des Places, M.Stephen, and Franklin D. Reynolds. Linux on the OSF Mach3 Microkernel. In In Proceedings of Freely Distributable Software. Free Software Foundation, 1996.

52

Sean Dorward, Rob Pike, Dave Presotto, Howard Trickey, and Phil Winterbottom. Inferno: La commedia Interattiva. In Proceeding of the OSDI'96 (WIP). USENIX, 1996. Also at http://www.usenix.org/publications/library/proceedings/osdi96/wip.html.

53

F. Douglis and J. Ousterhout. Process migration in the Sprite operating system. In Proceedings of the 7th International Conference on Distributed Computing Systems, pages 18-25, Berlin, West Germany, September 1987. IEEE.

54

F. Douglis and J. Ousterhout. Process migration in Sprite: A status report. IEEE Computer Society Technical Committee on Operating Systems Newsletter, 3(1), winter 1989.

55

R. Draves. Mach. In Proceedings of the USENIX Micro-Kernel and Other Kernels Architectures, pages 27-28, Seattle, Washington, Apr 1992. USENIX.

56

Richard P. Draves, Brian Bershad, Richard F. Rashid, and Randall W. Dean. Using continuations to implement thread management and communication in operating systems. In Proceedings of 13th ACM Symposium on Operating Systems Principles, pages 122-36. Association for Computing Machinery SIGOPS, October 1991.

57

Nelson G. (editor). System Programming in Modula-3. Prentice-Hall, 1991.

58

Kevin Elphinstone. Address space management issues in the mungi operating system. Technical report, School of Computer Science and Engineering, The University of New South Wales, November 1993.

59

D. Engler, M. F. Kaashoek, and J. O'Toole. The Operating System Kernel as a Secure Programmable Machine. In Proc. of the 6th SIGOPS European Workshop, pages 62-67, Wadern, Germany, Sept 1994. ACM SIGOPS.

60

Dawson R. Engler. The Design and Implementation of a Prototype Exokernel Operating System. PhD thesis, Massachusetts Institute of Technology, January 1995.

61

Dawson R. Engler, Sandeep K. Gupta, and M. F. Kaashoek. AVM: Application-Level Virtual Memory. In Hot Topics in Operating Systems (HOTOS-V), 1995.

62

Dawson R. Engler, M. Frans Kaashoek, and James W. O'Toole. Exokernel: An operating system architecture for application-level resource management. In Proc. of the Fifteenth Symposium on Operating System Principles (SOSP), December 1995.

63

M. Rasit Eskicioglu. A Comprehensive Bibliography of Distributed Shared Memory. Technical report, University of New Orleans, 1995.

64

Esprit. Predictably Dependable Computing Systems. Basic Research Series. Springer, 1995.

65

Miguel Castro et. al. Mike: A distributed object oriented programming platform on top of the Mach micro-kernel. In Proceedings of the USENIX MACH III Symposium, Santa Fe, New Mexico, Apr 1993.

66

Mevel F. and Simon J. Distributed communication services in the masix system. In 15th International Conference on Computers and Communications, Phoenix, 1996. IEEE.

67

Luis L. Fernandez and Francisco J. Ballesteros. Advice: An adaptable and extensible distributed virtual memory architecture. Technical Report UC3M-TR-CS-1997-02, Carlos III University of Madrid, 1997.

68

Raphael Finkel. An Operating Systems Vade Mecum. Prentice-Hall, 2 edition, 1988.

69

Trent Fisher. Towards a New Strategy of OS Design. GNU's bulletin, January 1994. http://www.gnu.prep.ai.mit.edu/.

70

Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, and Olin Shivers. The flux os toolkit: A substrate for kernel and language research. In Proceedings of the 16th SOSP, Saint-Malo, France, October 1997. ACM.

71

Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson. Microkernels Meet Recursive Virtual Machines. In Proc. OSDI, October 1996.

72

Bryan Ford and Jay Lepreau. Microkernels should support passive objects. In Proc. of I-WOOOS, December 1993.

73

Bryan Ford and Jay Lepreau. Evolving Mach 3.0 to a Migrating Thread Model. In Winter Usenix Conference, January 1994.

74

Alessandro Forin, David Golub, and Brian Bershad. An I/O system for Mach 3.0. In The Second USENIX Mach Symposium Conference Proceedings, November 20-22, 1991. Monterey, CA, pages 163-176, Berkeley, CA, USA, November 1991. USENIX.

75

Hamilton G., M.L.Powell, and J.G.Mitchel. Subcontract: A flexible base for distributed programming. 14th ACM Symposium on Operating System Principles, Dec 1993. Asheville,NC.

76

P. Galdámez, F. Muñoz, and J. M. Bernabeu. Extending ORB to support high availability. In Actas de las V Jornadas de Concurrencia, Vigo, Spain, Junio 1997.

77

Michael Golm and Jurgen Kleinoder. Metajava--a platform for adaptable operating-system mechanisms. In ECOOP'97 workshop Object-Orientation and Operating Systems, 1997. Also as Friedrich Alexander University CS TR-I4-97-10.

78

GoodHeart and Cox. The Magic Garden Explained. Prentice-Hall, 1994.

79

James Gosling and Henry McGilton. The Java Language Environment - A White Paper. Sun Microsystems, 2550 Garcia Av. Mountain View, CA 94043, May 1995.

80

James Gosling and Hery McGilton. The Java Language - A White Paper. Sun Microsystems, 2550 Garcia Av. Mountain View, CA 94043, 1994.

81

John R. Graham. Solaris 2.x: internals and architecture. McGraw-Hill, New York, NY, USA, 1995.

82

C.W. Mercer H. Tokuda. Arts: A distributed teal-time kernel. ACM Operating Systems Review, 23(3), July 1989.

83

Anna Hac. Distributed file systems - A survey. Operating Systems Review, 10(1):15-18, January 1985.

84

G. Hamilton and P. Kougiouris. The Spring nucleus: A microkernel for objects. In Proceedings of the 1993 Summer USENIX Conference. USENIX, Jun 1993.

85

J.H. Hartman, A.B. Montz, David Mosberger, S.W. O'Malley, L.L. Peterson, and T.A. Proebsting. Scout: A communication-oriented operating system. Technical report, University of Arizona, June 1994.

86

K. Harty and D.R. Cheriton. Application-controlled physical memory using external page-cache management. In Proceedings of the Fifth International Conference on ASPLOS, pages 187-199, October 1992.

87

Gernot Heiser, Kevin Elphinstone, Stephen Russell, and Graham R. Hellestrand. A distributed single address-space operating system supporting persistence. Technical report, School of Computer Science and Engineering, The University of New South Wales, March 1993.

88

D. Hildebrand. Qnx: microkernel technology for open systems handheld computing. In Proceedings of Pen and Portable Computing Conference Exposition, May, 1994. Available via ftp from ftp.qnx.com:pub/papers/qnx-pen.ps.Z.

89

W.C. Hsieh, M.F. kaashoek, and W.E. Weihl. The persistent relevance of IPC performance: New techniques for reducing the IPC penalty. In 4th Workshop on Workstation Operating Systems, pages 186-190, October 1993.

90

IEEE, 345 East 47th St. NY 10017. IEE Standard P1003.4 (Real-Time extensions to POSIX), 1991.

91

G. M. Johnston and R. H. Campbell. An object-oriented implementation of distributed virtual memory. In Eugene Spafford, editor, Workshop on Experiences with Building Distributed and Multiprocessor Systems, pages 39-57, Ft.\ Lauderdale FL (USA), October 1989. USENIX.

92

M. Jones. Interposition agents: Transparently interposing user code at the system interface. In Proc. of the 14th ACM Symp. on Operating Systems Principles, pages 80-93, Dec 1993.

93

M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, and Deborah A. Wallach. Server operating systems. In SIGOPS European Workshop, September 9-11 1996.

94

M.F. Kaashoek, R. van Renesse, H. van Staveren, and A.S. Tanenbaum. Flip: an internetwork protocol for supporting distributed systems. ACM Transactions on Computer Systems, Feb 1993.

95

Yousef A. Khalidi, Jose M. Bernabeu, Vlada Matena, Ken Shirriff, and Moti Thadani. Solaris MC: A multi computer OS. In USENIX Association, editor, Proceedings of the USENIX 1996 annual technical conference: January 22-26, 1996, San Diego, California, USA, USENIX Conference Proceedings 1996, pages 191-203, Berkeley, CA, USA, January 1996. USENIX.

96

Yousef A. Khalidi and Michael N. Nelson. The Spring Virtual Memory System. Technical report, Sun Microsystems Laboratories Inc., 2550 Garcia Avenue - Mountain View, CA 94043, Feb 1993.

97

Dilip R. Khandekar. Quarks: Distributed Shared Memory as a Basic Building Block for Complex Parallel and Distributed Systems. PhD thesis, Computer Science, University of Utah, March 1996.

98

G. Kiczales, J. Lamping, C. Maeda, D. Keppel, and D. McNamee. The need for customizable operating systems. In Fourth Workshop on Workstation Operating Systems, pages 165-170, October 1993.

99

Takuro Kitayama, T.Nakajima, and Hideyuki Tokuda. RT-IPC: An IPC Extension for Real-Time Mach. In Proceedings of the 2nd Microkernel and Other Kernel Architectures. USENIX, 1993.

100

Steve Kleiman, Bart Smaalders, Dan Stein, and Devang Shah. Writing multithreaded code in solaris. In Proceedings of the 1992 IEEE International Conference, COMPCON, pages 187-192, 1992.

101

Jurgen Kleinoder and Michael Golm. Metajava: An efficient run-time meta architecture for java. In Proceedings of the International Workshop on Object-Orientation in Operating Systems - IWOOOS, Seattle, Washington, October 1996. IEEE.

102

Donald E. Knuth. Literate Programming. Center for the Study of Language and Information, Stanford University, 1992.

103

H. Kopetz. The Time-Triggered Approach to Real-Time System Design, chapter II-C, pages 53-65. Esprit Basic Research Series. Addison-Wesley, 1995.

104

R. Lea, C. Jacquemmot, and E. Pillevesse. COOL: System support for distributed programming. Communications of the ACM, 36(9):37-46, Sept. 1993.

105

Jean-Pierre LeNarzul and Marc Shapiro. Un service de nommage pour un système à objets répartis. In Actes Convention Unix 89, pages 73-82, Paris, March 1989. AFUU.

106

Jay Lepreau, Bryan Ford, and Mike Hibler. The persistent relevance of the local operating system to global applications. In Proc. of the 7th ACM SIGOPS European Workshop. ACM, September 1996.

107

H.M. Levy. Capability based Computer systems. Digital Press, 1984.

108

K. Li and P. Hudak. Memory coherence in shared virtual memory systems. ACM Transactions on Computer Systems, 7(4):321-359, November 1989.

109

J. Liedtke. Improving IPC by kernel design. In 14th ACM Symposium on Operating System Principles (SOSP), pages 175-188, Ashville (NC), 1993.

110

Jochen Liedtke. On Kernel construction. In Proceedings of the 15th SOSP. ACM, 1995.

111

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Weley, 1996. Java Series.

112

M.C. Little and D.L. McCue. The Replica Management System: a Scheme for Flexible and Dynamic Replication. In Proceedings of the 2nd Workshop on Configurable Distributed Systems, Pittsburgh, Mar 1994.

113

S. Lucco and D. Anderson. Tarmac: A language system substrate based on mobile memory. In 10th Int. Conf. on Distributed Computing Systems, pages 46-51, 1990.

114

Peter W. Madany, Douglas E. Leyens, Vincent F. Russo, and Roy H. Campbell. A C++ class hierarchy for building Unix-like file systems. Technical Report R-88-1462, Department of Computer Science, Urbana, Illinois (USA), September 1988.

115

H. Massalin and C. Pu. Threads and input/output in the synthesis kernel. In Proceedings of the Twelfth Symposium on Operating System Principles, pages 191-201, Arizona, December 1989.

116

Henry Massalin. Synthesis: An Efficient Implementation of Fundamental Operating System Services. PhD thesis, Columbia University, 1992.

117

David Mazieres and M. Frans Kaashoek. Secure applications need flexible operating systems. In Proceedings of the 6th Workshop on Hot Topics in Operating Systems, Cape Cod, MA. USA., May 1997. IEEE.

118

Marshall Kirk McKusick, Keith Bostic, Michael J. Karels, and John S. Quarterman. The Design and Implementation of the 4.4 BSD Operating System. Addison-Wesley, 1996.

119

Sape J. Mullender, Ian M. Leslie, and Derek McAuley. Operating system support for distributed multimedia. In Proceedings of the 1994 Summer Usenix Conference, Boston, Ma., June 1994.

120

S.J. Mullender, G. Van Rossum, A.S. Tanenbaum, R. Van Renesse, and H. Van Staveren. Amoeba: A Distributed Operating System for the 1990s. IEEE Computer, 14:365-368, May 1990.

121

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, 1993.

122

K. Murray, T. Stiemerling, T. Wilkinson, and P. Kelly. Angel: Resource Unification in a 64-bit Micro-Kernel. In Proceedings of 27th Hawaii International Conference on Systems Science, 1993.

123

OMG - Object Management Group, Inc. The Common Object Request Broker: Architecture and Specification (CORBA), 1995.

124

E. Organick. The Multics System: an examination of its structure. MIT Press, 1972.

125

J.K. Ousterhout. Why aren't operating systems getting faster as fast as hardware? In Proc. Summer Usenix, pages 247-256, June 1990.

126

John K. Ousterhout, Andrew R. Cherenton, Frederick Douglis, M.N.Nelson, and Brent B. Welch. The Sprite network operating system. Computer, February 1988.

127

John. K. Ousterhout et al. The Sprite network operating system. Computer, 21(2):23-36, February 1988.

128

R. Pike, D. Presotto, K. Thompson, and H. Trickey. Plan 9 from Bell Labs. In NKUUG Proceedings of the Summer 1990 Conference, London (England), July 1990.

129

R. Pike, D. Presotto, K. Thompson, H. Trickey, and P. Winterbottom. The Use of Name Spaces in Plan 9. ACM Operating System Review, pages 72-76, April 1993. Reprint from Proceedings of the 5th ACM SIGOPS European Workshop.

130

G. J. Popek and B. J. Walker (editors). The LOCUS Distributed System Architecture. The MIT Press, 1985.

131

D. Pountain. Taos: An innovation in operating systems. Byte, 16(1), 1991.

132

D. Presotto. Plan 9 from Bell Labs -- The Network. In EUUG Proceedings of the Spring 1988 Conference, London, England, April 1988.

133

D. Probert, J.L. Bruno, and M. Karaoman. Space: A new approach to operating system abstraction. Technical Report CUCS-039-92, Dept. of Computer Science, University of California at Santa Barbara, 1992.

134

Dave Probert and John Bruno. Building fundamentally extensible application-specific operating systems in space. Technical report, UCSB Computer Science, March 1995.

135

C. Pu, H. Massalin, and J. Ioannidis. The synthesis kernel. Computing Systems, 1(1), Winter 1988.

136

Calton Pu, Tito Autrey, Andrew Black, Charles Consel, Crispin Cowan, Jon Inouye, Lakshmi Kethana, Jonathan Walpole, , and Ke Zhang. Optimistic incremental specialization: Streamlining a commercial operating system. In proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP'95). ACM, 1995.

137

D. M. Ritchie. The Evolution of the UNIX Time-Sharing System. AT&T Bell Laboratories Technical Journal, 63(8):1577-1593, October 1984.

138

D.M. Ritchie and K. Thompson. The UNIX Time-Sharing System. Communications of the ACM, 7(7):365-375, July 1974.

139

M. Rozier. Overview of the CHORUS Distributed Operating Systems. Technical Report CS-TR-90-25, Chorus Systemes, 1990.

140

M. Rozier. Chorus. In USENIX Micro-kernels and Other Kernel Architectures, pages 27-28, Seattle, Washington, Apr 1992. USENIX Association.

141

Vincent F. Russo and Roy H. Campbell. Virtual memory and backing storage management in multiprocessor operating systems using object-oriented design techniques. Technical Report R-89-1509, Department of Computer Science, University of Illinois, Urbana, Illinois (USA), April 1989.

142

Wolfgang Schroder-Preikschat. Design principles of parallel operating systems--a peace case study--. Technical Report TR-93-020, International Computer Science Institute, Berkeley, California, 1993.

143

Michael D. Schroeder. A State-of-the-Art Distributed System: Computing with BOB. In Sape Mullender, editor, Distributed Systems, chapter 1. Addison-Wesley, 2 edition, 1993.

144

S. K. Shrivastava and S. M. Wheater. Implemeting fault-tolerant distributed applications using objects and multi-coloured actions. In 10th Int. Conf. on Distributed Computing Systems, pages 203-210, 1990.

145

S.K. Shrivastava, G.N. Dixon, and G.D. Parrington. An Overview of the Arjuna Distributed Programming System. IEEE Software, pages 66-73, Jan 1991.

146

Abraham Silberschatz and Peter Galvin. Operating Systems Concepts. Addison-Wesley, 1994.

147

C. Small and M. Seltzer. A Comparation of OS Extension Technologies. In Proceedings of the 1996 USENIX technical conference, San Diego, CA, January 1996.

148

Christofer Small and Margo Seltezer. Vino: An integrated platform for operating system and database research. Technical report, Hardvard Computer Science Laboratory, Hardvard University, Cambridge, MA 02138, 1994.

149

E. H. Spanfford. Kernel Structures for a Distributed Operating System. PhD thesis, Georgia Institute of Technology, Atlanta, Ga (USA), 1986.

150

J. A. Stankovic and K. Ramamritham. The Spring Kernel: A new paradigm for Real Time Systems. IEEE Software, pages 62-72, May 1991.

151

M. Stonebraker. Operating system support for database management. CACM, 24(7):412-418, July 1981.

152

V. Sunderam. Pvm: A framework for parallel distributed computing. Concurrency: Practice and Experience, 2(4):315-339, December 1990.

153

L. Svobodova. File servers for network based distributed systems. In ACM Computing Surveys, volume 16. ACM, Dec 1984.

154

Tao Systems. Elate. http://www.tao.oc.uk/, 1997.

155

Tenma T., Y.Yokote, and M. Tokoro. Implementing perisistent objects in the apertos operating system. In 2nd IEEE Intl. Workshop on Object Orientationin Operating Systems, pages 66-79, Sept 1992. Dourdan, France.

156

See-Mong Tan, David Raila, and Roy H. Campbell. An object-oriented nano-kernel for operating system hardware support. In Fourth International Workshop on Object-Orientation in Operating Systems, Lund, Sweden, August 1995. IEEE Computer Society.

157

Andrew Tanenbaum. Modern Operating Systems. Prentice-Hall, 1992.

158

Andrew S. Tanenbaum. Operating Systems: Design and Implementation. Prentice-Hall, 1987.

159

Andrew S. Tanenbaum. Distributed Operating Systems. Prentice-Hall, 1995.

160

A.S. Tanenbaum, M. F. Kaashoek, R. van Renesse, and H. BalH. The Amoeba distributed operating system--A status report. Computer Communications, July/August 1991.

161

A.S. Tanenbaum, S.J. Mullender, and R. Van Renesse. Using sparce capabilities in a distributed operating system. In Proceedings of the Sixth International Conference on Distributed Computing Systems, pages 558-563. IEEE, 1986.

162

T.Nakajima, T. Kitayama, and H. Tokuda. Integrated management of priority inversion in real-time mach. Technical report, ART group, CMU, 1993.

163

Mario Tokoro. Computational field model: Toward a new computing model/methodology for open distributed environment. In Proceedings of the 2nd IEEE Workshop on Future Trends in Distributed Computing Systems. IEEE, Sep 1990.

164

H. Tokuda, T.Nakajima, and P. Rao. Real-Time Mach: Towards a Predictable Real-Time System. In Proceedings of the 1st USENIX Mach Workshop. USENIX, Oct 1990.

165

P. Tullman, J. Lepreau, B. Ford, and M. Hibler. User-level checkpointing through exportable kernel state. In Proc. 5th International Workshop on Object Orientation in Operating Systems, Seattle, WA, Oct 1996. IEEE.

166

Amin M. Vahdat, Douglas P. Ghormley, and Thomas E. Anderson. Efficient, portable, and robust extension of operating system functionalit. Technical report, University of California at Berkeley, 1994.

167

Andy Valencia. An overview of the VSTa microkernel. http://www.igcom.net/ jeske/VSTa/.

168

L. van Doorn, P. Homburg, and A.S. Tanenbaum. Paramecium: An extensible object-based kernel. In Proceedings of the 5th Hot Topics in Operating Systems (HotOS) Workshop, pages 86-89, Orcas Island, May 1995.

169

Alistair C. Veitch and Norman C. Hutchinson. Kea - A Dynamically Extensible and Configurable Operating System Kernel. In Proceedings of the Third Conference on Configurable Distributed Systems (ICCDS'96), 1996.

170

Paulo Verissimo and Hermann Kopetz. Design of distributed real-time systems. In Shape Mullender, editor, Distributed Systems, chapter 19. Addison-Wesley, 2 edition, 1995.

171

T. von Eicken, D.E. Culler, S.C. Goldstein, and K.E. Schauser. Active messages: a mechanism for integrated communication and computation. In Proceedings of the 19th International Symposium on Computer Architecture, pages 256-267, May 1992.

172

R. Wahbe, Lucco S., and Anderson T. Efficient software-based fault isolation. In Proceedings of the 14th ACM Symposium on Operating Systems Principles, Dec 1993.

173

Carl A. Waldspurger and William E. Weihl. Lottery scheduling: Flexible proportional-share resource management. In Proceedings of the 14th ACM SOSP, pages 203-216, 1993.

174

T. Wilkinson and K. Murray. Extensible, flexible and secure services in Angel, a single address space operating system. In 1st International Conference on Parallel Architectures and Algorithms, 1995.

175

Tim Wilkinson and Kevin Murray. Evaluation of a Distributed Single Address Space Operating System. In Proceedings of the 16th ICDCS. IEEE, 1996.

176

Y. Yokote. The apertos reflective operating system: The concept and its implementation. In Proceedings of the 11th ACM Symposium on Operating Systems Principles, Nov 1987.

177

Yasuhiko Yokote. The apertos reflective operating system: The concept and its implementation. In OOPSLA'92 Proceedings. ACM, October 1992.

178

Yasuhiko Yokote and Fumio Teraoka. The design and implementation of the muse object-oriented distibuted operating system. In Proceedings of First Conference on Technology of Object-Oriented Languages and Systems, October 1989.

179

Stephan Zeisset, Stefan Tritscher, and Martin Mairandres. A New Approach to Distributed Memory Management in the Mach Microkernel. In Proceedings of the USENIX 1996 Annual Technical Conference, San Diego, California, Jan 1996. USENIX.