Trustworthy Systems

Supporting persistent object systems in a single address space

Authors

Kevin Elphinstone, Stephen Russell, Gernot Heiser and Jochen Liedtke

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

Systems Architecture Group
University of Karlsruhe

Abstract

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

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

Download