Operating system(s) on top of persistent object systems-the BirliX approach
- 1 January 1992
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. i, 790-799 vol.1
- https://doi.org/10.1109/hicss.1992.183233
Abstract
While many persistent object systems are built on top of conventional operating systems, the BirliX approach has followed the opposite direction: it has built a Unix compatible operating system by emulating the Unix system interface on top of a persistent object system. The BirliX kernel is basically an abstract data type management system. Its basic services are the definition of abstract data types, their instantiation, their identification, and the communication between instances. All abstract data types share a common set of type-independent attributes and methods inherited from the kernel-defined primary type. These methods have been designed to provide mechanisms that are considered useful to build fault tolerant and secure applications in a distributed environment. The Unix emulation on top of the kernel takes advantage of the underlying persistent abstract data type management system.Keywords
This publication has 10 references indexed in Scilit:
- Recovery-management in the RelaX distributed transaction layerPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The Clouds distributed operating systemComputer, 1991
- Two years of experience with a μ-Kernel based OSACM SIGOPS Operating Systems Review, 1991
- Amoeba: a distributed operating system for the 1990sComputer, 1990
- Protection in the BirliX operating systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Distributed programming in ArgusCommunications of the ACM, 1988
- Checkpointing and Rollback-Recovery for Distributed SystemsIEEE Transactions on Software Engineering, 1987
- The ITC distributed file systemPublished by Association for Computing Machinery (ACM) ,1985
- The Eden System: A Technical ReviewIEEE Transactions on Software Engineering, 1985
- A formal model of atomicity in asynchronous systemsActa Informatica, 1981