skip to main content
research-article

New types of tasking deadlocks in Ada 2012 programs

Published:11 June 2013Publication History
Skip Abstract Section

Abstract

This article presents some new types of tasking deadlocks concerning the new synchronization waiting relations defined in Ada 2012.

References

  1. Barnes, J.: Programming in Ada 2005, Addison-Wesley, 2006.Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Cheng, J.: A Classification of Tasking Deadlocks, ACM Ada Letters, Vol. 10, No. 5, pp. 110--127, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. International Organization for Standardization Information Technology - Programming Language - Ada, ISO/IEC 8652:1995(E), 1995.Google ScholarGoogle Scholar
  7. International Organization for Standardization Information Technology - Programming Language - Ada,Google ScholarGoogle Scholar
  8. International Organization for Standardization Information Technology - Programming Language - Ada, ISO/IEC 8652:2012, 2012.Google ScholarGoogle Scholar
  9. 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 ScholarGoogle Scholar

Index Terms

  1. New types of tasking deadlocks in Ada 2012 programs

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM SIGAda Ada Letters
          ACM SIGAda Ada Letters  Volume 33, Issue 1
          April 2013
          171 pages
          ISSN:1094-3641
          DOI:10.1145/2492312
          Issue’s Table of Contents

          Copyright © 2013 Authors

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 11 June 2013

          Check for updates

          Qualifiers

          • research-article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!