Skip to main content

Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks

  • Conference paper
Reliable Software Technology – Ada-Europe 2005 (Ada-Europe 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3555))

Included in the following conference series:

  • 315 Accesses

Abstract

In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compatible with the scheduling model defined in the real-Time Annex of the language. Each application scheduler was implemented with a special task. This paper presents a new implementation in which the application scheduler actions are executed as part of the kernel on which the run-time system is based, thus increasing the efficiency. This paper also presents modifications to the proposed API that align it with the evolution of the Ada Issues being considered in the Ada 200Y standardization. First, we use the new concept of deadline as an abstract notion of urgency, to order the tasks in the scheduling queue of the underlying kernel, freeing the application scheduler of the responsibility of keeping the desired ordering of tasks, and thus simplifying it and reducing its overhead. In second place, we also consider task synchronization through protected objects using the new Stack Resource Policy proposed for the EDF task dispatching policy in Ada 200Y, which can be used in a large variety of fixed and dynamic priority scheduling policies without explicit intervention of the application scheduler.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Abeni, L., Buttazzo, G.: Integrating Multimedia Applications in Hard Real-Time Systems. In: Proceedings of the IEEE Real-Time Systems Symposium, Madrid, Spain (December 1998)

    Google Scholar 

  2. Aldea, M., González, M.: MaRTE OS: An ada kernel for real-time embedded applications. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol. 2043, p. 305. Springer, Heidelberg (2001)

    Google Scholar 

  3. IEEE Std 1003.1-2003. Information Technology -Portable Operating System Interface (POSIX). Institute of Electrical and electronic Engineers

    Google Scholar 

  4. IEEE Std. 1003.13-2003. Information Technology -Standardized Application Environment Profile- POSIX Realtime and Embedded Application Support (AEP). The Institute of Electrical and Electronics Engineers

    Google Scholar 

  5. Baker, T.P.: Stack-Based Scheduling of Realtime Processes. Journal of Real-Time Systems 3(1), 67–99 (1991)

    Article  Google Scholar 

  6. Burns, A., González Harbour, M., Wellings, A.J.: A round robin scheduling policy for ada. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol. 2655, pp. 334–343. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  7. Burns, A., Wellings, A.J., Tucker Taft, S.: Supporting deadlines and EDF scheduling in ada. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 156–165. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  8. Rivas, M.A., Harbour, M.G.: Application-Defined Scheduling in Ada. In: Proceedings of the International Real-Time Ada Workshop (IRTAW-2003), Viana do Castelo, Portugal (September 2003)

    Google Scholar 

  9. Aldea, M., Miranda, J., González Harbour, M.: Implementing an application-defined scheduling framework for ada tasking. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 283–296. Springer, Heidelberg (2004) ISBN:3-540-22011-9

    Chapter  Google Scholar 

  10. Leroy, P.: An invitation to ada 2005. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol. 2655, pp. 1–23. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Ada Rapporteur Group (ARG). Execution-Time Clocks, Ada Issue AI95-00307-1.13, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00307.TXT

  12. Ada Rapporteur Group (ARG). Group Execution-Time Timers. Ada Issue AI95-00354-1.8, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00354.TXT

  13. Ada Rapporteur Group (ARG). Support for Deadlines and Earliest Deadline First Scheduling. Ada Issue AI95-00357-1.12, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00357.TXT

  14. Ada Rapporteur Group (ARG). Priority Specific Dispatching including Round Robin. Ada Issue AI95-00355-1.9, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00355.TXT

  15. Ada Rapporteur Group (ARG). Timing events. Ada Issue AI95-00297/10, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00297.TXT

  16. Buttazo, G.C.: Rate Monotonic vs. EDF: Judgment Day. Journal of Real-Time Systems 29(1) (January 2005)

    Google Scholar 

  17. Wang, Y.C., Lin, K.J.: Implementing a General Real-Time Scheduling Framework in the Red-Linux Real-Time Kernel. In: Proceedings of IEEE Real-Time Systems Symposium, Phoenix (December 1999)

    Google Scholar 

  18. Ford, B., Susarla, S.: CPU Inheritance Scheduling. In: Proceedings of OSDI (October 1996)

    Google Scholar 

  19. Candea, G.M., Jones, M.B.: Vassal: Loadable Scheduler Support for Multi-Policy Scheduling. In: Proceedings of the Second USENIX Windows NT Symposium, Seattle, Washington (August 1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rivas, M.A., Miranda, J., Harbour, M.G. (2005). Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks. In: Vardanega, T., Wellings, A. (eds) Reliable Software Technology – Ada-Europe 2005. Ada-Europe 2005. Lecture Notes in Computer Science, vol 3555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11499909_18

Download citation

  • DOI: https://doi.org/10.1007/11499909_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26286-2

  • Online ISBN: 978-3-540-31666-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics