By the same authors

New Schedulability Analysis for MrsP

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)

Published copy (DOI)



Publication details

Title of host publication2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
DateAccepted/In press - 1 Jun 2017
DateE-pub ahead of print - 21 Sep 2017
DatePublished (current) - 2017
Number of pages10
Original languageEnglish
ISBN (Electronic)978-1-5386-1898-1


In this paper we consider a spin-based multiprocessor
locking protocol, named the Multiprocessor resource
sharing Protocol (MrsP). MrsP adopts a helping-mechanism
where the preempted resource holder can migrate. The original
schedulability analysis of MrsP carries considerable pessimism
as it has been developed assuming limited knowledge of the
resource usage for each remote task. In this paper new MrsP
schedulability analysis is developed that takes into account such
knowledge to provide a less pessimistic analysis than that of
the original analysis. Our experiments show that, theoretically,
the new analysis offers better (at least identical) schedulability
than the FIFO non-preemptive protocol, and can outperform
FIFO preemptive spin locks under systems with either intensive
resource contention or long critical sections.

The paper also develops analysis to include the overhead of
MrsP’s helping mechanism. Although MrsP’s helping mechanism
theoretically increases schedulability, our evaluation shows that
this increase may be negated when the overheads of migrations
are taken into account. To mitigate this, we have modified
the MrsP protocol to introduce a short non-preemptive section
following migration. Our experiments demonstrate that with
migration cost, MrsP may not be favourable for short critical
sections but provides a better schedulability than other FIFO
spin-based protocols when long critical sections are applied.

Bibliographical note

© 2017 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations