TY - GEN
T1 - Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts
AU - Lynch, N. A.
AU - Shvartsman, A. A.
N1 - Publisher Copyright:
© 1997 IEEE.
PY - 1997
Y1 - 1997
N2 - The paper presents a robust emulation of multi-writer/multireader registers in message-passing systems using dynamic quorum configurations. In addition to processor and link failures, this emulation tolerates changes in quorum configurations, i.e., on-line replacements of one quorum system consisting of read and write quorums with another such system. The new emulation is specified using a modular two-layer architecture. The lower layer uses unreliable broadcast to disseminate a client request to a set of processors, and then to collect responses from a subset of the processors. The higher layer emulates robust multi-writer/multi-reader registers where quorum configurations are used to ensure register atomicity. A unique feature of the read/write service is that it implements dynamically changing quorum configurations. The processor designated as the reconfigured executes requests that replace the current configuration with a new configuration. The combination of the higher and lower layers allows essentially unlimited concurrency and does not involve locks. Waiting can occur only due to processor or link failures that disconnect at least one processor in each read quorum or at least one processor in each write quorum of the specified configurations. Additional computation and communication overhead can be incurred by the read and write operations when they encounter frequent reconfigurations. The algorithms are specified here in terms of I/O automata and their correctness is proved using invariants and partial-order methods.
AB - The paper presents a robust emulation of multi-writer/multireader registers in message-passing systems using dynamic quorum configurations. In addition to processor and link failures, this emulation tolerates changes in quorum configurations, i.e., on-line replacements of one quorum system consisting of read and write quorums with another such system. The new emulation is specified using a modular two-layer architecture. The lower layer uses unreliable broadcast to disseminate a client request to a set of processors, and then to collect responses from a subset of the processors. The higher layer emulates robust multi-writer/multi-reader registers where quorum configurations are used to ensure register atomicity. A unique feature of the read/write service is that it implements dynamically changing quorum configurations. The processor designated as the reconfigured executes requests that replace the current configuration with a new configuration. The combination of the higher and lower layers allows essentially unlimited concurrency and does not involve locks. Waiting can occur only due to processor or link failures that disconnect at least one processor in each read quorum or at least one processor in each write quorum of the specified configurations. Additional computation and communication overhead can be incurred by the read and write operations when they encounter frequent reconfigurations. The algorithms are specified here in terms of I/O automata and their correctness is proved using invariants and partial-order methods.
UR - http://www.scopus.com/inward/record.url?scp=85011686667&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85011686667&partnerID=8YFLogxK
U2 - 10.1109/FTCS.1997.614100
DO - 10.1109/FTCS.1997.614100
M3 - Conference contribution
AN - SCOPUS:85011686667
T3 - Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997
SP - 272
EP - 281
BT - Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997
Y2 - 24 June 1997 through 27 June 1997
ER -