Synchronization in Real-Time Systems: A Priority Inheritance Approach
Synchronization in Real-Time Systems: A Priority Inheritance Approach
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
A novel approach to multiprogrammed multiprocessor synchronization for real-time kernel
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-Chip
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
A Flexible Real-Time Locking Protocol for Multiprocessors
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
The Multiprocessor Bandwidth Inheritance Protocol
ECRTS '10 Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems
Optimality Results for Multiprocessor Real-Time Locking
RTSS '10 Proceedings of the 2010 31st IEEE Real-Time Systems Symposium
A survey of hard real-time scheduling for multiprocessor systems
ACM Computing Surveys (CSUR)
Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Dispatching domains for multiprocessor platforms and their representation in ada
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
| Hi-index | 0.00 |
Lock-based resource sharing protocols for single processor systems are well understood and supported in programming languages such as Ada. In contrast, multiprocessor resource sharing protocols are less well developed with no agreed best practice. In this paper we consider what the next version of Ada should support. Two proposals are considered, one requiring a minor change to the current language, another requiring a more substantial change.