Slide 1
Slide 1 text
No content
Slide 2
Slide 2 text
Hagit Attiya
http://www.cs.technion.ac.il/~hagit/
Jennifer L Welch
https://parasol.tamu.edu/~welch/
Slide 3
Slide 3 text
No content
Slide 4
Slide 4 text
No content
Slide 5
Slide 5 text
No content
Slide 6
Slide 6 text
No content
Slide 7
Slide 7 text
No content
Slide 8
Slide 8 text
No content
Slide 9
Slide 9 text
No content
Slide 10
Slide 10 text
No content
Slide 11
Slide 11 text
No content
Slide 12
Slide 12 text
No content
Slide 13
Slide 13 text
No content
Slide 14
Slide 14 text
No content
Slide 15
Slide 15 text
No content
Slide 16
Slide 16 text
No content
Slide 17
Slide 17 text
No content
Slide 18
Slide 18 text
No content
Slide 19
Slide 19 text
No content
Slide 20
Slide 20 text
No content
Slide 21
Slide 21 text
No content
Slide 22
Slide 22 text
No content
Slide 23
Slide 23 text
No content
Slide 24
Slide 24 text
No content
Slide 25
Slide 25 text
No content
Slide 26
Slide 26 text
No content
Slide 27
Slide 27 text
No content
Slide 28
Slide 28 text
No content
Slide 29
Slide 29 text
No content
Slide 30
Slide 30 text
No content
Slide 31
Slide 31 text
No content
Slide 32
Slide 32 text
No content
Slide 33
Slide 33 text
No content
Slide 34
Slide 34 text
No content
Slide 35
Slide 35 text
No content
Slide 36
Slide 36 text
No content
Slide 37
Slide 37 text
No content
Slide 38
Slide 38 text
No content
Slide 39
Slide 39 text
No content
Slide 40
Slide 40 text
No content
Slide 41
Slide 41 text
No content
Slide 42
Slide 42 text
No content
Slide 43
Slide 43 text
No content
Slide 44
Slide 44 text
No content
Slide 45
Slide 45 text
No content
Slide 46
Slide 46 text
No content
Slide 47
Slide 47 text
No content
Slide 48
Slide 48 text
No content
Slide 49
Slide 49 text
No content
Slide 50
Slide 50 text
No content
Slide 51
Slide 51 text
No content
Slide 52
Slide 52 text
No content
Slide 53
Slide 53 text
No content
Slide 54
Slide 54 text
No content
Slide 55
Slide 55 text
No content
Slide 56
Slide 56 text
No content
Slide 57
Slide 57 text
No content
Slide 58
Slide 58 text
No content
Slide 59
Slide 59 text
No content
Slide 60
Slide 60 text
No content
Slide 61
Slide 61 text
No content
Slide 62
Slide 62 text
No content
Slide 63
Slide 63 text
No content
Slide 64
Slide 64 text
No content
Slide 65
Slide 65 text
No content
Slide 66
Slide 66 text
No content
Slide 67
Slide 67 text
No content
Slide 68
Slide 68 text
No content
Slide 69
Slide 69 text
No content
Slide 70
Slide 70 text
No content
Slide 71
Slide 71 text
No content
Slide 72
Slide 72 text
No content
Slide 73
Slide 73 text
No content
Slide 74
Slide 74 text
No content
Slide 75
Slide 75 text
No content
Slide 76
Slide 76 text
No content
Slide 77
Slide 77 text
No content
Slide 78
Slide 78 text
No content
Slide 79
Slide 79 text
No content
Slide 80
Slide 80 text
No content
Slide 81
Slide 81 text
No content
Slide 82
Slide 82 text
No content
Slide 83
Slide 83 text
No content
Slide 84
Slide 84 text
No content
Slide 85
Slide 85 text
No content
Slide 86
Slide 86 text
No content
Slide 87
Slide 87 text
No content
Slide 88
Slide 88 text
No content
Slide 89
Slide 89 text
No content
Slide 90
Slide 90 text
No content
Slide 91
Slide 91 text
No content
Slide 92
Slide 92 text
No content
Slide 93
Slide 93 text
No content
Slide 94
Slide 94 text
No content
Slide 95
Slide 95 text
No content
Slide 96
Slide 96 text
No content
Slide 97
Slide 97 text
No content
Slide 98
Slide 98 text
No content
Slide 99
Slide 99 text
References
• Hagit Attiya and Jennifer L Welch: “Sequential Consistency versus Linearizability,”
ACM Transactions on Computer Systems, volume 12, number 2, pages 91–122, May
1994. doi:10.1145/176575.176576, http://courses.csail.mit.edu/6.852/01/papers/p91-
attiya.pdf
• Maurice P Herlihy and Jeannette M Wing: “Linearizability: A Correctness Condition
for Concurrent Objects,” ACM Transactions on Programming Languages and Systems,
volume 12, number 3, pages 463–492, July 1990. doi:10.1145/78969.78972, http://
www.cs.cmu.edu/~wing/publications/HerlihyWing90.pdf
• Leslie Lamport: “How to make a multiprocessor computer that correctly executes
multiprocess programs,” IEEE Transactions on Computers, volume 28, number 9, pages
690–691, September 1979. doi:10.1109/TC.1979.1675439, http://research-
srv.microsoft.com/en-us/um/people/lamport/pubs/multi.pdf
• Mustaque Ahamad, Gil Neiger, James E Burns, Prince Kohli, and Phillip W Hutto:
“Causal memory: definitions, implementation, and programming,” Distributed
Computing, volume 9, number 1, pages 37–49, March 1995. doi:10.1007/
BF01784241, http://www-i2.informatik.rwth-aachen.de/i2/fileadmin/user_upload/
documents/Seminar_MCMM11/Causal_memory_1996.pdf
Slide 100
Slide 100 text
References
• Richard J Lipton and Jonathan S Sandberg: “PRAM: A scalable shared memory,”
Princeton University Department of Computer Science, CS-TR-180-88, September
1988. https://www.cs.princeton.edu/research/techreps/TR-180-88
• Douglas B Terry, Alan J Demers, Karin Petersen, et al.: “Session Guarantees for
Weakly Consistent Replicated Data,” at 3rd International Conference on Parallel and
Distributed Information Systems (PDIS), pages 140–149, September 1994. doi:
10.1109/PDIS.1994.331722, http://citeseerx.ist.psu.edu/viewdoc/download?
doi=10.1.1.71.2269&rep=rep1&type=pdf
• Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, and Magnus O
Myreen: “x86-TSO: A Rigorous and Usable Programmer's Model for x86
Multiprocessors,” Communications of the ACM, volume 53, number 7, pages 89–
97, July 2010. doi:10.1145/1785414.1785443, http://www.cl.cam.ac.uk/~pes20/
weakmemory/cacm.pdf
• Eric A Brewer: “Towards Robust Distributed Systems,” Keynote at 19th ACM
Symposium on Principles of Distributed Computing (PODC), July 2000. http://
www.cs.berkeley.edu/~brewer/cs262b-2004/PODC-keynote.pdf
Slide 101
Slide 101 text
References
• Seth Gilbert and Nancy Lynch: “Brewer’s Conjecture and the Feasibility of
Consistent, Available, Partition-Tolerant Web Services,” ACM SIGACT News, volume
33, number 2, pages 51–59, 2002. doi:10.1145/564585.564601, http://lpd.epfl.ch/
sgilbert/pubs/BrewersConjecture-SigAct.pdf
• Eric A Brewer: “CAP Twelve Years Later: How the “Rules” Have Changed,” IEEE
Computer Magazine, volume 45, number 2, pages 23–29, February 2012. doi:
10.1109/MC.2012.37, http://cs609.cs.ua.edu/CAP12.pdf
• Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, et al.: “Dynamo: Amazon's
Highly Available Key-Value Store,” at 21st ACM Symposium on Operating Systems
Principles (SOSP), October 2007. http://www.allthingsdistributed.com/files/amazon-
dynamo-sosp2007.pdf
Slide 102
Slide 102 text
No content