White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

A Flexible Multiprocessor Resource Sharing Framework for Ada

Lin, Shiyao (2013) A Flexible Multiprocessor Resource Sharing Framework for Ada. PhD thesis, University of York.

Available under License Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 UK: England & Wales.

Download (2342Kb) | Preview


Lock-based resource sharing protocols for single processor systems are well understood and supported in programming languages such as Ada and the Real-Time Specification for Java, and in Real-Time Operating Systems, and those that conform to the Real-Time POSIX standard. In contrast, multiprocessor resource sharing protocols are still in their infancy with no agreed best practices, and yet current real-time programming languages and operating systems claim to be suitable for supporting multiprocessor applications. This thesis argues that, instead of supporting a single resource sharing protocol, a resource sharing framework should be provided that allows application-defined resource sharing protocols to be implemented. The framework should be flexible and adaptive so that a wide range of protocols with different design characteristics can be integrated and implemented effectively with minimum runtime overheads. The thesis reviews the currently available multiprocessor resource allocation policies and analyzes their applicability to the main industry standard real-time programming languages. It then proposes a framework that allows programmers to define and implement their own locking policy for monitor based concurrent control mechanisms. Instantiation of the framework is illustrated for the Real-Time Specification for Java and POSIX. A prototype implementation of the full framework for Ada is developed and evaluated.

Item Type: Thesis (PhD)
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID: uk.bl.ethos.605210
Depositing User: Mr Shiyao Lin
Date Deposited: 07 May 2014 14:39
Last Modified: 08 Sep 2016 13:30
URI: http://etheses.whiterose.ac.uk/id/eprint/5668

You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.

Actions (repository staff only: login required)