Transactional contention management as a non-clairvoyant scheduling problem

Hagit Attiya, Leah Epstein, Hadas Shachnai, Tami Tamir

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


The transactional approach to contention management guarantees atomicity by making sure that whenever two transactions have a conflict on a resource, only one of them proceeds. A major challenge in implementing this approach lies in guaranteeing progress, since transactions are often restarted. Inspired by the paradigm of non-clairvoyant job scheduling, we analyze the performance of a contention manager by comparison with an optimal, clairvoyant contention manager that knows the list of resource accesses that will be performed by each transaction, as well as its release time and duration. The realistic, non-clairvoyant contention manager is evaluated by the competitive ratio between the last completion time (makespan) it provides and the makespan provided by an optimal contention manager. Assuming that the amount of exclusive accesses to the resources is non-negligible, we present a simple proof that every work conserving contention manager guaranteeing the pending commit property achieves an O(s) competitive ratio, where s is the number of resources. This bound holds for the GREEDY contention manager studied by Guerraoui et al. [2] and is a significant improvement over the O(s2) bound they prove for the competitive ratio of GREEDY. We show that this bound is tight for any deterministic contention manager, and under certain assumptions about the transactions, also for randomized contention managers. When transactions may fail, we show that a simple adaptation of GREEDY has a competitive ratio of at most O(ks), assuming that a transaction may fail at most k times. If a transaction can modify its resource requirements when reinvoked, then any deterministic algorithm has a competitive ratio Ω(ks). For the case of unit length jobs, we give (almost) matching lower and upper bounds.

Original languageEnglish
Title of host publicationProceedings of the 25th Annual ACM Symposium on Principles of Distributed Computing 2006
PublisherAssociation for Computing Machinery (ACM)
Number of pages8
ISBN (Print)1595933840, 9781595933843
StatePublished - 2006
Event25th Annual ACM Symposium on Principles of Distributed Computing 2006 - Denver, CO, United States
Duration: 23 Jul 200626 Jul 2006

Publication series

NameProceedings of the Annual ACM Symposium on Principles of Distributed Computing


Conference25th Annual ACM Symposium on Principles of Distributed Computing 2006
Country/TerritoryUnited States
CityDenver, CO


  • Concurrency control
  • Contention management
  • Scheduling
  • Software transactional memory
  • Transactions

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications


Dive into the research topics of 'Transactional contention management as a non-clairvoyant scheduling problem'. Together they form a unique fingerprint.

Cite this