Fowler 1990 - Explains many old-make limitations and new-make (Nmake) features including procedure rules, accuracy mechanisms, viewpathing, and semaphores for blocking unwanted parallelism.

Describes aspects of PURE Project, a small object-oriented portable, universal runtime executive (operating system) for deeply embedded parallel/distributed systems. [ResearchIndex]

Project goal: provide a portable, universal runtime executive for deeply embedded parallel distributed systems. Deeply embedded means systems that have extreme resource constraints in memory, CPU, and power use. [ResearchIndex]

Eumel and successor L3, OSs made by GMD, have been used for 13 and 4 years respectively, for production in business, education. Over 2000 Eumel, 500 L3 have shipped since 1979, 1988. Both rely on persistence, with fault-surviving. Description, links. ...

A confined program is one unable to leak information to an unauthorized party or modify unauthorized resources, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [ResearchIndex]

This capability-based OS for commodity processors uses a one level storage model; store persistence is transparent to applications. Surprisingly, performance of this very high security system matches normal OSs. [ResearchIndex]

Ion is a key concept in the design of Harmony programs. The only interface to a task instance, once created, is message passing. Access from the outside is permitted only when a task explicitly performs a Receive operation.

From Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, USA, October 1992.

Traditional OSs limit application performance, flexibility, functionality by fixing interfaces and implementations of OS abstractions such as interprocess communication and virtual memory. Exokernel address this via application-level management of phy...