Hardware assisted high level debugging: preliminary draft
Pages 140 - 144
Abstract
Hardware assistance has long been used for logic level and functional unit level hardware debugging, as well as for machine language level software debugging. Such hardware assistance includes probes to detect signals, comparators to identify matches with expected patterns, buffers to record selected events, and independent logic and software to analyze and interpret the observed events. It can also include the ability to generate selected signals to stimulate the object being debugged and the ability to isolate it from normal changes so its state can be examined.
Through knowledge of the data structures and algorithms used by the operating systems, and the runtime representation, register usage, and code bursts produced by compilers, it is possible to take advantage of such hardware assistance in high-level debugging. High level debugging here refers to debugging in terms of abstractions supported by the operating system and programming languages, as well as user defined abstractions built on top of these.
References
[1]
AMD*, Inc., AmRTE16 - External Reference Specification, Preliminary Manual, AMD Inc., 1980]]
[2]
AMD, Inc., RTE-16/8050 Real-Time Emulator Support Package, User's Manual, AMD Inc., 1981]]
[3]
Anderson, R. B., Proving Programs Correct, Wiley, 1979]]
[4]
Boar, B. H., Abend Debugging for COBOL Programmers, Wiley - Interscience publication, 1976]]
[5]
Brown, A. R., Program Debugging: The Prevention and Cure of Program Errors, Macdonald and Co./American Elsevier, 1973]]
[6]
Courant Computer science Symposium (1st), Rustin, R. (Ed.), Debugging Techniques in Large Systems, Prentice-Hall, 1971]]
[7]
Dickey, L. J., Honeyapple 66/60 User's Guide (Version 3.2), Honeywell Information Systems/University of Waterloo, 1981]]
[8]
Fairley, R. E., Ada Debugging and Testing Support Environments, SIGPLAN Notices, Nov. 1980]]
[9]
Ferguson, H. E. and Berner, E., Debugging Systems at the Source Language Level, Comm. of the ACM, Aug. 1963]]
[10]
Gaines, R. S., The Debugging of Computer Programs, Phd Thesis, Princeton University, 1969]]
[11]
Gardner, J. A., B Oscure Feature Finder (BOFF Version 4.1), University of Waterloo, 1980]]
[12]
Huang, J. C., Instrumenting Programs for Symbolic Trace Generation, Computer Magazine, Dec. 1980]]
[13]
Intel Corp., ICE-85 In-Circuit Emulator Operating Instructions for ISIS-II Users, Intel Corporation, 1978]]
[14]
International Conference on Reliable Software, Yeh, R. (co-Chairman), 1975]]
[15]
Jensen, K. and Wirth, N., Pascal User Manual and Report, 2nd ed., Springer-Verlag, 1974]]
[16]
Johnson, M. S., A Software Debugging Glossary, SIGPLAN Notices, Feb. 1982]]
[17]
---------, Some Requirements for Architectural Support of Software Debugging, Symposium on Architectural Support for Programming Languages and Operating Systems, Mar. 1982]]
[18]
Kotok, A., DEC Debugging Tape, Technical Memo (MIT-1), Massachusetts Institute of Technology, 1961]]
[19]
Lauesen, S., Debugging Techniques, Software - Practice and Experience, Vol. 9, Jan. 1979]]
[20]
Mann, G. A., A Survey of Debug Systems, Honeywell Computer Journal, 1973]]
[21]
Maranzano, J. F. and Bourne, S. R., A Tutorial Introduction to ADB, UNIX Programmer's Manual, 7th ed., Bell Laboratories, 1981]]
[22]
Marmier, E., Automatic Verification of Pascal Programs, Phd Thesis, Swiss Federal Institute of Technology, 1975]]
[23]
Model, M. L., Monitoring System Behaviour in a Complex Computational Environment, Research Report STAN-CS-79-701, Computer Science Dept., Stanford University, 1979]]
[24]
Myers, B. A., Displaying Data Structures for Interactive Debugging, Xerox PARC*, CSL-80-7, Jun. 1980]]
[25]
Nelson, G., Techniques for Program Verification, Xerox PARC, CSL-81-10, Jan. 1981]]
[26]
Reiser, J. F, BAIL: A Debugger for SAIL, Research Report STAN-CS-75-523, Computer Science Dept., Stanford University, 1975]]
[27]
Satterwaite, E. H., Debugging Tools for High Level Languages, Software - Practice and Experience, Jul.-Sep. 1972]]
[28]
---------, Source Language Debugging Tools, Research Report STAN-CS-75-494, Computer Science Dept., Stanford University, May 1975]]
[29]
Tektronix, Inc., 8550, Microcomputer Development Lab - System User's Manual, User's Guide (DOS/50 Version 1.x), Tektronix Inc., 1981]]
Index Terms
- Hardware assisted high level debugging: preliminary draft
Recommendations
Hardware assisted high-level debugging
Hardware assistance has long been used for logic level and functional unit level hardware debugging, as well as for machine language level software debugging. Such hardware assistance includes probes to detect signals, comparators to identify matches ...
Hardware assisted high level debugging: preliminary draft
SIGSOFT '83: Proceedings of the symposium on High-level debuggingHardware assistance has long been used for logic level and functional unit level hardware debugging, as well as for machine language level software debugging. Such hardware assistance includes probes to detect signals, comparators to identify matches ...
Hardware assisted high level debugging: preliminary draft
Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on high-level debuggingHardware assistance has long been used for logic level and functional unit level hardware debugging, as well as for machine language level software debugging. Such hardware assistance includes probes to detect signals, comparators to identify matches ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
March 1983217 pagesISBN:0897911113DOI:10.1145/1006147- General Chair:
- Richard E. Fairley,
- Program Chair:
- Mark Scott Johnson
Copyright © 1983 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 20 March 1983
Published in SIGSOFT Volume 8, Issue 4
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations3Total Citations
- 455Total Downloads
- Downloads (Last 12 months)169
- Downloads (Last 6 weeks)33
Reflects downloads up to 16 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in