Article

Application-defined scheduling in Ada

Authors:

Mario Aldea Rivas,

Michael González HarbourAuthors Info & Claims

IRTAW '03: Proceedings of the 12th international workshop on Real-time Ada

Pages 42 - 51

https://doi.org/10.1145/959222.959231

Published: 15 September 2003 Publication History

Abstract

This paper is a proposal for an application program interface (API) that would enable Ada applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. With this API, several application-defined schedulers, implemented by extending a tagged type, can coexist in the system in a predictable way together with their scheduled tasks, and with regular fixed priority tasks directly scheduled by the run-time system. Task synchronization through protected objects is also considered by adding the Stack Resource Policy, which can be used in a large variety of fixed and dynamic priority scheduling policies.

References

[1]

L. Abeni and G. Buttazzo. "Integrating Multimedia Applications in Hard Real-Time Systems". Proceedings of the IEEE Real-Time Systems Symposium, Madrid, Spain, December 1998]]

Digital Library

[2]

M. Aldea and M. González. "MaRTE OS: An Ada Kernel for Real-Time Embedded Applications". Proceedings of the International Conference on Reliable Software Technologies, Ada-Europe-2001, Leuven, Belgium, Lecture Notes in Computer Science, LNCS 2043, May, 2001.]]

Digital Library

[3]

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

Digital Library

[4]

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

Digital Library

[5]

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

[6]

IEEE Std 1003.5b-1996, Information Technology---POSIX Ada Language Interfaces---Part 1: Binding for System Application Program Interface (API)---Amendment 1: Realtime Extension. The Institute of Electrical and Engineering Electronics.]]

[7]

B. Ford and S. Susarla, "CPU Inheritance Scheduling". Proceedings of OSDI, October 1996.]]

Digital Library

[8]

P. Gai, L. Abeni, M. Giorgi, G. Buttazzo, "A New Kernel Approach for Modular Real-Time Systems Development", IEEE Proceedings of the 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001.]]

Digital Library

[9]

E. W. Giering and T. P. Baker (1994). The GNU Ada Runtime Library (GNARL): Design and Implementation. Wadas '94 Proceedings.]]

Digital Library

[10]

OMG. Real-Time CORBA 2.0: Dynamic Scheduling, Joint Final Submission. OMG Document orbos/2001-06-09, June 2001.]]

[11]

Y. C. Wang and K. J. Lin, "Implementing a general real-time scheduling framework in the red-linux real-time kernel". Proceedings of IEEE Real-Time Systems Symposium, Phoenix, December 1999.]]

Digital Library

[12]

V. Yodaiken, "An RT-Linux Manifesto". Proceedings of the 5th Linux Expo, Raleigh, North Carolina, USA, May 1999.]]

[13]

Baker T. P., "Stack-Based Scheduling of Realtime Processes", Journal of Real-Time Systems, Volume 3, Issue 1 (March 1991), pp. 67--99.]]

Digital Library

[14]

Paolo Gai and Giorgio Buttazzo, "Mutual Exclusion in Operating Systems with Application-Defined Scheduling", Workshop on Advanced Real-Time Operating System Service, Porto, Portugal, July 2003.]]

[15]

Mario Aldea Rivas and Michael González Harbour. "A POSIX-Ada Interface for Application-Defined Scheduling". International Conference on Reliable Software Technologies, Ada-Europe 2002, Vienna, Austria, in Lecture Notes in Computer Science No. 2361, pp. 136--150, June 2002.]]

Digital Library

[16]

Mario Aldea Rivas and Michael González Harbour. "POSIX-Compatible Application-Defined Scheduling in MaRTE OS" Proceedings of 14th Euromicro Conference on Real-Time Systems, Vienna, Austria, IEEE Computer Society Press, pp. 67--75, June 2002]]

Digital Library

[17]

