Persistent Opperating Systems

• EROS (University of Pennsylvania) Group Members
  EROS (Extremely Reliable Operating System) is a new operating system being implemented at the University of Pennsylvania. The system merges some very old ideas in operating systems with some newer ideas about scheduling and performance. The result is a small, secure, high-performance operating system that provides transparent orthogonal persistence coupled with microkernel-style critical paths, including a high performance IPC subsystem.
• Grasshopper (University of Sydney) Group Members
  Despite the fact that the basic idea behind orthogonal persistence is very simple, research groups are finding it extremely hard to develop scalable and efficient persistent stores. One of the major difficulties derives from the fact that persistence provides a fundamentally different model of computing from that supported by conventional operating systems. In this project we are investigating the requirements of an operating system to support persistence and propose to design and construct a new operating system, known as Grasshopper, which has explicit support for persistent systems.
• KeyKOS
  KeyKOS is an operating environment for S/370 computers which provides a high level of security, reliability, performance, and productivity. It allows emulation of other environnzens such as VM, MVS, and POSIX. Development of KeyKOS ceased in 1990. Many of the ideas of this system have been carried forward into EROS
• Merlin (University of Sao Paulo)
  An object-oriented, reflective operating system based on the Self programming language
• Mungi (University of New South Wales)
  A new operating system based on a single, flat virtual address space, orthogonal persistence, and a strong but unintrusive protection model.
• Opal (University of Washington)
  Related to: Mach
  Opal is a single-address-space operating system for 64-bit architectures. All Opal threads execute with a single global address space. The existence of a single address space simplifies sharing of complex (pointer-rich) data among cooperating applications, as well as persistent storage of that data, because pointers have the same meaning to all threads for potentially all time. Opal provides protection in the single address space; each thread executes within a protection domain that defines which pages it has the right to access.