Mark Scott Johnson
Abstract
Architectural support of high-level, symbolic debugging is described at three levels of abstraction: the user's view of desired debugging functionality, the debugger implementor's view of architectural requirements that support the functionality, and the computer architect's view of architectural features or attributes that implement the requirements. References are made where possible to computing systems that meet the requirements. The paper is written from the viewpoint of debugger implementors, and is addressed primarily to computer architects.
- 1 Balzer, R.M. EXDAMS—EXtendable Debugging And Monitoring System. Proc. AFIPS Conf. 34 (1969 May), 567-580.Google Scholar
- 2 Bishop, J.M. and Barton, D.W. Principles of Descriptors. Computer J. 24:3 (1981 Aug.), 210-221.Google Scholar
- 3 Case, R.P. and Padegs, A. Architecture of the IBM System/370. Comm. of the ACM 21:1 (1978 Jan.), 73-96. Google ScholarDigital Library
- 4 Ditzel, D.R. Architectural Support for Programming Languages in the X-Tree Processor. Digest of Papers—COMPCON 80 Spring, San Francisco, CA (1980 Feb. ), 335-339.Google Scholar
- 5 Ditzel, D.R. and Patterson, D.A. Retrospective on High-Level Language Computer Architecture. Computer Architecture News 8:3 (1980 May), 97-104.Google Scholar
- 6 Ditzel, D.R. High Level Language Debugging Tools on the SYMBOL Computer System. Proc. 1980 Workshop on High-Level Language Computer Architecture, Fort Lauderdale, FL (1980 May), 9pp. Google ScholarDigital Library
- 7 Estrin, G.; Muntz, R.R.; and Uzgalis, R.C. Modeling, Measurement, and Computer Power. Proc. AFIPS Conf. 40 (1972 Spring), 725-738.Google Scholar
- 8 Fairley, R.E. ALADDIN: Assembly Language Assertion Driven Debugging INterpreter. IEEE Trans. on Software Engineering SE-5:4 (1979 July), 426-428.Google Scholar
- 9 Feustel, E.A. On the Advantages of Tagged Architecture. IEEE Trans. on Computers C-22:7 (1973 July), 644-656.Google Scholar
- 10 Hill, D.D. A Hardware Mechanism for Supporting Range Checks. Computer Architecture News 9:4 (1981 June), 15-21. Google ScholarDigital Library
- 11 Johnson, M.S. Dispel: A Run-Time Debugging Language. Computer Languages 6:2 (1981), 79-94.Google ScholarDigital Library
- 12 Johnson, M.S. SPAM: A Debugging-Oriented Architecture. Hewlett- Packard Computer Research Center, Palo Alto, CA (1981 July), 13pp.Google Scholar
- 13 Klint, P. Line Numbers Made Cheap. Comm. of the ACM 22:10 (1979 Oct.), 557-559. Google ScholarDigital Library
- 14 Marzullo, K. The Mesa Debugger. A colloquium given at Stanford University (1981 July).Google Scholar
- 15 Myers, G.J. Advances in Computer Architecture. John Wiley & Sons, New York, NY (1978), 314pp. Google ScholarDigital Library
- 16 Organick, E.I. Computer System Organization: The B5700/B6700 Series. Academic Press, New York, NY (1973), 132pp. Google ScholarDigital Library
- 17 Saal, H.J. and Shustek, L.J. On Measuring Computer Systems by Micro-programming. Microprogramming and Systems Architecture: Infotech State of the Art Report 23. Infotech, Berkshire, England (1975), 473-489.Google Scholar
- 18 Shapiro, M.D. The Criterion COBOL System. Proc. AFIPS Conf. 47 (1978 June), 1049-1054.Google Scholar
- 19 Teitelbaum, T. and Reps, T. The Cornell Program Synthesizer: A Syntax-Directed Programming Environment. Comm. of the ACM 24:9 (1981 Sept.), 563-573. Google ScholarDigital Library
- 20 Teitelman, W. Interlisp Reference Manual. Xerox Palo Alto Research Center, Palo Alto, CA (1978 Oct.), 717pp.Google Scholar
- 21 Tyner, P. iAPX 432 General Data Processor Architecture Reference Manual. Intel Corp., Santa Clara, CA (1981 Jan.), 559pp.Google Scholar
- 22 Watt, D.A. and Findlay, W. A Pascal Diagnostics System. Pascal—The Language and its Implementation. Barron, D.W. (e d.), John Wiley & Sons, New York, NY (1981), 181-198.Google Scholar
- 23 Zelkowitz, M.V. Reversible Execution. Comm. of the ACM 16:9 (1973 Sept.), 566 Google ScholarDigital Library
Index Terms
- Some requirements for architectural support of software debugging
Recommendations
Some requirements for architectural support of software debugging
ASPLOS I: Proceedings of the first international symposium on Architectural support for programming languages and operating systemsArchitectural support of high-level, symbolic debugging is described at three levels of abstraction: the user's view of desired debugging functionality, the debugger implementor's view of architectural requirements that support the functionality, and ...
Some requirements for architectural support of software debugging
Architectural support of high-level, symbolic debugging is described at three levels of abstraction: the user's view of desired debugging functionality, the debugger implementor's view of architectural requirements that support the functionality, and ...
The design of a high-level, language-independent symbolic debugging system
ACM '77: Proceedings of the 1977 annual conferenceThe design of a language-independent, interactive system to facilitate the analysis and symbolic debugging of computer programs written in high-level languages is presented. The design criteria of such a system are enumerated, and its realization is ...
Comments