An Overview of the Nexus Distributed Operating System Design

Nexus is a distributed operating system designed to support experimental research in fault-tolerance techniques and object-oriented programming in distributed systems. The Nexus programming environment consists of objects, which are instances of abstract data types. Inheritance of types and multiple implementations for a type are supported by the system. Operations on objects are invoked, based on the remote-procedure-call paradigm and executed as atomic actions with provisions for application-controlled checkpointing and restart within actions. Nexus also supports parallel remote procedure calls. Interobject communication and location transparency in accessing objects is supported by the Nexus kernel. >

[1]  Bernd Walter,et al.  Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications , 1984, VLDB.

[2]  Amr El Abbadi,et al.  Implementing Fault-Tolerant Distributed Objects , 1985, IEEE Transactions on Software Engineering.

[3]  Michael J. Fischer,et al.  Sacrificing serializability to attain high availability of data in an unreliable network , 1982, PODS.

[4]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[5]  Daniel J. Rosenkrantz,et al.  System level concurrency control for distributed database systems , 1978, TODS.

[6]  Brian Randell.  System structure for software fault tolerance , 1975 .

[7]  D. B. Lomet.  Process structuring, synchronization, and recovery using atomic actions , 1977 .

[8]  Andrew P. Black,et al.  Supporting distributed applications: experience with Eden , 1985, SOSP '85.

[9]  Andreas Reuter,et al.  Principles of transaction-oriented database recovery , 1983, CSUR.

[10]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[11]  Bruce J. Walker,et al.  The LOCUS Distributed System Architecture , 1986 .

[12]  Bruce Jay Nelson.  Remote procedure call , 1981 .

[13]  Butler W. Lampson,et al.  Distributed Systems - Architecture and Implementation, An Advanced Course , 1981, Advanced Course: Distributed Systems.

[14]  Andrew Birrell,et al.  Implementing remote procedure calls , 1984, TOCS.

[15]  Gerald J. Popek,et al.  Transactions and synchronization in a distributed operating system , 1985, SOSP '85.

[16]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[17]  David R. Cheriton.  The V Kernel: A Software Base for Distributed Systems , 1984, IEEE Software.

[18]  Brian Randell.  System Structure for Software Fault Tolerance , 1975, IEEE Trans. Software Eng..

[19]  Kurt Rothermel,et al.  Concepts for transaction recovery in nested transactions , 1987, SIGMOD '87.

[20]  Butler W. Lampson,et al.  Atomic Transactions , 1980, Advanced Course: Distributed Systems.

[21]  Andrew P. Black,et al.  The Eden System: A Technical Review , 1985, IEEE Transactions on Software Engineering.