Protected ceiling changes

Authors:
Jorge Real;Alfons Crespo;Andy Wellings;Alan Burns
Affiliations:
Technical University of Valencia, Valencia (SPAIN);Technical University of Valencia, Valencia (SPAIN);University of York Heslington, Great Britain;University of York Heslington, Great Britain
Venue:
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Year:
2002

Citing 4
Cited 3

Dynamic ceiling priorities and Ada 95

IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
Tasking and object orientation

IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
A semantics for dynamic ceiling priorities in Ada

IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Offsets for Scheduling Mode Changes

ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems

Dynamic ceiling priorities in GNAT implementation report

IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal

Real-Time Systems
Adding multiprocessor and mode change support to the Ada real-time framework

ACM SIGAda Ada Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

The inclusion of dynamic ceiling priorities in Ada is a topic of discussion in the Real-Time Ada community. Several approaches have been discussed in previous editions of the International Real-Time Ada Workshop, which have allowed to identify the problems associated with this issue, mainly the interaction of such feature with tasking, consistency and efficiency of implementation. In this paper, a new approach for dynamic ceilings is presented. It is based on implementing the ceiling change as a predefined protected operation itself, which allows to eliminate the potential for data corruption that other approaches introduce, without the need for additional locks.The paper also discusses the use of the proposed operation in the context of mode changes.