A coded shared atomic memory algorithm for message passing architectures

Viveck R. Cadambe, Nancy Lynch, Muriel Médard, Peter Musial

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Scopus citations

    Abstract

    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 cost of CAS is N/(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.

    Original languageEnglish (US)
    Title of host publicationProceedings - 2014 IEEE 13th International Symposium on Network Computing and Applications, NCA 2014
    PublisherInstitute of Electrical and Electronics Engineers Inc.
    Pages253-260
    Number of pages8
    ISBN (Electronic)9781479953936
    DOIs
    StatePublished - Oct 14 2014
    Event2014 13th IEEE International Symposium on Network Computing and Applications, NCA 2014 - Cambridge, United States
    Duration: Aug 21 2014Aug 23 2014

    Publication series

    NameProceedings - 2014 IEEE 13th International Symposium on Network Computing and Applications, NCA 2014

    Other

    Other2014 13th IEEE International Symposium on Network Computing and Applications, NCA 2014
    CountryUnited States
    CityCambridge
    Period8/21/148/23/14

    All Science Journal Classification (ASJC) codes

    • Computer Networks and Communications
    • Computer Science Applications

    Fingerprint Dive into the research topics of 'A coded shared atomic memory algorithm for message passing architectures'. Together they form a unique fingerprint.

    Cite this