D3S: Debugging deployed distributed systems

5th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2008

Volumn , Issue , 2008, Pages 423-427

  Liu, Xuezheng ^a   Guo, Zhenyu ^a   Wang, Xi ^b   Chen, Feibo ^c   Lian, Xiaochen ^d   Tang, Jian ^a   Wu, Ming ^a   Frans Kaashoek, M ^e   Zhang, Zheng ^a  

^a MICROSOFT RESEARCH ASIA   (China)

^b TSINGHUA UNIVERSITY   (China)

^c FUDAN UNIVERSITY   (China)

^d SHANGHAI JIAO TONG UNIVERSITY   (China)

^e MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED DATABASE SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; LEGACY SYSTEMS; PROGRAM DEBUGGING; SYSTEMS ANALYSIS;

BINARY INSTRUMENTATIONS; DEPLOYED SYSTEMS; DISTRIBUTED SEQUENCES; DISTRIBUTED SYSTEMS; LARGE-SCALE DISTRIBUTED SYSTEM; NETWORK FAILURE; PERFORMANCE BUGS; SEQUENTIAL PROGRAMMING;

DISTRIBUTED COMPUTER SYSTEMS;

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

References (38)

1. i3 implementation: http://i3.cs.berkeley.edu/.
2. libtorrent: http://libtorrent.sourceforge.net/.
3. AGUILERA, M. K., MOGUL, J. C., WIENER, J. L., REYNOLDS, P., AND MUTHITACHAROEN, A. Performance debugging for distributed systems of black boxes. In SOSP (2003).
4. ARNOLD, D. C., AHN, D. H., DE SUPINSKI, B. R., LEE, G., MILLER, B. P., AND SCHULZ, M. Stack trace analysis for large scale debugging. In IPDPS (2007).
5. BARHAM, P., DONNELLY, A., ISAACS, R., AND MORTIER, R. Using Magpie for request extraction and workload modelling. In OSDI (2004).
6. BURROWS, M. The Chubby lock service for loosely-coupled distributed systems. In OSDI (2006).
7. CHANDRA, T. D., GRIESEMER, R., AND REDSTONE, J. Paxos made live: an engineering perspective. In PODC (2007).
8. CHANDRA, T. D., AND TOUEG, S. Unreliable failure detectors for reliable distributed systems. In JACM (1996).
9. CHANG, F., DEAN, J., GHEMAWAT, S., HSIEH, W. C., WALLACH, D. A., BURROWS, M., CHANDRA, T., FIKES, A., AND GRUBER, R. E. Bigtable: A distributed storage system for structured data. In OSDI (2006).
10. CHEN, M., KICIMAN, E., FRATKIN, E., FOX, A., AND BREWER, E. Pinpoint: Problem determination in large, dynamic, internet services. In DSN (2002).
11. CHEN, W., AND LIU, X. Enforcing routing consistency in structured peertopeer overlays: Should we and could we? In IPTPS (2006).
12. DEAN, J., AND GHEMAWAT, S. MapReduce: Simplified data processing on large clusters. In OSDI (2004).
13. DESOUZA, J., KUHN, B., AND DE SUPINSKI, B. R. Automated, scalable debugging of MPI programs with Intel message checker. In SE-HPCS (2005).
14. FONSECA, R., PORTER, G., KATZ, R. H., SHENKER, S., AND STOICA, I. X-Trace: A pervasive network tracing framework. In NSDI (2007).
15. GEELS, D., ALTEKAR, G., SHENKER, S., AND STOICA, I. Replay debugging for distributed applications. In USENIX (2006).
16. GEELS, D., ALTEKARZ, G., MANIATIS, P., ROSCOEY, T., AND STOICAZ, I. Friday: Global comprehension for distributed replay. In NSDI (2007).
17. GILBERT, S., AND LYNCH, N. Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT. ACM 33, 2 (2002).
18. GRAY, C. G., AND CHERITON, D. R. Leases: An efficient fault-tolerant mechanism for distributed file cache consistency. In SOSP (1989).
19. GUO, Z., WANG, X., LIU, X., LIN, W., AND ZHANG, Z. BOX: Icing the APIs. MSR-TR-2008-03.
20. HUNT, G., AND BRUBACHER, D. Detours: Binary interception of Win32 functions. In USENIX Windows NT Symposium (1999).
21. ISARD, M., BUDIU, M., YU, Y., BIRRELL, A., AND FETTERLY, D. Dryad: distributed data-parallel programs from sequential building blocks. In EuroSys (2007).
22. KAMVAR, S. D., SCHLOSSER, M. T., AND GARCIA-MOLINA, H. The EigenTrust algorithm for reputation management in P2P networks. In WWW (2003).
23. KILLIAN, C., ANDERSON, J. W., JHALA, R., AND VAHDAT, A. Life, death, and the critical transition: Finding liveness bugs in systems code. In NSDI (2007).
24. LAMPORT, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (1978).
25. LAMPORT, L. The part-time parliament. ACM Trans. Comput. Syst. 16, 2 (1998), 133-169.
26. LIN, W., YANG, M., ZHANG, L., AND ZHOU, L. PacificA: Replication in log-based distributed storage systems. MSR-TR-2008-25.
27. LIU, X., LIN, W., PAN, A., AND ZHANG, Z. WiDS checker: Combating bugs in distributed systems. In NSDI (2007).
28. LOO, B. T., CONDIE, T., HELLERSTEIN, J. M., MANIATIS, P., ROSCOE, T., AND STOICA, I. Implementing declarative overlays. In SOSP (2005).
29. MACCORMICK, J., MURPHY, N., NAJORK, M., THEKKATH, C. A., AND ZHOU, L. Boxwood: Abstractions as the foundation for storage infrastructure. In OSDI (2004).
30. MIRGORODSKIY, A. V., MARUYAMA, N., AND MILLER, B. P. Problem diagnosis in large-scale computing environments. In SC (2006).
31. MUSUVATHI, M., AND ENGLER, D. Model checking large network protocol implementations. In NSDI (2004).
32. REYNOLDS, P., KILLIAN, C., WIENER, J. L., MOGUL, J. C., SHAH, M. A., AND VAHDAT, A. Pip: Detecting the unexpected in distributed systems. In NSDI (2006).
33. SAROIU, S., GUMMADI, P. K., AND GRIBBLE, S. D. A measurement study of peer-to-peer file sharing systems. In MMCN (2002).
34. SINGH, A., ROSCOE, T., MANIATIS, P., AND DRUSCHEL, P. Using queries for distributed monitoring and forensics. In EuroSys (2006).
35. STOICA, I., ADKINS, D., ZHUANG, S., SHENKER, S., AND SURANA, S. Internet indirection infrastructure. In Sigcomm (2002).
36. VERBOWSKI, C., KICIMAN, E., KUMAR, A., DANIELS, B., LU, S., LEE, J., WANG, Y.-M., AND ROUSSEV, R. Flight data recorder: Monitoring persistent-state interactions to improve systems management. In OSDI (2006).
37. WEN, J.-R., AND MA, W.-Y. Webstudio: building infrastructure for web data management. In SIGMOD (2007).
38. YANG, J., TWOHEY, P., ENGLER, D., AND MUSUVATHI, M. Using model checking to find serious file system errors. In OSDI (2004).