Affiliation:
1. Department of Computer Science, University of York, UK
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Reference16 articles.
1. A Flexible Real-Time Locking Protocol for Multiprocessors
2. Optimality Results for Multiprocessor Real-Time Locking
3. Real-time resource-sharing under clustered scheduling
4. Björn B. Brandenburg. Scheduling and Locking in Multiprocessor Real-Time Operating Systems. PhD thesis The University of North Carolina at Chapel Hill 2011. Björn B. Brandenburg. Scheduling and Locking in Multiprocessor Real-Time Operating Systems. PhD thesis The University of North Carolina at Chapel Hill 2011.
5. Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献