Introduction / Tools
Slides:
Assigned Readings:
- Wednesday, 1/13
- "Mace: Language Support for Building Distributed Systems", Charles Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, and Amin Vahdat, in Proceedings of PLDI (PLDI 2007), San Diego, CA, June 2007. [PDF]
- Respond on Blackboard Discussion: "Epidemic Algorithms for Replicated Database Maintenance." Alan Demers, Dan Greene, Carl Hauser, Wes Irish, John Larson, Scott Shenker, Howard Sturgis, Dan Swinehart, and Doug Terry. In PODC, 1987. [ACM Portal]
- Wednesday, 1/20
- Respond on Blackboard Discussion: "Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code." Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat, University of California, San Diego. [PDF]
- Chapter 4 ONLY of Systems and Language Support for Building Correct, High Performance Distributed Systems, Charles Killian, PhD Dissertation, 2008.
Additional Reading (not assigned):
- Birman, K. P., Hayden, M., Ozkasap, O., Xiao, Z., Budiu, M., and Minsky, Y. 1999. Bimodal multicast. ACM Trans. Comput. Syst. 17, 2 (May. 1999), 41-88. DOI= http://doi.acm.org/10.1145/312203.312207
- Eugster, P. T., Guerraoui, R., Kermarrec, A., and Massoulieacute;, L. 2004. Epidemic Information Dissemination in Distributed Systems. Computer 37, 5 (May. 2004), 60-67. DOI= http://dx.doi.org/10.1109/MC.2004.1297243
- "CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems", Maysam Yabandeh, Nikola Knezevic Dejan Kostic, and Viktor Kuncak, EPFL in Proceedings of Proceedings of the 6th ACM/USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009), Boston, MA, April, 2009. [pdf]
- "Live Debugging of Distributed Systems.", Darren Dao, Jeannie Albrecht, Charles Killian, and Amin Vahdat, in Proceedings of International Conference on Compiler Construction (CC 2009), York, UK, March, 2009. [pdf]
- "Pip: Detecting the Unexpected in Distributed Systems", Patrick Reynolds, Charles Killian, Janet L. Wiener, Jeffrey C. Mogul, Mehul A. Shah, and Amin Vahdat, in Proceedings of NSDI (NSDI 2006), San Jose, CA, May 2006. [pdf]