Skip to main content


Supporting persistent object systems in a single address space


Kevin Elphinstone, Stephen Russell, Gernot Heiser and Jochen Liedtke

School of Computer Science and Engineering
The University of New South Wales
Sydney 2052

Systems Architecture Group
University of Karlsruhe


Single address space systems (SASOS) provide a programming model that is well suited to supporting persistent object systems. In this paper we show that stability can be implemented in the Mungi SASOS without incurring overhead in excess of the inherent cost of shadow-paging. Our approach is based on the introduction of a limited form of aliasing into the SASOS model and makes heavy use of user-level page fault handlers to allow implementation outside the kernel. We also show how the demands of database systems for control over page residency and physical I/O can be accommodated. An approach to user-level implementation of distributed shared memory (DSM) coherency models is outlined.

BibTeX Entry

    publisher        = {Morgan Kaufmann},
    author           = {Kevin Elphinstone and Stephen Russell and Gernot Heiser and Jochen Liedtke},
    month            = may,
    year             = {1996},
    title            = {Supporting Persistent Object Systems in a Single Address Space},
    booktitle        = {Proceedings of the 7th International Workshop on Persistent Object Systems (POS)},
    pages            = {111--119},
    address          = {Cape May, NJ, USA}


Served by Apache on Linux on seL4.
Served by Apache on Linux on seL4.