Long-lives Test-And-Set Using

Jaap-henk Hoepman

    Research output: Working paper

    16 Downloads (Pure)


    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 Sept 1999


    • METIS-119091

    Cite this