Garrido, Jose, Zhao, Shuai, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (1 more author) (2017) Supporting Nested Resources in MrsP. In: Reliable Software Tecnologies, 01 Jun 2017.
Abstract
The original MrsP proposal presented a new multiprocessor resource sharing protocol based on the properties and behaviour of the Priority Ceiling Protocol, supported by a novel helping mechanism. While this approach proved to be as simple and elegant as the single processor protocol, the implications with regard to nested resources was identified as requiring further clarification. In this work we present a complete approach to nested resources behaviour and analysis for the MrsP protocol.
Metadata
Item Type: | Conference or Workshop Item |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 08 Jun 2018 08:00 |
Last Modified: | 06 Nov 2024 01:08 |
Status: | Published |
Refereed: | Yes |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:131792 |
Download
Filename: Ada_Europe_2017_paper_22.pdf
Description: Ada-Europe_2017_paper_22