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. A Topological Treatment of Early-Deciding Set-Agreement
 
conference paper

A Topological Treatment of Early-Deciding Set-Agreement

Guerraoui, R
•
Herlihy, M
•
Pochon, B
2006
OPODIS 2006: Principles of Distributed Systems
10th International Conference On Principles Of Distributed Systems (OPODIS '06)

This paper considers the k-set-agreement problem in a synchronous message passing distributed system where up to t processes can fail by crashing. We determine the number of communication rounds needed for all correct processes to reach a decision in a given run, as a function of k, the degree of coordination, and f <= t the number of processes that actually fail in the run. We prove a lower bound of min(\floor{f/k}+2,\floor{t/k}+1) rounds. Our proof uses simple topological tools to reason about runs of a full information set-agreement protocol. In particular, we introduce a new topological operator, which we call the early deciding operator, to capture rounds where k processes fail but correct processes see only k-1 failures.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

topology-1.pdf

Access type

openaccess

Size

188.93 KB

Format

Adobe PDF

Checksum (MD5)

0d1eec3da4c386c54c24da0fd93551d1

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