Runtime Detection and Description of Deadness Errors in Ada Tasking.
Program analysis and verification group rept. no. 22,
STANFORD UNIV CA COMPUTER SYSTEMS LAB
Pagination or Media Count:
A runtime monitoring system for detecting and describing tasking errors in Ada programs is presented. Basic concepts for classifying tasking errors, called deadness errors, are defined. These concepts indicate which aspects of an Ada computation must be monitored in order to detect deadness errors resulting from attempts to rendezvous or terminate. They also provide a basis for the definition and proof of correct detection. Descriptions of deadness errors are given in terms of the basic concepts. The monitoring system has two parts 1 a separately compiled runtime monitor that is added to any Ada source text to be monitored, and 2 a pre-processor that transforms the Ada source text so that necessary descriptive data is communicated to the monitor at runtime. Some basic preprocessing transformations and an abstract monitoring for a limited class of errors were previously presented.
- Computer Programming and Software