Zhao, Shuai and Wellings, Andrew John orcid.org/0000-0002-3338-0623 (2017) Investigating the Correctness and Efficiency of MrsP in Fully Partitioned Systems. In: 10th York Doctoral Symposium on Computer Science and Electronic Engineering, 17 Nov 2017.
Abstract
MrsP is a FIFO spin-based protocol that adopts a helping mechanism, where a resource holder can migrate to a remote processor to keep executing if it is preempted. In practice, allowing resource-holding tasks to migrate can raise implementation issues and run-time corner cases. In this paper, we present an investigation of the correctness and efficiency of implementing MrsP in fully partitioned systems. We identify potential race conditions and corner cases of the protocol due to the use of migrations. Then, new facilities are proposed to pre- vent the issues and to provide more efficient resource-accessing behaviours. Finally, evaluations are performed to demonstrate the impact of the run-time issues and to testify the effect of proposed facilities.
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: | 28 Mar 2019 14:40 |
Last Modified: | 30 Dec 2024 00:23 |
Status: | Published |
Refereed: | Yes |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:144228 |