A. Burns, M. González Harbour and A. J. Wellings. "A Round Robin Scheduling Policy for Ada". Proceedings of the International Conference on Reliable Software Technologies, Ada-Europe-2003, Tolouse, France, in Lecture Notes in Computer Science, LNCS 2655, June, 2003, ISBN 3-540-40376-0.]]

Cited By

Lin SWellings ABurns A(2013)Ada 2012ACM SIGAda Ada Letters10.1145/2492312.249231733:1(32-44)Online publication date: 11-Jun-2013
https://dl.acm.org/doi/10.1145/2492312.2492317
Zerzelidis AWellings A(2010)A framework for flexible scheduling in the RTSJACM Transactions on Embedded Computing Systems10.1145/1814539.181454210:1(1-44)Online publication date: 27-Aug-2010
https://dl.acm.org/doi/10.1145/1814539.1814542
Singhoff FPlantec A(2007)AADL modeling and analysis of hierarchical schedulersACM SIGAda Ada Letters10.1145/1315607.1315593XXVII:3(41-50)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.1145/1315607.1315593
Show More Cited By

Application-defined scheduling in Ada

Recommendations

Application-defined scheduling in Ada

This paper is a proposal for an application program interface (API) that would enable Ada applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. With this API, ...
Application-defined scheduling in Ada
IRTAW '02: Proceedings of the 11th international workshop on Real-time Ada workshop

This paper presents an application program interface (API) that enables Ada applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined ...
Application-defined scheduling in Ada

This paper presents an application program interface (API) that enables Ada applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

IRTAW '03: Proceedings of the 12th international workshop on Real-time Ada

September 2003

98 pages

ISBN:9781450374460

DOI:10.1145/959222

Program Chair:
Tullio Vardanega
University of Padua, Padua, Italy

ACM SIGAda Ada Letters Volume XXIII, Issue 4
December 2003
86 pages
ISSN:1094-3641
DOI:10.1145/959221
Issue’s Table of Contents

Copyright © 2003 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

AdaEurope
SIGAda: ACM Special Interest Group on Ada Programming Language
Instituto Politécinico do Porto
ISEP

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 September 2003

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
284
Total Downloads

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

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Lin SWellings ABurns A(2013)Ada 2012ACM SIGAda Ada Letters10.1145/2492312.249231733:1(32-44)Online publication date: 11-Jun-2013
https://dl.acm.org/doi/10.1145/2492312.2492317
Zerzelidis AWellings A(2010)A framework for flexible scheduling in the RTSJACM Transactions on Embedded Computing Systems10.1145/1814539.181454210:1(1-44)Online publication date: 27-Aug-2010
https://dl.acm.org/doi/10.1145/1814539.1814542
Singhoff FPlantec A(2007)AADL modeling and analysis of hierarchical schedulersACM SIGAda Ada Letters10.1145/1315607.1315593XXVII:3(41-50)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.1145/1315607.1315593
Singhoff FPlantec ASrivastava ABaird L(2007)AADL modeling and analysis of hierarchical schedulersProceedings of the 2007 ACM international conference on SIGAda annual international conference10.1145/1315580.1315593(41-50)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.1145/1315580.1315593
Rivas MMiranda JHarbour M(2005)Integrating application-defined scheduling with the new dispatching policies for ada tasksProceedings of the 10th Ada-Europe international conference on Reliable Software Technologies10.1007/11499909_18(220-235)Online publication date: 20-Jun-2005
https://dl.acm.org/doi/10.1007/11499909_18
Aldea MMiranda JHarbour M(2004)Implementing an Application-Defined Scheduling Framework for Ada TaskingReliable Software Technologies - Ada-Europe 200410.1007/978-3-540-24841-5_23(283-296)Online publication date: 2004
https://doi.org/10.1007/978-3-540-24841-5_23
Lin SWellings ABurns A(2012)Supporting lock‐based multiprocessor resource sharing protocols in real‐time programming languagesConcurrency and Computation: Practice and Experience10.1002/cpe.288225:16(2227-2251)Online publication date: 20-Jun-2012
https://doi.org/10.1002/cpe.2882

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents