TY - JOUR
T1 - A complexity-based classification for multiprocessor synchronization
AU - Ellen, Faith
AU - Gelashvili, Rati
AU - Shavit, Nir
AU - Zhu, Leqi
N1 - Publisher Copyright:
© 2019, Springer-Verlag GmbH Germany, part of Springer Nature.
PY - 2020/4/1
Y1 - 2020/4/1
N2 - For many years, Herlihy’s elegant computability-based Consensus Hierarchy has been our best explanation of the relative power of various objects. Since real multiprocessors allow the different instructions they support to be applied to any memory location, it makes sense to consider combining the instructions supported by different objects, rather than considering collections of different objects. Surprisingly, this causes Herlihy’s computability-based hierarchy to collapse. In this paper, we suggest an alternative: a complexity-based classification of the relative power of sets of multiprocessor synchronization instructions, captured by the minimum number of memory locations of unbounded size that are needed to solve obstruction-free consensus when using different sets of instructions.
AB - For many years, Herlihy’s elegant computability-based Consensus Hierarchy has been our best explanation of the relative power of various objects. Since real multiprocessors allow the different instructions they support to be applied to any memory location, it makes sense to consider combining the instructions supported by different objects, rather than considering collections of different objects. Surprisingly, this causes Herlihy’s computability-based hierarchy to collapse. In this paper, we suggest an alternative: a complexity-based classification of the relative power of sets of multiprocessor synchronization instructions, captured by the minimum number of memory locations of unbounded size that are needed to solve obstruction-free consensus when using different sets of instructions.
UR - http://www.scopus.com/inward/record.url?scp=85072166462&partnerID=8YFLogxK
U2 - 10.1007/s00446-019-00361-3
DO - 10.1007/s00446-019-00361-3
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85072166462
SN - 0178-2770
VL - 33
SP - 125
EP - 144
JO - Distributed Computing
JF - Distributed Computing
IS - 2
ER -