A prototype debugger for Hermes

ABSTRACT

Hemes programs consist of many processes interacting with each other through primitive operations defined as part of the language. Understanding the behaviour of a Hermes program, in order to debug it, requires understanding the interactions between processes. Other aspects of debugging are little different from debugging in a conventional, sequential-programming environment. A debugger prototype has been constructed that provides a display of interprocess interactions in Hermes. This paper describes the facilities of the debugger prototype and its interaction with a running Hermes program. The internal structure of the debugger and the additional facilities that would be required to extend it to a complete debugger are also briefly described.

REFERENCES

• 1: Gregory R. Andrews , Michael Coffin , Irving Elshoff , Kelvin Nilson , Gregg Townsend , Ronald A. Olsson , Titus Purdin, An overview of the SR language and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.51-86, Jan. 1988 [doi>10.1145/42192.42324]
• 2: Peter Bates, Debugging heterogeneous distributed systems using event-based models of behavior, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.11-22, May 05-06, 1988, Madison, Wisconsin, United States
• 3: J. P. Black, W. H. Cheung, E. C. Lam, F. C.-M. Lau, and E. G. Manning. Shoshin: Developing and understanding distributed system software. Technical Report UW/ICR 87-04, Institute for Computer Research, Univ. of Waterloo, May 1987.
• 4: C. C. Charlton, A. J. Eaton, and D. Jackson. A visualisation system for the interactive debugging and validation of concurrent programs. In Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, pages 219--221, Santa Cruz, California, May 20--21 1991.
• 5: Wing Hong Cheung, Process and event abstraction for debugging distributed programs, 1989
• 6: Colin J. Fidge. Timestamps in message-passing systems that preserve the partial ordering. In Proceedings of the 11th Australian Computer Science Conference, pages 56--66, Brisbane, 1988.
• 7: G. Goldszmidt , S. Katz , S. Yemini, Interactive blackbox debugging for concurrent languages, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.271-282, May 05-06, 1988, Madison, Wisconsin, United States
• 8: International Business Machines Corporation. IBM AIX SDE Workbench/6000 Program Debugger. SC09-1458-00.
• 9: Thomas Kunz and David J. Taylor. Distributed debugging using a reverse-engineering tool. In Proceedings of the 3rd Reverse Engineering Forum, Burlington, Mass., Sept. 15--17 1992.
• 10: Irwin Pressman. Personal communication.
• 11: Robert E. Strom , David F. Bacon , Arthur P. Goldberg , Andy Lowry , Daniel M. Yellin , Shaula Alexander Yemini, Hermes: a language for distributed computing, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 12: James Summers. Precedence-preserving abstraction for distributed debugging. Master's thesis, University of Waterloo, Department of Computer Science, 1991.
• 13: David J. Taylor. Event scrolling in debuggers for distributed systems. Manuscript, in preparation, June 1992.
• 14: Dror Zernik , Larry Rudolph, Animating work and time for debugging parallel programs foundation and experience, Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging, p.46-56, May 20-21, 1991, Santa Cruz, California, United States