Pip: Detecting the unexpected in distributed systems

3rd Symposium on Networked Systems Design and Implementation, NSDI 2006

Volumn , Issue , 2006, Pages

  Reynolds, Patrick ^a   Killian, Charles ^b   Wiener, Janet L ^c   Mogul, Jeffrey C ^c   Shah, Mehul A ^c   Vahdat, Amin ^b  

^a DUKE UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; DISTRIBUTED DATABASE SYSTEMS; SYSTEMS ANALYSIS;

ANNOTATION TOOL; AUTOMATICALLY GENERATED; DECLARATIVE LANGUAGES; DISTRIBUTED SYSTEMS; PERFORMANCE PROBLEMS; POOR PERFORMANCE; RESOURCE CONSUMPTION; STRUCTURAL ERRORS;

PROGRAM DEBUGGING;

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

References (27)

1. M. K. Aguilera, J. C. Mogul, J. L. Wiener, P. Reynolds, and A. Muthitacharoen. Performance debugging for distributed systems of black boxes. In Proc. SOSP, Bolton Landing, NY, Oct. 2003.
2. P. Barham, A. Donnelly, R. Isaacs, and R. Mortier. Using Magpie for request extraction and workload modeling. In Proc. OSDI, San Francisco, CA, Dec. 2004.
3. R. Carlsson, B. Gustavsson, E. Johansson, T. Lindgren, S.-O. Nyström, M. Pettersson, and R. Virding. Core Erlang 1.0 language specification. Technical Report 030, Uppsala University, Nov. 2000.
4. M. Castro, P. Druschel, A.-M. Kermarrec, A. Nandi, A. Rowstron, and A. Singh. SplitStream: High-bandwidth multicast in cooperative environments. In Proc. SOSP, Bolton Landing, NY, Oct. 2003.
5. M. Chen, A. Accardi, E. Kiciman, J. Lloyd, D. Patterson, A. Fox, and E. Brewer. Path-based failure and evolution management. In Proc. NSDI, San Francisco, CA, April 2004.
6. F. Cristian and F. Schmuck. Agreeing on processor group membership in timed asynchronous distributed systems. Report CSE95-428, UC San Diego, 1995.
7. C. Dickens. Great Expectations. Chapman & Hall, London, 1861.
8. D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In Proc. OSDI, San Diego, CA, Dec. 2000.
9. C. Fournet and G. Gonthier. The join calculus: a language for distributed mobile programming. In Proc. APPSEM, Caminha, Portugal, 2000.
10. P. Godefroid. Software model checking: the VeriSoft approach. Formal Methods in System Design, 26(2):77-101, Mar. 2005.
11. ISO 9074. Estelle: A formal description technique based on an extended state transition model. 1987.
12. Mace. http://mace.ucsd.edu, 2005.
13. D. Kostić, R. Braud, C. Killian, E. Vandekieft, J. W. Anderson, A. C. Snoeren, and A. Vahdat. Maintaining high bandwidth under dynamic network conditions. In Proc. USENIX 2005, Anaheim, CA, Apr. 2005.
14. D. Kostić, A. Rodriguez, J. Albrecht, A. Bhirud, and A. Vahdat. Using random subsets to build scalable network services. In Proc. USITS, Seattle, WA, Mar. 2003.
15. D. Kostić, A. Rodriguez, J. Albrecht, and A. Vahdat. Bullet: High bandwidth data dissemination using an overlay mesh. In Proc. SOSP, Bolton Landing, NY, Oct. 2003.
16. L. Lamport. The temporal logic of actions. ACM TOPLAS, 16(3):872-923, May 1994.
17. L. Lamport. The part-time parliament. ACM TOCS, 16(2):133-169, May 1998.
18. B. T. Loo, T. Condie, J. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. Implementing declarative overlays. In Proc. SOSP, Brighton, UK, Oct. 2005.
19. B. P. Miller, M. D. Callaghan, J. M. Cargille, J. K. Hollingsworth, R. B. Irvin, K. L. Karavanic, K. Kunchithapadam, and T. Newhall. The paradyn parallel performance measurement tool. IEEE Computer, 28(11):37-46, Nov. 1995.
20. R. Milner. The polyadic π-calculus: A tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh, Oct. 1991.
21. S. E. Perl and W. E. Weihl. Performance assertion checking. In Proc. SOSP, Asheville, NC, Dec. 1993.
22. A. Rodriguez, C. Killian, S. Bhat, D. Kostić, and A. Vahdat. MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks. In Proc. NSDI, San Francisco, CA, April 2004.
23. A. Rowstron and P. Druschel. Pastry: Scalable, Distributed Object Location and Routing for Large-scale Peer-to-Peer Systems. In Proc. Middleware'2001, Heidelberg, Germany, Nov. 2001.
24. A. Rowstron, A.-M. Kermarrec, M. Castro, and P. Druschel. SCRIBE: The Design of a Large-scale Event Notification Infrastructure. In 3rd Intl. Workshop on Networked Group Communication, London, UK, Nov. 2001.
25. Y. Saito, S. Frolund, A. Veitch, A. Merchant, and S. Spence. FAB: Building distributed enterprise disk arrays from commodity components. In Proc. ASPLOS, Boston, MA, 2004.
26. A. Vahdat, K. Yocum, K. Walsh, P. Mahadevan, D. Kostić, J. Chase, and D. Becker. Scalability and Accuracy in a Large-Scale Network Emulator. In Proc. OSDI, Boston, MA, 2002.
27. M. Welsh, D. Culler, and E. Brewer. SEDA: an architecture for well-conditioned, scalable internet services. In Proc. SOSP, Banff, Canada, 2001.