loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
22nd International Symposium on Reliable Distributed Systems (SRDS'03)
Distributed Programming for Dummies: A Shifting Transformation Technique
Florence, Italy
October 06-October 08
ISBN: 0-7695-1955-5
Carole Delporte-Gallet, Université Denis Diderot
Hugues Fauconnier, Université Denis Diderot
The perfectly synchronized round model provides the powerful abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We present an implementation of this abstraction in a distributed system with general message omissions. Protocols devised using our abstraction (i.e., in the perfectly synchronized round model) are automatically transformed into protocols for the omission model. The transformation is achieved using a round shifting technique with a constant time complexity overhead. This transformation is in a precise sense optimal. Furthermore, and rather surprisingly, no automatic transformation from a weaker model, say the traditional crash-stop model (with no atomic message delivery), onto an even stronger model than the general-omission one, say the send-omission model, can provide better time complexity performance.
Citation:
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon, "Distributed Programming for Dummies: A Shifting Transformation Technique," srds, pp.349, 22nd International Symposium on Reliable Distributed Systems (SRDS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.