Abstract
This article presents some new types of tasking deadlocks concerning the new synchronization waiting relations defined in Ada 2012.
- Barnes, J.: Programming in Ada 2005, Addison-Wesley, 2006.Google Scholar
Digital Library
- Cheng, J.: A Classification of Tasking Deadlocks, ACM Ada Letters, Vol. 10, No. 5, pp. 110--127, 1990. Google Scholar
Digital Library
- Cheng, J.: Task-Wait-For Graphs and Their Application to Handling Tasking Deadlocks, Proc. 3rd ACM Annual TRI-Ada Conference, pp. 376--390, 1990. Google Scholar
Digital Library
- Cheng, J., Ushijima, K.: Tasking Deadlocks in Ada 95 Programs and Their Detection, in A. Strohmeier (ed.), "Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings," Lecture Notes in Computer Science, Vol. 1088, pp. 135--146, Springer-Verlag, 1996. Google Scholar
Digital Library
- Cheng, J.; Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems, "Reliable Sofware Technologies - Ada-Europe 2006, 11th International Conference on Reliable Software Technologies, Porto, Portugal, June 5-6, 2006, Proceedings," Lecture Notes in Computer Science, Vol. 4006, pp. 167--178, Springer-Verlag, 2006. Google Scholar
Digital Library
- International Organization for Standardization Information Technology - Programming Language - Ada, ISO/IEC 8652:1995(E), 1995.Google Scholar
- International Organization for Standardization Information Technology - Programming Language - Ada,Google Scholar
- International Organization for Standardization Information Technology - Programming Language - Ada, ISO/IEC 8652:2012, 2012.Google Scholar
- Nonaka, Y., Cheng, J., Ushijima, K.: A Tasking Deadlock Detector for Ada 95 Programs, Ada User Journal, Vol. 20, No. 1 pp. 79--92, 1999.Google Scholar
Index Terms
New types of tasking deadlocks in Ada 2012 programs
Recommendations
Tasking communication deadlocks in concurrent Ada programs
Tasking communication deadlock is one of most typical synchronization errors in concurrent Ada programs. In this article, we specify four kinds of tasking communication deadlocks, i.e., Circular-entry-calling, Dependence-blocking, Termination-blocking, ...
Monitoring for deadlocks in Ada tasking
AdaTEC '82: Proceedings of the AdaTEC Conference on AdaMost high level languages with multiprocessing do not have built in mechanisms to detect deadlocks during program execution. We present transformation rules for taking an original Ada program P and deriving a new program P', such that P' has a potential ...
Tasking deadlocks in programs with the full Ada 95
This article presents some examples of tasking deadlocks concerning tasking synchronization waiting relations defined in Ada 95's Real-Time Systems Annex.






Comments