Partial synchrony based on set timeliness

d Abstract] Marcos K. Aguilera Microsoft Research Silicon Valley Mountain View, CA, USA Carole Delporte-Gallet Universit? Paris 7 Paris, France Hugues Fauconnier Universit? Paris 7 Paris, France Sam Toueg University of Toronto Toronto, ON, Canada 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 [8]. Despite its simplicity, the concept of set timeliness is powerful enough to describe the first partially synchronous system for read/write shared memory that separates consensus and set agreement: we show that this system has enough timeliness for solving set agreement but not enough for solving consensus. Set timeliness also allows us to define a family of partially synchronous systems of n processes, denoted Sk n (1kn-1), which closely matches the family o...

• Type: Conference
• Year: 2009
• Where: PODC
• Authors: Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
• Keywords: Parallel Computing, Partial Synchrony Requirements, PODC 2009, Set Agreement, Set Timeliness