TY - GEN

T1 - Delimiting the power of bounded size synchronization objects

AU - Afek, Yehuda

AU - Stupp, Gideon

N1 - Publisher Copyright:
© 1994 ACM.

PY - 1994/8/14

Y1 - 1994/8/14

N2 - Theoretically, various shared synchronization objects, such as compare&swap and arbitrary read-modify-write registers, are universal [10, 20]. That is, any sequentially specified task can be solved in a concurrent system that supports these objects and and a large enough number of shared read/write registers. Are these objects indeed almighty? Or, are there other considerations that have to be kept in mind when analyzing their computation power. In this paper we show that progressively larger objects of these types are more powerful (larger in the number of different values they can hold). This provides a refinement of Herlihy's hierarchy. We consider a shared memory system with unbounded read/write memory and a size κ compare&swap register. Let nk be the maximum number of processes that can elect a leader in such a system (in a wait-free manner). In [1] we present an election algorithm for O{k!) processes in such a system, i.e. showing that nk, is at least O(k!). However, on the lower bound side only n1,n2, and n3 were shown to be bounded [1, 10, 18], while for k > 3 it was not known whether such a bound exists. Here we prove that for any k, nk is bounded by O(κ(k2+3)) that is, at most O(κ(k2+3) processes can elect a leader in such a system1. Hence, the more values a strong shared memory object can hold the stronger it is! The proof of the lower bound (lower bound on space, which is an upper bound on number of processes) combines several techniques that were recently developed with novel new techniques, which are interesting on their own.

AB - Theoretically, various shared synchronization objects, such as compare&swap and arbitrary read-modify-write registers, are universal [10, 20]. That is, any sequentially specified task can be solved in a concurrent system that supports these objects and and a large enough number of shared read/write registers. Are these objects indeed almighty? Or, are there other considerations that have to be kept in mind when analyzing their computation power. In this paper we show that progressively larger objects of these types are more powerful (larger in the number of different values they can hold). This provides a refinement of Herlihy's hierarchy. We consider a shared memory system with unbounded read/write memory and a size κ compare&swap register. Let nk be the maximum number of processes that can elect a leader in such a system (in a wait-free manner). In [1] we present an election algorithm for O{k!) processes in such a system, i.e. showing that nk, is at least O(k!). However, on the lower bound side only n1,n2, and n3 were shown to be bounded [1, 10, 18], while for k > 3 it was not known whether such a bound exists. Here we prove that for any k, nk is bounded by O(κ(k2+3)) that is, at most O(κ(k2+3) processes can elect a leader in such a system1. Hence, the more values a strong shared memory object can hold the stronger it is! The proof of the lower bound (lower bound on space, which is an upper bound on number of processes) combines several techniques that were recently developed with novel new techniques, which are interesting on their own.

UR - http://www.scopus.com/inward/record.url?scp=0346648523&partnerID=8YFLogxK

U2 - 10.1145/197917.197947

DO - 10.1145/197917.197947

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:0346648523

T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

SP - 42

EP - 51

BT - Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994

PB - Association for Computing Machinery

T2 - 13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994

Y2 - 14 August 1994 through 17 August 1994

ER -