Project Oberon: the design of an operating system and compiler
Project Oberon: the design of an operating system and compiler
Inside Windows NT
ACM SIGOPS Operating Systems Review
On optimistic methods for concurrency control
ACM Transactions on Database Systems (TODS)
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
| Hi-index | 0.00 |
The Plurix project implements an object-oriented operating system (OS) for PC clusters. Network communication is implemented via the distributed shared memory (DSM) paradigm. Memory consistency is maintained by restartable transactions and an optimistic synchronization scheme, that have been used in database technology in the past. Originally, DSM systems were built to support parallel algorithms, but using DSM as a foundation for a general purpose OS offers interesting perspectives in designing and using distributed applications. The OS, including kernel and all drivers, is written in Plurix Java. Our Java compiler directly translates Java source code into Intel machine instructions. Some minor language extensions support device-level programming. During the development of the system we identified conceptual problems which are caused by the restartability requirement of transactions. Clearly interrupts do not reoccur in case of an aborted transaction. Without proper precaution interrupts would get lost or devices could receive broken commands. In this paper we shortly review our DSM system and present the "smart buffer" concept to bridge the gap between restartable DSM transactions and non-restartable device operations and events. Finally, we validate our proposed solution by performance measurements and compare the kernel interface to traditional operating systems.