Selective interpretation as a technique for debugging computationally intensive programs

ABSTRACT

As part of Rice University's project to build a programming environment for scientific software, we have built a facility for program execution that solves some of the problems inherent in debugging large, computationally intensive programs. By their very nature such programs do not lend themselves to full-scale interpretation. In moderation however, interpretation can be extremely useful during the debugging process. In addition to discussing the particular benefits that we expect from interpretation, this paper addresses how interpretive techniques can be effectively used in conjunction with the execution of compiled code. The same implementation technique that permits interpretation to be incorporated as part of execution will also permit the execution facility to be used for debugging parallel programs running on a remote machine.

REFERENCES

• 1: E Adams , S S Muchnick, Dbxtool: A window-based symbolic debugger for sun workstations, Software—Practice & Experience, v.16 n.7, p.653-669, July. 1986 [doi>10.1002/spe.4380160705]
• 2: James E. Archer, Jr. , Richard W. Conway , Fred B. Schneider, User Recovery and Reversal in Interactive Systems, Cornell University, Ithaca, NY, 1981
• 3: Hans-J. Boehm , Robert Cartwright , Mark Riggle , Michael J. O'Donnell, Exact real arithmetic: a case study in higher order programming, Proceedings of the 1986 ACM conference on LISP and functional programming, p.162-173, August 1986, Cambridge, Massachusetts, United States [doi>10.1145/319838.319860]
• 4: H. J. Boehm, Constructive real interpretation of numerical programs, Papers of the Symposium on Interpreters and interpretive techniques, p.214-221, June 24-26, 1987, St. Paul, Minnesota, United States
• 5: [CDHJ 86] Cartwright, Dennis, Hood, Jump, Kennedy, Zwaenepoel "Parasol: a laboratory for parallel software technology research." TR86-41, Rice University (1986).
• 6: David R. Cheriton , Willy Zwaenepoel, The distributed V kernel and its performance for diskless workstations, Proceedings of the ninth ACM symposium on Operating systems principles, p.129-140, October 10-13, 1983, Bretton Woods, New Hampshire, United States
• 7: Keith D Copper , Ken Kennedy , Linda Torczon, Editing and compiling whole programs, Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.92-101, December 09-11, 1986, Palo Alto, California, United States
• 8: [HeMa 86] Hedin, G. and Magnusson, B. "Incremental execution in a programming environment based on compilation." Proceedings of the Nineteenth Annual Hawaii International Conference on System Sciences, (1986).
• 9: John Hennessy, Symbolic Debugging of Optimized Code, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.323-344, July 1982 [doi>10.1145/357172.357173]
• 10: [HoKe 85] Hood, R. and Kennedy, K. "A programming environment for Fortran." Proceedings of the Eighteenth Annual Hawaii International Conference on System Sciences, (1985).
• 11: Lori L. Pollock , Mary Lou Soffa, Incremental compilation of optimized code, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.152-164, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318629]
• 12: Tim Teitelbaum , Thomas Reps, The Cornell program synthesizer: a syntax-directed programming environment, Communications of the ACM, v.24 n.9, p.563-573, Sept. 1981 [doi>10.1145/358746.358755]
• 13: [UPM 83] UNIX Programmer's Manual, Berkeley System Distribution, vol. 1, Computer Science Division, University of California, Berkeley, CA. (1983).
• 14: Jonice Cynthia Weber, Interactive debugging of concurrent programs, Proceedings of the symposium on High-level debugging, March 20-23, 1983, Pacific Grove, California
• 15: Polle T. Zellweger, An interactive high-level debugger for control-flow optimized programs, Proceedings of the symposium on High-level debugging, March 20-23, 1983, Pacific Grove, California

INDEX TERMS

Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Debugging aids
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Interpreters

General Terms:
Design, Languages, Performance, Verification