Browsing by Author "Naderi-Semiromi, Fatemeh"

Now showing 1 - 1 of 1
  • Thumbnail Image
    ItemOpen Access
    Strongly Linearizable LL/SC from CAS
    (ACM, 2024) Naderi-Semiromi, Fatemeh; Woelfel, Philipp
    We present an efficient strongly linearizable implementation of the load-linked/store-conditional (LL/SC) primitive from compare-and-swap (CAS) objects. Our algorithm has constant step complexity, and uses a bounded number of CAS objects and registers that can each store O (log n) bits, where n is the number of processes. All previously known wait-free LL/SC algorithms are either not strongly linearizable, or use objects of unbounded size.