Grid-level computing needs pervasive debugging

Proceedings - IEEE/ACM International Workshop on Grid Computing

Volumn 2005, Issue , 2005, Pages 186-193

  Mehmood, Rashid ^a   Crowcroft, Jon ^a   Hand, Steven ^a   Smith, Steven ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

GRIDS; SCALABLE ARCHITECTURE; SCALE DISTRIBUTED SYSTEMS;

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE PORTABILITY; MOBILE COMPUTING; PARALLEL PROCESSING SYSTEMS; PROGRAM DEBUGGING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33749651184     PISSN: 15505510     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/GRID.2005.1542741     Document Type: Conference Paper

References (34)

1. J. Gait, "A probe effect in concurrent programs," Softw. Pract. Exper., vol. 16, no. 3, pp. 225-233, 1986.
2. C. H. LeDoux and J. D. Stott Parker, "Saving traces for ada debugging," in SIGAda '85: Proceedings of the 1985 annual ACM SIGAda international conference on Ada. New York, NY, USA: Cambridge University Press, 1985, pp. 97-108.
3. T. Harris, "Dependable Computing needs Pervasive Debugging," in Proceedings of the 2002 ACM SIGOPS European Workshop, 2002.
4. A. Ho, S. Hand, and T. Harris, "PDB: Pervasive Debugging With Xen," in Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing (Grid 2004), 2004.
5. P. Barham, B. Dragovic, K. Fraser, S. H. T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield, "Xen and the Art of Virtualization," in Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), October 2003.
6. C. M. Pancake and R. H. B. Netzer, "A bibliography of parallel debuggers, 1993 edition," in PADD '93: Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging. New York, NY, USA: ACM Press, 1993, pp. 169-186.
7. C. E. McDowell and D. P. Helmbold, "Debugging concurrent programs," ACM Comput. Surv., vol. 21, no. 4, pp. 593-622, 1989.
8. R. Hood and G. Jost, "A debugger for computational grid applications," in HCW '00: Proceedings of the 9th Heterogeneous Computing Workshop. Washington, DC, USA: IEEE Computer Society, 2000, p. 262.
9. P. Neophytou, N. Neophytou, and P. Evripidou, "Debugging mpi grid applications using net-dbx." in European Across Grids Conference, ser. Lecture Notes in Computer Science, M. D. Dikaiakos, Ed., vol. 3165. Springer, 2004, pp. 139-148.
10. "TotalView. Product Brochure, Natick MA, 2003."
11. "DDT, The Distributed Debugging Tool. Product Brochure, Allinea Software Ltd, Warwick, UK."
12. D. Kranzlmuller, "Dewiz - event-based debugging on the grid," in Proceedings of the 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing (EUROMICRO-PDP 2002), 2002.
13. C. Schaubschlager, D. Kranzlmuller, and J. Volkert, "Event-based program analysis with dewiz," in Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003.
14. P. C. Bates and J. C. Wileden, "High-level debugging of distributed systems: The behavioral abstraction approach," Journal of Systems and Software, vol. 3, no. 4, pp. 255-264, 1983.
15. M.Auguston, "Building program behavior models," in Proceedings of the European Conference on Artificial Intelligence ECAI-98, Workshop on Spatial and Temporal Reasoning, Brighton, England, August 1998, pp. 19-26.
16. T. J. LeBlanc and J. M. Mellor-Crummey, "Debugging parallel programs with instant replay," IEEE Trans. Comput., vol. 36, no. 4, pp. 471-482, 1987.
17. P. Harter, D. Heimbigner, and R. King, "Idd: an interactive distributed debugger," in Proc 5th International Conference on Distributed Computing Systems, Denver, CO, May 1985, pp. 498-506.
18. "The Message Passing Interface (MPI) standard," http://www-unix.mcs.anl.gov/mpi/index.htm.
19. B. P. Miller, J. K. Hollingsworth, and M. D. Callaghan, "The paradyn parallel performance tools and pvm," in Environments and Tools for Parallel Scientific Computing. SIAM Press, 1994.
20. P. C. Bates, "Debugging heterogeneous distributed systems using event-based models of behavior," ACM Trans. Comput. Syst., vol. 13, no. 1, pp. 1-31, 1995.
21. E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications," ACM Trans. Program. Lang. Syst., vol. 8, no. 2, pp. 244-263, 1986.
22. C. Clark, K. Fraser, S. Hand, J. G. Hansen, E. Jul, C. Limpach, I. Pratt, and A. Warfield, "Live Migration of Virtual Machines," in Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI '05), May 2005, boston, MA.
23. A. Whitaker, M. Shaw, and S. Gribble, "Denali: Lightweight virtual machines for distributed and networked applications," University of Washington, Tech. Rep. 02-02-01, 2002.
24. J. E. Smith and R. Nair, "An overview of Virtual Machine Architectures," 2003.
25. K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williams, "Safe Hardware Access with the Xen Virtual Machine Monitor," in Proceedings of the 1st Workshop on Operating System and Architectural Support for the on demand IT Infrastructure (OASIS), October 2004, boston, MA.
26. R. Mehmood, "Serial Disk-based Analysis of Large Stochatic Models," in Validation of Stochastic Systems: A Guide to Current Research, ser. Lecture Notes in Computer Science, vol. 2925. Springer-Verlag, 2004, pp. 230-255.
27. _, "Disk-based techniques for efficient solution of large markov chains," Ph.D. dissertation, Computer Science, University of Birmingham, UK, October 2004.
28. M. Kwiatkowska, D. Parker, Y. Zhang, and R. Mehmood, "Dual-processor parallelisation of symbolic probabilistic model checking," in Proceedings of the 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04), 2004.
29. R. Mehmood, "Out-of-Core and Parallel Iterative Solutions for Large Markov Chains," School of Computer Science, University of Birmingham, UK," PhD Progress Report 3, October 2001.
30. M. Calleja, B. Beckles, M. Keegan, M. A. Hayes, A. Parker, and M. T. Dove, "CamGrid: Experiences in constructing a university-wide, Condor-based, grid at the University of Cambridge," in Proceedings of the 2004 UK e-Science All Hands Meeting, 2004.
31. L. Peterson, T. Anderson, D. Culler, and T. Roscoe, "A Blueprint for Introducing Disruptive Technology into the Internet," in Proceedings of HotNets-I, Princeton, New Jersey, October 2002.
32. L. Peterson, A. Bavier, M. Fiuczynski, S. Muir, and T. Roscoe, "Towards a Comprehensive PlanetLab Architecture," PlanetLab Consortium, Tech. Rep. PDN-05-030, June 2005.
33. L. Peterson, S. Shenker, and J. Turner, "Overcoming the Internet Impasse Through Visualization," in Proceedings of the 3rd ACM Workshop on Hot Topics in Networks (HotNets-III), November 2004.
34. "Planetlab: An open platform for development, deploying and accessing planetary-scale services," http://www.planet-lab.org/.