skip to main content
article

Correcting the EDF protocol in Ada 2005

Published:17 April 2007Publication History
Skip Abstract Section

Abstract

Earliest Deadline First (EDF) dispatching has been introduced into the Ada 2005 definition. Included in this definition is support for Baker's protocol for preemption level control over access to protected objects. Unfortunately the current model fails to implement all the situations covered by Baker's approach. A counter example is provided that illustrates this deficiency with the language as currently defined. A minor change to the language definition is proposed that removes the flaw.

References

  1. T. P. Baker. Stack-based scheduling of realtime processes. Real-Time Systems, 3(1), March 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Correcting the EDF protocol in Ada 2005

            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 XXVII, Issue 2
              Papers of the 13th International Real-Time Ada Workshop (IRTAW-13)
              August 2007
              83 pages
              ISSN:1094-3641
              DOI:10.1145/1316002
              Issue’s Table of Contents
              • cover image ACM Other conferences
                IRTAW '07: Proceedings of the 13th international workshop on Real-time Ada
                April 2007
                116 pages
                ISBN:9781450378406
                DOI:10.1145/1316003

              Copyright © 2007 ACM

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 17 April 2007

              Check for updates

              Qualifiers

              • 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!