Trustworthy Systems

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

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