Coded Emulation of Shared Atomic Memory for Message Passing Architectures
Author(s)Cadambe, Viveck R.; Lynch, Nancy Ann; Medard, Muriel; Musial, Peter
MetadataShow full item record
This paper considers the communication and storage costs of emulating atomic (linearizable) multi-writer multi-reader shared memory in distributed message-passing systems. The paper contains two main contributions: (1) We present an atomic shared-memory emulation algorithm that we call Coded Atomic Storage (CAS). This algorithm uses erasure coding methods. In a storage system with N servers that is resilient to f server failures, we show that the communication 0cost of CAS is [N over N−2f]. The storage cost of CAS is unbounded. (2) We present a variant of CAS known as CAS with Garbage Collection (CASGC). The CASGC algorithm is parametrized by an integer δ and has a bounded storage cost. We show that in every execution where the number of write operations that are concurrent with a read operation is no bigger than δ, the CASGC algorithm with parameter δ satisfies atomicity and liveness. We explicitly characterize the storage cost of CASGC, and show that it has the same communication cost as CAS.
DepartmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science; Massachusetts Institute of Technology. Research Laboratory of Electronics
Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications
Institute of Electrical and Electronics Engineers (IEEE)
Cadambe, Viveck R., Nancy Lynch, Muriel Medard, and Peter Musial. "Coded Emulation of Shared Atomic Memory for Message Passing Architectures." 2014 IEEE 13th International Symposium on Network Computing and Applications (August 2014).
Author's final manuscript