The weakest failure detectors to boost obstruction-freedom

Rachid Guerraoui, Michał Kapałka, Petr Kouznetsov

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

Abstract

This paper determines necessary and sufficient conditions to implement wait-free and non-blocking contention managers in a shared memory system. The necessary conditions hold even when universal objects (like compare-and-swap) or random oracles are available, whereas the sufficient ones assume only registers. We show that failure detector ◇P is the weakest to convert any obstruction-free algorithm into a wait-free one, and Ω*, a new failure detector which we introduce in this paper, and which is strictly weaker than ◇P but strictly stronger than Ω, is the weakest to convert any obstruction-free algorithm into a non-blocking one.

Original languageEnglish
Title of host publicationDistributed Computing - 20th International Symposium, DISC 2006, Proceedings
PublisherSpringer Verlag
Pages399-412
Number of pages14
ISBN (Print)3540446249, 9783540446248
DOIs
Publication statusPublished - 1 Jan 2006
Externally publishedYes
Event20th International Symposium on Distributed Computing, DISC 2006 - Stockholm, Sweden
Duration: 18 Sept 200620 Sept 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4167 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th International Symposium on Distributed Computing, DISC 2006
Country/TerritorySweden
CityStockholm
Period18/09/0620/09/06

Fingerprint

Dive into the research topics of 'The weakest failure detectors to boost obstruction-freedom'. Together they form a unique fingerprint.

Cite this