Herlihy–Shavit consensus hierarchy
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
concept
concurrency theory concept |
| gptkbp:basisFor |
classification of synchronization primitives
|
| gptkbp:citation |
distributed algorithms literature
|
| gptkbp:describes |
classification of shared objects by consensus number
|
| gptkbp:example |
hierarchy in computer science
|
| gptkbp:explains |
relative power of synchronization primitives
|
| https://www.w3.org/2000/01/rdf-schema#label |
Herlihy–Shavit consensus hierarchy
|
| gptkbp:introduced |
gptkb:Maurice_Herlihy
gptkb:Nir_Shavit |
| gptkbp:introducedIn |
1993
|
| gptkbp:level |
consensus number infinity (Compare-and-Swap, LL/SC)
consensus number 1 (read/write registers) consensus number 2 (Test-and-Set, Fetch-and-Add) consensus number n (n-process consensus) |
| gptkbp:publishedIn |
gptkb:Journal_of_the_ACM
|
| gptkbp:relatedTo |
consensus number
shared memory objects wait-free computation |
| gptkbp:usedIn |
distributed computing
multiprocessor synchronization |
| gptkbp:bfsParent |
gptkb:Nir_Shavit
|
| gptkbp:bfsLayer |
5
|