Improving Ada tasking performance
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Real-Time Scheduling Theory and Ada
Computer
Asynchronous communication in Ada
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
Prioritized asynchronism in Ada 9X
IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
Predictable real-time avionics design using Ada tasks and Rendezvous study
IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
In support of the Ada 9X real-time facilities
ACM SIGAda Ada Letters
Automatic compiler recognition of monitor tasks
ACM SIGAda Ada Letters
Transforming Ada serving tasks into protected objects
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Hi-index | 0.00 |
Ada 83 has often been criticized for its lack of a lightweight data synchronization primitive. Compiler vendors have responded to this criticism by implementing the Haberman-Nassi algorithm with a construct called a passive task. The Ada 9X Project has proposed a change to the Ada language adding a protected record construct to support lightweight synchronization. In this paper, we illustrate the changes in coding required to convert an application originally designed to exploit passive tasking to use the protected record construct instead. The resulting software engineering effects of using passive tasks and protected recordsre then compared for this sample task set. We conclude by discussing some protected recorded semantics that may require further clarification and/or modification, and some of the trade-offs that result.