Contention-free complexity of shared memory algorithms

Rajeev Alur, Gadi Taubenfeld

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


While the worst-case time complexity measures the maximum time needed to solve a problem over all runs, the contention-free time complexity indicates the maximum time needed when a process executes by itself without competition from other processes. Since contention should be rare in well-designed systems, it is important to design algorithms which perform well also in the absence of contention. We study the contention-free time complexity of shared memory algorithms using two measures: step complexity that counts the number of accesses to shared registers, and register complexity that measures the number of different registers accessed. Depending on the architecture, one of the two measures more accurately reflects the time taken. We provide lower and upper bounds for the contentionfree step and register complexity of solving the mutual exclusion problem as a function of the number of processes and the size of the biggest register that can be accessed in one atomic step. We also present bounds on the worst-case and contention-free step and register complexities of solving the naming problem. These bounds illustrate how the proposed definitions are useful in differentiating among the computational powers of different primitives.

Original languageEnglish
Title of host publicationProceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994
PublisherAssociation for Computing Machinery
Number of pages10
ISBN (Electronic)0897916549
StatePublished - 14 Aug 1994
Externally publishedYes
Event13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994 - Los Angeles, United States
Duration: 14 Aug 199417 Aug 1994

Publication series

NameProceedings of the Annual ACM Symposium on Principles of Distributed Computing
VolumePart F129432


Conference13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994
Country/TerritoryUnited States
CityLos Angeles

Bibliographical note

Publisher Copyright:
© 1994 ACM.


Dive into the research topics of 'Contention-free complexity of shared memory algorithms'. Together they form a unique fingerprint.

Cite this