Reaching Agreement Among k out of n Processes

被引:0
作者
Taubenfeld, Gadi [1 ]
机构
[1] Reichman Univ, IL-46150 Herzliyya, Israel
来源
STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2024 | 2024年 / 14662卷
关键词
Partial agreement; Shared Memory; Message passing; CONSENSUS;
D O I
10.1007/978-3-031-60603-8_24
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In agreement problems, each process has an input value and must choose a decision (output) value. Given n >= 2 processes and m >= 2 possible different input values, we want to design an agreement algorithm that enables as many processes as possible to decide on the (same) input value of one of the processes in the presence of t crash failures. Without communication, when each process simply decides on its input value, at least right perpenticular(n- t)/mleft perpenticular of the processes are guaranteed to always decide on the same value. Can we do better with communication? For some cases, for example, when m = 2, even in the presence of a single crash failure, the answer is negative in a deterministic asynchronous system where communication is either by using atomic read/write registers or by sending and receiving messages. The answer is positive in other cases.
引用
收藏
页码:438 / 455
页数:18
相关论文
共 20 条
  • [1] A simple bivalency proof that t-resilient consensus requires t+1 rounds
    Aguilera, MK
    Toueg, S
    [J]. INFORMATION PROCESSING LETTERS, 1999, 71 (3-4) : 155 - 158
  • [2] Attiya H., 2004, Distributed Computing, V19
  • [3] Bassler B., 2019, The Explorer's Guide Biology
  • [4] Borowsky E., 1993, Proceedings of the Twenty-Fifth Annual ACM Symposium on the Theory of Computing, P91, DOI 10.1145/167088.167119
  • [5] Bounded disagreement
    Chan, David Yu Cheng
    Hadzilacos, Vassos
    Toueg, Sam
    [J]. THEORETICAL COMPUTER SCIENCE, 2020, 826 (826-827) : 12 - 24
  • [6] MORE CHOICES ALLOW MORE FAULTS - SET CONSENSUS PROBLEMS IN TOTALLY ASYNCHRONOUS SYSTEMS
    CHAUDHURI, S
    [J]. INFORMATION AND COMPUTATION, 1993, 105 (01) : 132 - 158
  • [7] Tight bounds for k-set agreement
    Chaudhuri, S
    Herlihy, M
    Lynch, NA
    Tuttle, MR
    [J]. JOURNAL OF THE ACM, 2000, 47 (05) : 912 - 943
  • [8] AUTHENTICATED ALGORITHMS FOR BYZANTINE AGREEMENT
    DOLEV, D
    STRONG, HR
    [J]. SIAM JOURNAL ON COMPUTING, 1983, 12 (04) : 656 - 666
  • [9] FAULT TOLERANCE IN NETWORKS OF BOUNDED DEGREE
    DWORK, C
    PELEG, D
    PIPPENGER, N
    UPFAL, E
    [J]. SIAM JOURNAL ON COMPUTING, 1988, 17 (05) : 975 - 988
  • [10] IMPOSSIBILITY OF DISTRIBUTED CONSENSUS WITH ONE FAULTY PROCESS
    FISCHER, MJ
    LYNCH, NA
    PATERSON, MS
    [J]. JOURNAL OF THE ACM, 1985, 32 (02) : 374 - 382