Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

  • Jingde Cheng
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4006)


Any existing detection method or tool for Ada 95 programs cannot detect all types of tasking deadlocks in an Ada program with the Ada 95’s annex of real-time systems. This paper investigates synchronization waiting relations in Ada 95 programs with the annex of real-time systems, extends the representation of Task-Wait-For Graph to deal with synchronization waiting relations defined in the annex of real-time systems, shows the necessary and sufficient conditions for tasking deadlock occurrences, and present a run-time tasking deadlock detector we implemented for real-time systems with the Ada 95’s annex of real-time systems.


Execution State Tasking Behavior Protected Object Deadlock Detector Deadlock Resolution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barnes, J. (ed.): Ada 95 Rationale. LNCS, vol. 1247. Springer, Heidelberg (1997)Google Scholar
  2. 2.
    Barnes, J.: Programming in Ada 95, 2nd edn. Addison-Wesley, Reading (1998)Google Scholar
  3. 3.
    Blieberger, J., Burgstaller, B., Scholz, B.: Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. In: Keller, H.B., Plödereder, E. (eds.) Ada-Europe 2000. LNCS, vol. 1845, pp. 225–237. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 4.
    Burns, A., Wellings, A.: Concurrency in Ada, 2nd edn. Cambridge University Press, Cambridge (1998)Google Scholar
  5. 5.
    Cheng, J.: A Classification of Tasking Deadlocks. ACM Ada Letters 10(5), 110–127 (1990)CrossRefGoogle Scholar
  6. 6.
    Cheng, J.: Task-Wait-For Graphs and their Application to Handling Tasking Deadlocks. In: Proc. 3rd ACM Annual TRI-Ada Conference, pp. 376–390 (1990)Google Scholar
  7. 7.
    Cheng, J.: A Survey of Tasking Deadlock Detection Methods. ACM Ada Letters 11(1), 82–91 (1991)CrossRefGoogle Scholar
  8. 8.
    Cheng, J.: The Self-Measurement Principle: A Design Principle for Large-scale, Long-lived, and Highly Reliable Concurrent Systems. In: Proc. 1998 IEEE-SMC Annual International Conference on Systems, Man, and Cybernetics, vol. 4, pp. 4010–4015 (1998)Google Scholar
  9. 9.
    Cheng, J., Kasahara, Y., Ushijima, K.: A Tasking Deadlock Detector for Ada Programs. In: Proc. 15th IEEE-CS Annual International Computer Software & Applications Conference, pp. 56–63 (1991)Google Scholar
  10. 10.
    Cheng, J., Ushijima, K.: Partial Order Transparency as a Tool to Reduce Interference in Monitoring Concurrent Systems. In: Ohno, Y. (ed.) Distributed Environments, pp. 156–171. Springer, Tokyo (1991)Google Scholar
  11. 11.
    Cheng, J., Ushijima, K.: Tasking Deadlocks in Ada 95 Programs and their Detection. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol. 1088, pp. 135–146. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  12. 12.
    Conn, R.: Software Version Description (SVD) and Software User’s Manual (SUM) Source Code Analysis Tool Construction Domain-Specific Kit (SCATC DSK). Public Ada Library (1998)Google Scholar
  13. 13.
    International Organization for Standardization: Information Technology: Programming Language – Ada. ISO/IEC 8652:1995(E) (1995)Google Scholar
  14. 14.
    Nonaka, Y., Cheng, J., Ushijima, K.: A Tasking Deadlock Detector for Ada 95 Programs. Ada User Journal 20(1), 79–92 (1999)Google Scholar
  15. 15.
    Nonaka, Y., Cheng, J., Ushijima, K.: A Supporting Tool for Development of Self-measurement Ada Programs. In: Keller, H.B., Plödereder, E. (eds.) Ada-Europe 2000. LNCS, vol. 1845, pp. 69–81. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  16. 16.
    Self, J.: Aflex - An Ada Lexical Analyzer Generator Version 1.1. UCI-90-18 (1990)Google Scholar
  17. 17.
    Taback, D., Tolani, D., Schmalz, R.J., Chen, Y.: Ayacc User’s Manual Version 1.1. Arcadia Document UCI-94-01 (1994)Google Scholar
  18. 18.
    Tojo, Y., Nara, S., Goto, Y., Cheng, J.: Tasking Deadlocks in Programs with the Full Ada 95. ACM Ada Letters 25(1), 48–56 (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jingde Cheng
    • 1
  1. 1.Department of Information and Computer SciencesSaitama UniversitySaitamaJapan

Personalised recommendations