Long-lives Test-And-Set Using

Jaap-henk Hoepman

    Research output: Working paper

    6 Downloads (Pure)

    Abstract

    This paper studies the problem of implementing a shared memory test-and-set object using only shared registers. Our contribution is threefold. First, we present a general framework to allow reasoning about reusing one-shot shared memory objects in the construction of bounded space long-lived objects. Then we derive general theorems about test-and set objects that simplifies reasoning about their implementation. Finally we show the validity of our approach by constructing an n process long lived test-and-set object from n + 1 one-shot test-and-set objects, and proving this construction formally correct.
    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages19
    Publication statusPublished - 10 Sep 1999

    Keywords

    • METIS-119091

    Fingerprint Dive into the research topics of 'Long-lives Test-And-Set Using'. Together they form a unique fingerprint.

  • Cite this

    Hoepman, J. (1999). Long-lives Test-And-Set Using. Enschede: University of Twente.