On means to provide flexibility in scheduling
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Asynchronous transfer of control and scheduling problems
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Asynchronous transfer of control in Ada
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Programming atomic actions in Ada
ACM SIGAda Ada Letters
Usability of the Ada tasking-model
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
Asynchronous communication in Ada
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
Effective use of abort in programming mode changes
ACM SIGAda Ada Letters
| Hi-index | 0.00 |
The Taft proposal is described in detail. It involves introducing a new "and" clause into the select statement thereby providing a means of programming asynchronous transfer of control without the use of the abort facility. An evaluation of the proposal considers some of its limitations, the major one of which is the possibility of deadlock if a group of tasks use the facility to affect each other. Ways of removing this difficulty are considered. The model is then compared with the alternative of introducing asynchronous exceptions. Finally a unified model is presented that combines the advantages of the Taft proposal and asynchronous exceptions.