Stack-based scheduling for realtime processes
Real-Time Systems
The GNU Ada runtime library (GNARL)
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
A POSIX-Ada Interface for Application-Defined Scheduling
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
POSIX-Compatible Application-Defined Scheduling in MaRTE OS
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
Integrating Multimedia Applications in Hard Real-Time Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
A New Kernel Approach for Modular Real-Time Systems Development
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Vassal: loadable scheduler support for multi-policy scheduling
WINSYM'98 Proceedings of the 2nd conference on USENIX Windows NT Symposium - Volume 2
A round robin scheduling policy for Ada
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
AADL modeling and analysis of hierarchical schedulers
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
A framework for flexible scheduling in the RTSJ
ACM Transactions on Embedded Computing Systems (TECS)
Integrating application-defined scheduling with the new dispatching policies for ada tasks
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Ada 2012: resource sharing and multiprocessors
ACM SIGAda Ada Letters
| Hi-index | 0.00 |
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.