DocumentCode
2613693
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
fYear
1991
fDate
11-13 Sep 1991
Firstpage
56
Lastpage
63
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CMPSAC.1991.170152
Filename
170152
Link To Document