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

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 inherite...

Full description

Saved in:
Bibliographic Details
Published in:ACM SIGAda Ada Letters 2016-07, Vol.36 (1), p.39-50
Main Author: Gregertsen, Kristoffer Nyborg
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1094-3641
DOI:10.1145/2971571.2971577