Live debugging of distributed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5501 LNCS, Issue , 2009, Pages 94-108

  Dao, Darren ^a   Albrecht, Jeannie ^b   Killian, Charles ^c   Vahdat, Amin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b WILLIAMS COLLEGE   (United States)

^c PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DEPLOYED SYSTEMS; DISTRIBUTED SYSTEMS; IN-SITU; LOW OVERHEAD; NON-TRIVIAL; OPERATING CONDITION; REALISTIC CONDITIONS; ROOT CAUSE; RUNTIMES; SYSTEM STATE;

COMPUTER SOFTWARE; PROGRAM COMPILERS;

PROGRAM DIAGNOSTICS;

EID: 70350656393     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00722-4_8     Document Type: Conference Paper

References (17)

1. Killian, C.E., Anderson, J.W., Braud, R., Jhala, R., Vahdat, A.M.: Mace: Language Support for Building Distributed Systems. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2007)
2. Killian, C.E., Anderson, J.W., Jhala, R., Vahdat, A.: Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In: Proceedings of the ACM/USENIX Symposium on Networked Systems Design and Implementation (NSDI) (2007)
3. Kindler, E.: Safety and Liveness Properties: A Survey. Bulletin of the European Association for Theoretical Computer Science 53 (1994)
4. Rowstron, A., Druschel, P.: Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Guerraoui, R. (ed.) Middleware 2001. LNCS, vol. 2218, p. 329. Springer, Heidelberg (2001)
5. Percival, C.: Naive Differences of Executable Code (2003)
6. Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM 21(7) (1978)
7. Stoica, I., Morris, R., Liben-Nowell, D., Karger, D.R., Kaashoek, M.F., Dabek, F., Balakrishnan, H.: Chord: A Scalable Peer-to-Peer Lookup Protocol for Internet Applications.IEEE/ACMTransactions on Networking 11(1) (2003)
8. Rowstron, A.I.T., Kermarrec, A.-M., Castro, M., Druschel, P.: SCRIBE: The Design of a Large-Scale Event Notification Infrastructure. In: Networked Group Communication (2001)
9. Castro,M., Druschel, P., Kermarrec, A.-M., Nandi, A., Rowstron, A., Singh, A.: SplitStream: High-Bandwidth Multicast in Cooperative Environments. In: Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) (2003)
10. Lamport: The Part-Time Parliament. ACM Transactions on Computer Systems 16 (1998)
11. Kostić, D., Rodriguez, A., Albrecht, J., Vahdat, A.: Bullet: High Bandwidth Data Dissemination Using an Overlay Mesh. In: Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) (2003)
12. Kostić, D., Rodriguez, A., Albrecht, J., Bhirud, A., Vahdat, A.: Using Random Subsets to Build Scalable Network Services. In: Proceedings of the USENIX Symposium on Internet Technologies and Systems (USITS) (2003)
13. Vahdat, A., Yocum, K.,Walsh, K.,Mahadevan, P., Kostić, D., Chase, J., Becker, D.: Scalability and Accuracy in a Large-scale Network Emulator. In: Proceedings of the ACM/USENIX Symposium on Operating System Design and Implementation (OSDI) (2002)
14. Geels, D., Altekar, G., Maniatis, P., Roscoe, T., Stoica, I.: Friday: Global Comprehension for Distributed Replay. In: Proceedings of the ACM/USENIX Symposium on Networked Systems Design and Implementation (NSDI) (2007)
15. Reynolds, P., Killian, C.E.,Wiener, J.L.,Mogul, J.C., Shah, M.A., Vahdat, A.: Pip: Detecting the Unexpected in Distributed Systems. In: Proceedings of the ACM/USENIX Symposium on Networked Systems Design and Implementation (NSDI) (2006)
16. Liu, X., Guo, Z., Wang, X., Chen, F., Lian, X., Tang, J., Wu, M., Kaashoek, M.F., Zhang, Z.: D3S: Debugging Deployed Distributed Systems. In: Proceedings of the ACM/USENIX Symposium on Networked Systems Design and Implementation (NSDI) (2008)
17. Yabandeh, M., Kne?zević, N., Kostić, D., Kuncak, V.: CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. Technical report, School of Computer and Communication Sciences, EPFL, Switzerland (2008)