Extending the Wait-free Hierarchy to Multi-Threaded Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Extending the Wait-free Hierarchy to Multi-Threaded Systems

Achour Mostefaoui
Grégoire Bonin

Résumé

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.
Fichier principal
Vignette du fichier
PODC2020_ArrivalModels (3).pdf (702.25 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02941703 , version 1 (17-09-2020)

Identifiants

Citer

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⟩
126 Consultations
251 Téléchargements

Altmetric

Partager

More