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. Conferences, Workshops, Symposiums, and Seminars
  4. Structured Derivation of Semi-Synchronous Algorithms
 
conference paper

Structured Derivation of Semi-Synchronous Algorithms

Attiya, Hagit
•
Borran, Fatemeh  
•
Hutle, Martin  
Show more
2011
25th International Symposium on DIStributed Computing

The semi-synchronous model is an important middle ground between the synchronous and the asynchronous models of distributed computing. In this model, processes can detect (timeout) when other processes fail. However, since detection is done by timing out, it incurs a cost much higher than the typical delay of messages. The paper presents a new communication primitive, Timely Announced Broadcast (TAB), and uses it in algorithms for consensus and set consensus in the semi-synchronous model. Separate implementations of TAB, withstanding different types of failures, allow to derive algorithms for consensus and set consensus under crash and omission failures. The time bounds obtained by our algorithms asymptotically match, or improve, the previously known bounds.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1007/978-3-642-24100-0_37
Author(s)
Attiya, Hagit
Borran, Fatemeh  
Hutle, Martin  
Milosevic, Zarko  
Schiper, André  
Date Issued

2011

Series title/Series vol.

Lecture Notes in Computer Science; 6950/2011

Subjects

semi-synchronous systems

•

timely announced broadcast

•

terminating reliable broadcast

•

set consensus

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LSR-IC  
Event nameEvent placeEvent date
25th International Symposium on DIStributed Computing

Rome, Italy

September 20-22

Available on Infoscience
October 24, 2011
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/71867
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