New language features and other language issues (session summary)
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
Hi-index | 0.00 |
Ada 95 provides dynamic priorities for tasks but ceiling priorities for protected objects are statically assigned by means of a pragma. The semantic complexity as well as the potential inefficiency of any resulting implementation seem to have been the main objections to including dynamic ceilings in Ada 95. Nevertheless, in frequent scenarios such as multi-moded real-time systems, it is desirable for ceiling priorities to be dynamic, to accommodate the different priority assignments given to tasks in the different modes. This problem is usually worked around by applying the so-called ceiling of ceilings as a static ceiling for all modes, which may result in lower schedulability as extra blocking potentially occurs. In this paper we investigate on how to use a hypothetical Set_Ceiling dynamic operation, without incurring the risk of semantic ambiguities, and how a multi-moded system can benefit from its existence.