Partial Synchrony Based on Set Timeliness

Abstract : We introduce a new model of partial synchrony for read-write shared memory systems. This model is based on the notion of set timeliness—a natural and straightforward generalization of the seminal concept of timeliness in the partially synchrony model of Dwork, Lynch and Stockmeyer [11]. Despite its simplicity, the concept of set timeliness is powerful enough to define a family of partially synchronous systems that closely match individual instances of the t-resilient k-set agreement problem among n processes, henceforth denoted (t, k, n) agreement. In particular, we use it to give a partially synchronous system that is is synchronous enough for solving (t, k, n) agreement, but not enough for solving two incrementally stronger problems, namely, (t + 1, k, n)-agreement, which has a slightly stronger resiliency requirement, and (t, k − 1, n)-agreement, which has a slightly stronger agreement requirement. This is the first partially synchronous system that separates between these sub-consensus problems. The above results show that set timeliness can be used to study and compare the partial synchrony requirements of problems that are strictly weaker than consensus.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download
Contributor : Carole Delporte-Gallet <>
Submitted on : Sunday, August 2, 2009 - 7:07:46 PM
Last modification on : Friday, January 4, 2019 - 5:32:56 PM
Long-term archiving on : Tuesday, June 15, 2010 - 8:28:29 PM


Files produced by the author(s)


  • HAL Id : hal-00408738, version 1



Marcos Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg. Partial Synchrony Based on Set Timeliness. 2009. ⟨hal-00408738⟩



Record views


Files downloads