Supporting Nested Resources in MrsP

Research output: Contribution to conferencePaperpeer-review


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.
Original languageEnglish
Number of pages14
Publication statusPublished - 2017
EventReliable Software Tecnologies: Ada Europe -
Duration: 1 Jun 2017 → …


ConferenceReliable Software Tecnologies
Period1/06/17 → …

Cite this