Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. The Perfectly-Synchronized Round-based Model of Distributed Computing
 
research article

The Perfectly-Synchronized Round-based Model of Distributed Computing

Delporte-Gallet, Carole
•
Fauconnier, Hugues
•
Guerraoui, Rachid  
Show more
2007
Information & Computation

The perfectly-synchronized round-based model provides the powerful abstraction of crash-stop failures with atomic and synchronous message delivery. This abstraction makes distributed programming very easy.We describe a technique to automatically transform protocols devised in the perfectly-synchronized round-based model into protocols for the crash, send omission, general omission or Byzantine models. Our transformation is achieved using a round shifting technique with a constant time complexity overhead. The overhead depends on the target model: crashes, send omissions, general omissions or Byzantine failures. Rather surprisingly, we show that no other automatic non-uniform transformation from a weaker model, say from 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 a better time complexity performance in a failure-free execution.

  • Files
  • Details
  • Metrics
Type
research article
DOI
10.1016/j.ic.2006.11.003
Web of Science ID

WOS:000246240500007

Author(s)
Delporte-Gallet, Carole
Fauconnier, Hugues
Guerraoui, Rachid  
Pochon, Bastian
Date Issued

2007

Published in
Information & Computation
Volume

205

Issue

5

Start page

783

End page

815

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DCL  
Available on Infoscience
June 25, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/9314
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés