A Tasking deadlock detector for Ada programs

Jingde Cheng; Yoshiaki Kasahara; Kazuo Ushijima

doi:10.1109/CMPSAC.1991.170152

A Tasking deadlock detector for Ada programs

Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

Abstract

Tasking deadlocks are one of the most serious and complex problems in concurrent systems with Ada. Until now no methods and tools proposed in recent years can correctly detect all types of tasking deadlocks in any arbitrary Ada program. This paper presents a tasking deadlock detector for Ada programs. The 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. We describe the principle of detecting tasking deadlocks dynamically, present our implementation of the tool, and give a real example of using the tool to detect a complex tasking deadlock.

Original language	English
Title of host publication	Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991
Publisher	IEEE Computer Society
Pages	56-63
Number of pages	8
ISBN (Electronic)	0818621524
DOIs	https://doi.org/10.1109/CMPSAC.1991.170152
Publication status	Published - Jan 1 1991
Event	15th Annual International Computer Software and Applications Conference, CMPSAC 1991 - Tokyo, Japan Duration: Sept 11 1991 → Sept 13 1991

Publication series

Name	Proceedings - International Computer Software and Applications Conference
ISSN (Print)	0730-3157

Conference

Conference	15th Annual International Computer Software and Applications Conference, CMPSAC 1991
Country/Territory	Japan
City	Tokyo
Period	9/11/91 → 9/13/91

All Science Journal Classification (ASJC) codes

Software
Computer Science Applications

Access to Document

10.1109/CMPSAC.1991.170152

Cite this

A Tasking deadlock detector for Ada programs. / Cheng, Jingde; Kasahara, Yoshiaki; Ushijima, Kazuo.
Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991. IEEE Computer Society, 1991. p. 56-63 170152 (Proceedings - International Computer Software and Applications Conference).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cheng, J, Kasahara, Y & Ushijima, K 1991, A Tasking deadlock detector for Ada programs. in Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991., 170152, Proceedings - International Computer Software and Applications Conference, IEEE Computer Society, pp. 56-63, 15th Annual International Computer Software and Applications Conference, CMPSAC 1991, Tokyo, Japan, 9/11/91. https://doi.org/10.1109/CMPSAC.1991.170152

@inproceedings{2b1593395c844120a98bbb5fe2b0b74c,

title = "A Tasking deadlock detector for Ada programs",

abstract = "Tasking deadlocks are one of the most serious and complex problems in concurrent systems with Ada. Until now no methods and tools proposed in recent years can correctly detect all types of tasking deadlocks in any arbitrary Ada program. This paper presents a tasking deadlock detector for Ada programs. The 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. We describe the principle of detecting tasking deadlocks dynamically, present our implementation of the tool, and give a real example of using the tool to detect a complex tasking deadlock.",

author = "Jingde Cheng and Yoshiaki Kasahara and Kazuo Ushijima",

year = "1991",

month = jan,

day = "1",

doi = "10.1109/CMPSAC.1991.170152",

language = "English",

series = "Proceedings - International Computer Software and Applications Conference",

publisher = "IEEE Computer Society",

pages = "56--63",

booktitle = "Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991",

address = "United States",

note = "15th Annual International Computer Software and Applications Conference, CMPSAC 1991 ; Conference date: 11-09-1991 Through 13-09-1991",

}

TY - GEN

T1 - A Tasking deadlock detector for Ada programs

AU - Cheng, Jingde

AU - Kasahara, Yoshiaki

AU - Ushijima, Kazuo

PY - 1991/1/1

Y1 - 1991/1/1

N2 - Tasking deadlocks are one of the most serious and complex problems in concurrent systems with Ada. Until now no methods and tools proposed in recent years can correctly detect all types of tasking deadlocks in any arbitrary Ada program. This paper presents a tasking deadlock detector for Ada programs. The 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. We describe the principle of detecting tasking deadlocks dynamically, present our implementation of the tool, and give a real example of using the tool to detect a complex tasking deadlock.

AB - Tasking deadlocks are one of the most serious and complex problems in concurrent systems with Ada. Until now no methods and tools proposed in recent years can correctly detect all types of tasking deadlocks in any arbitrary Ada program. This paper presents a tasking deadlock detector for Ada programs. The 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. We describe the principle of detecting tasking deadlocks dynamically, present our implementation of the tool, and give a real example of using the tool to detect a complex tasking deadlock.

UR - http://www.scopus.com/inward/record.url?scp=84941149485&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84941149485&partnerID=8YFLogxK

U2 - 10.1109/CMPSAC.1991.170152

DO - 10.1109/CMPSAC.1991.170152

M3 - Conference contribution

AN - SCOPUS:84941149485

T3 - Proceedings - International Computer Software and Applications Conference

SP - 56

EP - 63

BT - Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991

PB - IEEE Computer Society

T2 - 15th Annual International Computer Software and Applications Conference, CMPSAC 1991

Y2 - 11 September 1991 through 13 September 1991

ER -

A Tasking deadlock detector for Ada programs

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this