A paradigm for distributed debugging

ABSTRACT

Three critical problems associated with distributed debugging are controlling the debugging process in the absence of a global clock; maintaining transparency so that the debugger does not change the order or timing of events, and reproducing an execution sequence to be able to verify that a fault has been corrected. A paradigm is put forward that successfully addresses these three problems. To demonstrate the feasibility of this paradigm, an instantiation has been constructed. A description is given of the resulting debugger for a dataflow language.

REFERENCES

• 1: Arvind, Culler, D., Itnnucci, R., Kathtil, V., Pingali, K., and Thom~, R., The Tagged Token Dataflow Architecture, Preliminary Version, Technical Report, MIT Laboratory for Computer Science, Cambridge, MA, Aug. 8, 1983.
• 2: Grimm, J., Eggert, J., and Karch~, G., "Performance of a Simulated Dataflow Computer," Proc. 17th Annual Hawaii International Conf. on System Sciences, pp. 29-38, 1984.
• 3: J arratt, R., Software Development Tools for ZMtaflow, M.Sc. thesis, University of Manchester, Manchester, England, 1984.
• 4: Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
• 5: David D. Langan , Bruce D. Shriver, Simulated execution of dataflow programs on processors having finite resources, Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems, p.141-149, August 13-15, 1979, Boulder, Colorado, United States
• 6: T. J. LeBlanc , J. M. Mellor-Crummey, Debugging parallel programs with instant replay, IEEE Transactions on Computers, v.36 n.4, p.471-482, April 1987 [doi>10.1109/TC.1987.1676929]
• 7: Messinger, E., Automatic La~ut of Large Directed Graphs, Technical Report 88-07-08, Univ. of Washington, Seattle, WA, July 1988.
• 8: D. R. Morais, ID WORLD: AN ENVIRONMENT FOR THE DEVELOPMENT OF A DATAFLOW PROGRAMS WRITTEN IN ID, Massachusetts Institute of Technology, Cambridge, MA, 1986
• 9: Nikhil, R., Pingali, K., and Arvind, ld Nouveau, CSG Memo 265, MIT Laboratory for Congmter Science, Cambridge, MA, July, 1986.
• 10: Nikhil, R., ld Nouveau Reference Manual, MIT Laboratory for Computer Science, Cambridge, MA, April 24, 1987.
• 11: Sue Utter , Cherri Pancake, A Bibliography of Parallel Debuggers, Auburn University, Auburn, AL, 1989
• 12: Wahl, N. and Sclmch, S., "A Methodology and Distributed Tool for Debugging Dataflow Programs," Proc. 2nd Workshop on Software Testing, Veri.fica~on, and ~~, Banff, Canada, July 19SS, pp. 98-105.
• 13: K Zieliński, Model of error propagation in systems of communicating processes, Science of Computer Programming, v.6 n.2, p.191-205, March 1986

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Distributed programming

General Terms:
Documentation, Languages, Theory