Affiliation:
1. University of Houston, Houston, TX
Abstract
Ada 2005 is an even safer and more agile language than its predecessors, with all of the efficiency that is a hallmark of the Ada language design. It still has a strong focus on real-time response, multi-tasking, and sound engineering. It is the only international standard for object-oriented real-time distributed programming. High-integrity systems rarely make use of high-level language features such as Ada Protected Objects. Protected Types provide a passive mechanism for communication and synchronization between tasks. In this paper, we present some of these features, which are implemented using the Priority Ceiling Protocol (PCP). PCP is an extension of the Priority Inheritance Protocol (PIP), with the added features of preventing deadlocks and priority inversions. Priority inversion occurs when a high priority task is blocked for an unbounded time by lower priority tasks. Unfortunately though, PCP is not known to be supported by any operating systems. This article describes an implementation of PCP in Ada-2005. A detailed discussion of this protocol, and other related issues, are presented.
Publisher
Association for Computing Machinery (ACM)
Reference13 articles.
1. Aburas Jim. "Optimal Mutex Policy in Ada 95" Dec. 1995 ACM Press vol. XV issue 6 pp. 46--56. 10.1145/216578.216581 Aburas Jim. "Optimal Mutex Policy in Ada 95" Dec. 1995 ACM Press vol. XV issue 6 pp. 46--56. 10.1145/216578.216581
2. ACM Ada Letters Proceedings of the 8* International Real-Time Ada Workshop: Tasking Profiles (September 1997). ACM Ada Letters Proceedings of the 8* International Real-Time Ada Workshop: Tasking Profiles (September 1997).
3. Burns A. and Wellings A. J. Concurrency in Ada Cambridge University Press (1995) Burns A. and Wellings A. J. Concurrency in Ada Cambridge University Press (1995)
4. Buttazzo G. C. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer. Buttazzo G. C. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献