Abstract
Tasking deadlock is one of the most serious and complex problems concerning the reliability of concurrent systems with Ada. In this paper, tasking deadlocks which may occur in Ada 95 programs are investigated, a representation, named the Task-Wait-For Graph, for task synchronization waiting state of an Ada 95 program is proposed, and a run-time detection method for the tasking deadlocks based on the Task-Wait-For Graph is presented.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Barnes, J.: Introducing Ada 9X, ACM Ada Letters, Vol.13, No.6 (1993) 61–132
Barnes, J.; Programming in Ada 95, Addison-Wesley (1995)
Cheng, J.: A Classification of Tasking Deadlocks, ACM Ada Letters, Vol.10, No.5 (1990) 110–127
Cheng, J.: A Survey of Tasking Deadlock Detection Methods, ACM Ada Letters, Vol.11, No.l (1991) 82–91
Cheng, J., Kasahara, Y., Ushijima, K.: A Tasking Deadlock Detector for Ada Programs, Proc. IEEE-CS 15th Annual International Computer Software & Applications Conference (1991) 56-63
Cheng, J., Ushijima, K.: Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets, in Christodoulakis, D. (ed.), “Ada: The Choice for '92,” Lecture Notes in Computer Science, Vol.499, Springer-Verlag (1991) 125–146
Cheng, J., Ushijima, K.: Partial Order Transparency as a Tool to Reduce Interference in Monitoring Concurrent Systems, in Ohno, Y. (ed.), “Distributed Environments,” Springer-Verlag (1991) 156–171
Duri, S., Buy, U., Devarapalli, R., Shatz, S.M.: Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada, ACM Transactions on Software Engineering and Methodology, Vol.3, No.4 (1994) 340–380
Dwyer, M.B., Clarke, L.A., Nies, K.A.: A Compact Petri Net Representation for Concurrent Programs, Proc. IEEE-CS & ACM 17th International Conference on Software Engineering (1995) 147–157
International Organization for Standardization: Information Technology — Programming Language — Ada, ISO/IEC 8652:1995(E), 1995
Karam, G.M., Buhr, R.J.A.: Temporal Logic-Based Deadlock Analysis for Ada, IEEE Transaction on Software Engineering, Vol.17, No.10 (1991) 1109–1125
Lander, L.C., Mitra, S.: Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications, in van Katwijk, J. (ed.), “Ada: Moving Towards 2000,” Lecture Notes in Computer Science, Vol.603, Springer-Verlag (1992) 165–181
Natomi, M., Murata, T.: Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis, IEEE Transaction on Software Engineering, Vol.20, No.5 (1994) 325–336
United States Department of Defense: Reference Manual for Ada Programming Language, ANSI/MIL-STD-1815A-1983, 1983
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cheng, J., Ushijima, K. (1996). Tasking deadlocks in Ada 95 programs and their detection. In: Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe '96. Ada-Europe 1996. Lecture Notes in Computer Science, vol 1088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013484
Download citation
DOI: https://doi.org/10.1007/BFb0013484
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61317-6
Online ISBN: 978-3-540-68457-2
eBook Packages: Springer Book Archive