A Flexible Multiprocessor Resource Sharing Framework for Ada
作者： Shiyao Lin
DOI:
关键词:
摘要: Lock-based resource sharing protocols for single processor systems are well understood and supported in programming languages such as Ada the Real-Time Specification Java, Operating Systems, those that conform to POSIX standard. In contrast, multiprocessor still their infancy with no agreed best practices, yet current real-time operating claim be suitable supporting applications. This thesis argues that, instead of a protocol, framework should provided allows application-defined implemented. The flexible adaptive so wide range different design characteristics can integrated implemented effectively minimum runtime overheads. reviews currently available allocation policies analyzes applicability main industry standard languages. It then proposes programmers define implement own locking policy monitor based concurrent control mechanisms. Instantiation is illustrated Java POSIX. A prototype implementation full developed evaluated.
bl.uk
york.ac.uk 参考文章(60)
Patrick Rogers, Andy J. Wellings, OpenAda: Compile-Time Reflection for Ada 95 international conference on reliable software technologies. pp. 166- 177 ,(2004) , 10.1007/978-3-540-24841-5_13
Ulrich Drepper, Ingo Molnar, The Native POSIX Thread Library for Linux ,(2002)
Ankita Garg, Real-time Linux kernel scheduler Linux Journal. ,vol. 2009, pp. 2- ,(2009)
John D. Couch, David A. Gustafson, Rodney M. Bates, William A. Barrett, Compiler construction: theory and practice (2nd ed.) SRA School Group. ,(1986)
Michael J. Quinn, Parallel computing (2nd ed.): theory and practice parallel computing. pp. 446- 446 ,(1994)
Ieee Standards Board, Shell and utilities Institute of Electrical and Electronics Engineers. ,(1993)
Alan Burns, Andy Wellings, Dispatching domains for multiprocessor platforms and their representation in ada international conference on reliable software technologies. pp. 41- 53 ,(2010) , 10.1007/978-3-642-13550-7_3
Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente, Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels international conference on reliable software technologies. pp. 317- 327 ,(2001) , 10.1007/3-540-45136-6_25
Yingfeng Oh, Sang H. Son, Fixed-Priority Scheduling of Periodic Tasks on Multiprocessor Systems University of Virginia. ,(1995)
Rafael Lotufo, Steven She, Thorsten Berger, Krzysztof Czarnecki, Andrzej Wąsowski, Evolution of the Linux Kernel Variability Model Software Product Lines: Going Beyond. pp. 136- 150 ,(2010) , 10.1007/978-3-642-15579-6_10