Title :
A tasking deadlock detector for Ada programs
Author :
Cheng, Jingde ; Kasahara, Yoshiaki ; Ushijima, Kazuo
Author_Institution :
Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
Abstract :
A tasking deadlock detector for Ada programs is presented. The software tool works by monitoring the tasking behavior of a target program and operating a task-wait-for graph for the program. It can detect all types of tasking deadlocks in a class of Ada programs. The authors describe the principle of detecting tasking deadlocks dynamically, present their implementation of the tool, and give a real example of using the tool to detect a complex taking deadlock
Keywords :
Ada; concurrency control; operating systems (computers); software tools; Ada programs; software tool; taking deadlock; target program; task-wait-for graph; tasking behaviour monitoring; tasking deadlock detector; Computer science; Concurrent computing; Detectors; Monitoring; System recovery;
Conference_Titel :
Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
Conference_Location :
Tokyo
Print_ISBN :
0-8186-2152-4
DOI :
10.1109/CMPSAC.1991.170152
