Reducing the Implementation Overheads of IPCP and DFP
- Submitting institution
-
University of York
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 54880157
- Type
- E - Conference contribution
- DOI
-
10.1109/RTSS.2015.35
- Title of conference / published proceedings
- Proceedings - Real-Time Systems Symposium
- First page
- 295
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- January
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 1
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper, which appears in the top conference in the Real-Time domain, proposes an implementation protocol for delivering efficient mutual exclusion for two common resource control protocols. Specifically with this protocol no kernel calls are needed when there are no threads contenting for the resource. The protocol is verified using Model Checking. A prototype implementation is evaluated. Rockwell Collins is evaluating its use in their real-time operating system. The contact in Rockwell Collins is a Senior Software Engineer.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -