swMATH ID: 23079
Software Authors: Shapiro, J. S.; Smith, J. M.; Farber, D. J.
Description: EROS: a fast capability system. EROS is a capability-based operating system for commodity processors which uses a single level storage model. The single level store’s persistence is transparent to applications. The performance consequences of support for transparent persistence and capability-based architectures are generally believed to be negative. Surprisingly, the basic operations of EROS (such as IPC) are generally comparable in cost to similar operations in conventional systems. This is demonstrated with a set of microbenchmark measurements of semantically similar operations in Linux.The EROS system achieves its performance by coupling well-chosen abstract objects with caching techniques for those objects. The objects (processes, nodes, and pages) are well-supported by conventional hardware, reducing the overhead of capabilities. Software-managed caching techniques for these objects reduce the cost of persistence. The resulting performance suggests that composing protected subsystems may be less costly than commonly believed.
Homepage: https://dl.acm.org/citation.cfm?id=319163
Related Software: Merlin; JFlow; Laminar; SGX; Privtrans; F*; Fable; Moat; VC3; LLVM; seL4; Isabelle/HOL; TAME; Verified Prover; Archive Formal Proofs; Kit; Specware; NQTHM; HOL Light; Haskell
Cited in: 3 Documents

Citations by Year