Abstract
Other Locking_Policies can be used with FIFO_Within_Priorities. However, Ceiling_Locking must work with FIFO_In_Priorities. Moreover, similar rules apply to Round_Robin_Within_Priorities (Al-298) and Non_Preemptive_FIFO_Within_Priorities (Al-355).
Index Terms
Ada issue 333: additional locking policies with FIFO_Within_priorities
Recommendations
Implementing transactions using Ada exceptions: which features are missing?
Exception handling for a 21st century programming language proceedingsTransactional Drago programming language is an Ada extension that provides transaction processing capabilities. Exceptions have been integrated with transactions in Transactional Drago; exceptions are used to notify transaction aborts and any unhandled ...
Ada 95 eliminates race conditions
WPDRTS '95: Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time SystemsThis brief paper raises the issue of whether Ada 95 gives full control of queuing when required. Ada 83 prevented the programmer from having detailed control and inadvertently introduced nasty race conditions. The only solution in Ada 83 was to abandon ...
Revisiting transactions in Ada
Classical lock-based concurrency control does not scale with current and foreseen multi-core architectures, opening space for alternative concurrency control mechanisms. The concept of transactions executing concurrently in isolation with an underlying ...






Comments