Skip to Main content Skip to Navigation
Conference papers

Extending the Wait-free Hierarchy to Multi-Threaded Systems

Abstract : In modern operating systems and programming languages adapted to multicore computer architectures, parallelism is abstracted by the notion of execution threads. Multi-threaded systems have two major specificities: 1) new threads can be created dynamically at runtime, so there is no bound on the number of threads participating in a long-running execution. 2) threads have access to a memory allocation mechanism that cannot allocate infinite arrays. This makes it challenging to adapt some algorithms to multi-threaded systems, especially those that assign one shared register per process. This paper explores the synchronization power of shared objects in multi-threaded systems by extending the famous wait-free hierarchy to take these constraints into consideration. It proposes to subdivide the set of objects with an infinite consensus number into five new degrees, depending on their ability to synchronize a bounded, finite or infinite number of processes, with or without the need to allocate an infinite array. It then exhibits one object illustrating each proposed degree. CCS CONCEPTS • Theory of computation → Distributed computing models; • Software and its engineering → Process synchronization; • Computer systems organization → Multicore architectures; Dependable and fault-tolerant systems and networks.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Matthieu Perrin Connect in order to contact the contributor
Submitted on : Thursday, September 17, 2020 - 11:34:24 AM
Last modification on : Thursday, October 6, 2022 - 11:10:55 AM
Long-term archiving on: : Thursday, December 3, 2020 - 9:23:44 AM


PODC2020_ArrivalModels (3).pdf
Files produced by the author(s)



Matthieu Perrin, Achour Mostefaoui, Grégoire Bonin. Extending the Wait-free Hierarchy to Multi-Threaded Systems. PODC '20: ACM Symposium on Principles of Distributed Computing, Aug 2020, Virtual Event Italy, France. pp.21-30, ⟨10.1145/3382734.3405723⟩. ⟨hal-02941703⟩



Record views


Files downloads