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