Bibliographies for "Consistency Models in Distributed Shared Memory"
Consistency Models in Distributed Shared Memory
Specifications of consistency models
with real-time
@article{OnInterprocess:Lamport@DC'86
author={Lamport, Leslie},
title={On interprocess communication. Part I: Basic formalism},
journal={Distributed Computing},
volume={1},
number={2},
year={1986},
pages={77-85},
publisher={Springer-Verlag},
}@article{OnLamport:Anger@TOPLAS89,
author = {Anger, Frank D.},
title = {On Lamport's Interprocessor Communication Model},
journal = {ACM Trans. Program. Lang. Syst.},
issue_date = {July 1989},
volume = {11},
number = {3},
month = jul,
year = {1989},
pages = {404--417},
numpages = {14},
publisher = {ACM},
}
without real-time
@article{Multiwriter:Shao@SIAM11,
author = {Cheng Shao and Jennifer L. Welch and Evelyn Pierce and Hyunyoung Lee},
title = {Multiwriter Consistency Conditions for Shared Memory Registers},
journal = {SIAM Journal on Computing},
volume = {40},
number = {1},
pages = {28-62},
year = {2011},
}@article{Causal:Ahamad@DC95,
author={Ahamad, Mustaque and Neiger, Gil and Burns, JamesE. and Kohli, Prince and Hutto, PhillipW.},
title={Causal memory: definitions, implementation, and programming},
journal={Distributed Computing},
volume={9},
number={1},
pages={37-49},
year={1995},
publisher={Springer-Verlag},
}
Consistency, Concurrency, Availability, Partition, Latency, Scalability, etc
- @article{ConcurrencyAvailability:Herlihy@JACM90, author = {Herlihy, M.}, title = {Concurrency and Availability As Dual Properties of Replicated Atomic Data}, journal = {J. ACM}, issue_date = {April 1990}, volume = {37}, number = {2}, month = apr, year = {1990}, pages = {257--278}, numpages = {22}, publisher = {ACM}, }
Consistency Models in Practice
- @inproceedings{ConsistencySLA:Terry@SOSP13, author = {Terry, Douglas B. and Prabhakaran, Vijayan and Kotla, Ramakrishna and Balakrishnan, Mahesh and Aguilera, Marcos K. and Abu-Libdeh, Hussam}, title = {Consistency-based Service Level Agreements for Cloud Storage}, booktitle = {Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles}, series = {SOSP '13}, year = {2013}, pages = {309--324}, numpages = {16}, publisher = {ACM}, address = {New York, NY, USA}, }
Distributed Storage Systems
@inproceedings{Bayou:Terry@SOSP95,
author = {Terry, D. B. and Theimer, M. M. and Petersen, Karin and Demers, A. J. and Spreitzer, M. J. and Hauser, C. H.},
title = {Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System},
booktitle = {Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles},
series = {SOSP '95},
year = {1995},
location = {Copper Mountain, Colorado, USA},
pages = {172--182},
numpages = {11},
publisher = {ACM},
}@inproceedings{Petersen@SOSP97,
author = {Petersen, Karin and Spreitzer, Mike J. and Terry, Douglas B. and Theimer, Marvin M. and Demers, Alan J.},
title = {Flexible Update Propagation for Weakly Consistent Replication},
booktitle = {Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles},
series = {SOSP '97},
year = {1997},
location = {Saint Malo, France},
pages = {288--301},
numpages = {14},
publisher = {ACM},
}@inproceedings{Dynamo:DeCandia@SOSP07,
author = {DeCandia, Giuseppe and Hastorun, Deniz and Jampani, Madan and Kakulapati, Gunavardhan and Lakshman, Avinash and Pilchin, Alex and Sivasubramanian, Swaminathan and Vosshall, Peter and Vogels, Werner},
title = {Dynamo: Amazon's Highly Available Key-value Store},
booktitle = {Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles},
series = {SOSP '07},
year = {2007},
pages = {205--220},
numpages = {16},
location = {Stevenson, Washington, USA},
publisher = {ACM},
}@article{PNUTS:Cooper@VLDB'08,
author = {Cooper, Brian F. and Ramakrishnan, Raghu and Srivastava, Utkarsh and Silberstein, Adam and Bohannon, Philip and Jacobsen, Hans-Arno and Puz, Nick and Weaver, Daniel and Yerneni, Ramana},
title = {PNUTS: Yahoo!'s Hosted Data Serving Platform},
journal = {Proc. VLDB Endow.},
issue_date = {August 2008},
volume = {1},
number = {2},
month = aug,
year = {2008},
pages = {1277--1288},
numpages = {12},
publisher = {VLDB Endowment},
}@article{PNUTS:Silberstein@IC'12,
author = {Silberstein, Adam and Chen, Jianjun and Lomax, David and McMillan, Brad and Mortazavi, Masood and Narayan, P. P. S. and Ramakrishnan, Raghu and Sears, Rusty},
title = {PNUTS in Flight: Web-Scale Data Serving at Yahoo},
journal = {IEEE Internet Computing},
issue_date = {January 2012},
volume = {16},
number = {1},
month = jan,
year = {2012},
pages = {13--23},
numpages = {11},
publisher = {IEEE Educational Activities Department},
}
Algorithms for Consistency Models
@article{ABD:Attiya@JACM95,
author = {Attiya, Hagit and Bar-Noy, Amotz and Dolev, Danny},
title = {Sharing Memory Robustly in Message-passing Systems},
journal = {J. ACM},
issue_date = {Jan. 1995},
volume = {42},
number = {1},
month = jan,
year = {1995},
pages = {124--142},
numpages = {19},
publisher = {ACM},
}@article{20YearsAfter:Attiya@EATCS10,
title = {Robust Simulation of Shared Memory: 20 Years After.},
author = {Attiya, Hagit},
journal = {Bulletin of the {EATCS}},
volume = 100,
pages = {99-113},
year = 2010,
}@inproceedings{RobustEmulation:Lynch@FTCS97,
author = {Lynch, N. A. and Shvartsman, A. A.},
title = {Robust Emulation of Shared Memory Using Dynamic Quorum-acknowledged Broadcasts},
booktitle = {Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97)},
series = {FTCS '97},
year = {1997},
pages = {272--281},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}@article{OptimisticReplication: Saito@CSUR'05,
author = {Saito, Yasushi and Shapiro, Marc},
title = {Optimistic Replication},
journal = {ACM Comput. Surv.},
issue_date = {March 2005},
volume = {37},
number = {1},
month = mar,
year = {2005},
pages = {42--81},
numpages = {40},
publisher = {ACM},
}