Programming execution-time servers in Ada 2005
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Real-time synchronization on distributed architecture with Ada-2005
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Execution-time control for interrupt handling
ACM SIGAda Ada Letters
Temporal isolation with the ravenscar profile and Ada 2005
ACM SIGAda Ada Letters
Journal of Systems Architecture: the EUROMICRO Journal
Improving the performance of execution time control by using a hardware time management unit
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Execution time timers for interrupt handling
ACM SIGAda Ada Letters
An extended ravenscar profile for execution time control
ACM SIGAda Ada Letters
Hi-index | 0.00 |
Much of the research on scheduling schemes is prevented from being used in practice by the lack of implementations that provide the necessary abstractions. An example of this is the support of execution-time servers. Apart for a single mechanism (the Sporadic Server), which is defined in the POSIX standard, these important building blocks are not available to the system developer. Over the last few years, we have been developing the mechanisms necessary to construct execution-time servers from within an Ada context. Versions of these have now been incorporated in the Ada 2005 standard. In this paper, we show how the mechanisms can be used to construct the Deferrable and Sporadic servers.