Crystalball: Predicting and preventing inconsistencies in deployed distributed systems

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009

Volumn , Issue , 2009, Pages 229-244

  Yabandeh, Maysam ^a   Knežević, Nikola ^a   Kostić, Dejan ^a   Kuncak, Viktor ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FORECASTING; SYSTEMS ANALYSIS;

DESIGN AND IMPLEMENTATIONS; DETECT AND AVOID; DISTRIBUTED SYSTEMS; NEW APPROACHES; POSSIBLE FUTURES; SAFETY PROPERTY; STATE EXPLORATION ALGORITHMS; SYSTEM DEVELOPMENT;

PROGRAM DEBUGGING;

EID: 85076880480     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (46)

1. Thomas Ball, Andreas Podelski, and Sriram K. Rajamani. Boolean and Cartesian Abstraction for Model Checking C Programs. In TACAS, 2001.
2. Paul Barham, Austin Donnelly, Rebecca Isaacs, and Richard Mortier. Using Magpie for Request Extraction and Workload Modelling. In OSDI, 2004.
3. Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony Rowstron, and Atul Singh. Split-stream: High-bandwidth Content Distribution in Cooperative Environments. In SOSP, October 2003.
4. Tushar D. Chandra, Robert Griesemer, and Joshua Red-stone. Paxos Made Live: an Engineering Perspective. In PODC, 2007.
5. K. Mani Chandy and Leslie Lamport. Distributed Snapshots: Determining Global States of Distributed Systems. ACM Trans. Comput. Syst., 3(1):63-75, 1985.
6. Hyunseok Chang, Ramesh Govindan, Sugih Jamin, Scott Shenker, and Walter Willinger. Towards Capturing Representative AS-Level Internet Topologies. In SIGMETRICS, June 2002.
7. Yang Chu, S. G. Rao, S. Seshan, and Hui Zhang. A Case for End System Multicast. Selected Areas in Communications, IEEE Journal on, 20(8):1456-1471, Oct 2002.
8. Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, and Marcus Peinado. Bouncer: Securing Software by Blocking Bad Input. In SOSP, 2007.
9. Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, and Paul Barham. Vigilante: End-to-End Containment of Internet Worms. In SOSP, October 2005.
10. Brian Demsky and Martin Rinard. Automatic Detection and Repair of Errors in Data Structures. In OOPSLA, 2003.
11. John Dunagan, Nicholas J. A. Harvey, Michael B. Jones, Dejan Kostić, Marvin Theimer, and Alec Wolman. FUSE: Lightweight Guaranteed Distributed Failure Notification. In OSDI, 2004.
12. M.J. Fischer, N.A. Lynch, and M.S. Paterson. Impossibility of Distributed Consensus with One Faulty Process. Journal of the ACM (JACM), 32(2):374-382, 1985.
13. Cormac Flanagan and Patrice Godefroid. Dynamic Partial-Order Reduction for Model Checking Software. In POPL, 2005.
14. Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, and Ion Stoica. Friday: Global Comprehension for Distributed Replay. In NSDI, 2007.
15. Patrice Godefroid and Pierre Wolper. A Partial Approach to Model Checking. Inf. Comput., 110(2):305-326, 1994.
16. Gerard J. Holzmann. The Model Checker SPIN. IEEE Trans. Software Eng., 23(5):279-295, 1997.
17. Navendu Jain, Prince Mahajan, Dmitry Kit, Praveen Yalagandula, Mike Dahlin, and Yin Zhang. Network Imprecision: A New Consistency Metric for Scalable Monitoring. In OSDI, December 2008.
18. Muhammad Umar Janjua and Alan Mycroft. Automatic Correction to Safety Violations. In Thread Verification (TV06), 2006.
19. John P. John, Ethan Katz-Bassett, Arvind Krishnamurthy, Thomas Anderson, and Arun Venkataramani. Consensus Routing: The Internet as a Distributed System. In NSDI, San Francisco, April 2008.
20. 20 States and Beyond. In LICS, 1990.
21. Charles E. Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, and Amin M. Vahdat. Mace: Language Support for Building Distributed Systems. In PLDI, 2007.
22. Charles E. Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In NSDI, 2007.
23. Dejan Kostić, Ryan Braud, Charles Killian, Erik Vandekieft, James W. Anderson, Alex C. Snoeren, and Amin Vahdat. Maintaining High Bandwidth under Dynamic Network Conditions. In USENIX ATC, 2005.
24. Dejan Kostić, Adolfo Rodriguez, Jeannie Albrecht, Abhijeet Bhirud, and Amin Vahdat. Using Random Subsets to Build Scalable Network Services. In USITS, 2003.
25. Leslie Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. Com. of the ACM, 21(7):558-565, 1978.
26. Leslie Lamport. The part-time parliament. ACM Trans. Comput. Syst., 16(2):133-169, 1998.
27. 3S: Debugging Deployed Distributed Systems. In NSDI, 2008.
28. Xuezheng Liu, Wei Lin, Aimin Pan, and Zheng Zhang. WiDS Checker: Combating Bugs in Distributed Systems. In NSDI, 2007.
29. D. Manivannan and Mukesh Singhal. Asynchronous Recovery Without Using Vector Timestamps. J. Parallel Distrib. Comput., 62(12):1695-1728, 2002.
30. Madanlal Musuvathi and Dawson R. Engler. Model Checking Large Network Protocol Implementations. In NSDI, 2004.
31. Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, and David L. Dill. CMC: A Pragmatic Approach to Model Checking Real Code. SIGOPS Oper. Syst. Rev., 36(SI):75-88, 2002.
32. Edmund B. Nightingale, Peter M. Chen, and Jason Flinn. Speculative Execution in a Distributed File System. In SOSP, 2005.
33. Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, and Yuanyuan Zhou. Rx: Treating Bugs as Allergies-a Safe Method to Survive Software Failures. In SOSP, 2005.
34. Patrick Reynolds, Charles Killian, Janet L. Wiener, Jeffrey C. Mogul, Mehul A. Shah, and Amin Vahdat. Pip: Detecting the Unexpected in Distributed Systems. In NSDI, 2006.
35. Sean Rhea, Brighten Godfrey, Brad Karp, John Kubiatowicz, Sylvia Ratnasamy, Scott Shenker, Ion Stoica, and Harlan Yu. OpenDHT: A Public DHT Service and Its Uses. In SIGCOMM, 2005.
36. Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee. Enhancing Server Availability and Security Through Failure-Oblivious Computing. In OSDI, 2004.
37. Adolfo Rodriguez, Charles Killian, Sooraj Bhat, Dejan Kostić, and Amin Vahdat. MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks. In NSDI, 2004.
38. Antony Rowstron and Peter Druschel. Storage Management and Caching in PAST, a Large-Scale, Persistent Peer-to-Peer Storage Utility. In SOSP, 2001.
39. Fred B. Schneider. Implementing Fault-Tolerant Services Using the State Machine Approach: a Tutorial. ACM Comput. Surv., 22(4):299-319, 1990.
40. Atul Singh, Petros Maniatis, Timothy Roscoe, and Peter Druschel. Using Queries for Distributed Monitoring and Forensics. SIGOPS Oper. Syst. Rev., 40(4):389-402, 2006.
41. Sudarshan M. Srinivasan, Srikanth K, Christopher R. Andrews, and Yuanyuan Zhou. Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging. In USENIX ATC, 2004.
42. Ion Stoica, Robert Morris, David Liben-Nowell, David R. Karger, M. Frans Kaashoek, Frank Dabek, and Hari Balakrishnan. Chord: a Scalable Peer-to-Peer Lookup Protocol for Internet Applications. IEEE/ACM Trans. Netw., 11(1):17-32, 2003.
43. Amin Vahdat, Ken Yocum, Kevin Walsh, Priya Mahadevan, Dejan Kostić, Jeff Chase, and David Becker. Scalability and Accuracy in a Large-Scale Network Emulator. In OSDI, December 2002.
44. Maysam Yabandeh, Nikola Knežević, Dejan Kostić, and Viktor Kuncak. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. Technical report, EPFL, http://infoscience.epfl.ch/record/124918, 2008.
45. Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI, April 2009.
46. Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. Using Model Checking to Find Serious File System Errors. ACM Trans. Comput. Syst., 24(4):393-423, 2006.