skip to main content
column

Revising the Ada Timers and Group Budgets to Support Execution Time Control for Interrupt Handling

Published:13 July 2016Publication History
Skip Abstract Section

Abstract

This position paper revises the execution time timers and group budgets of the Ada programming language, to provide full support for execution time control for interrupt handling similar to that for tasks. This is done by adding abstract execution time timer and group budget types, that are inherited by the concrete timers and group budgets for tasks and interrupts. The visitor pattern with double dispatching is applied to allow a single implementation of an execution time control policy, such as the deferrable server, to work for both tasks and interrupts.

References

  1. K. N. Gregertsen and A. Skavhaug. A Real-Time Framework for Ada 2005 and the Ravenscar Profile. In 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, pages 515--522. IEEE, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. K. N. Gregertsen and A. Skavhaug. Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture. Journal of Systems Architecture, 56(10):509--522, oct 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. K. N. Gregertsen and A. Skavhaug. Implementation and Usage of the new Ada 2012 Execution Time Control Features. Ada User Journal, 32(4):265--275, 2011.Google ScholarGoogle Scholar
  4. K. N. Gregertsen and A. Skavhaug. Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit. In Reliable Software Technologies -- Ada-Europe 2012, pages 177--192. Springer Berlin Heidelberg, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. K. N. Gregertsen and A. Skavhaug. Execution time timers for interrupt handling. ACM SIGAda Ada Letters, 33(2):87--96, nov 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. T. Vardanega and R. White. Session summary: improvements to Ada. ACM SIGAda Ada Letters, 33(2):126--130, nov 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library

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 36, Issue 1
    June 2016
    98 pages
    ISSN:1094-3641
    DOI:10.1145/2971571
    Issue’s Table of Contents

    Copyright © 2016 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 13 July 2016

    Check for updates

    Qualifiers

    • column
  • Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0

    Other Metrics

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!