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.
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 language | English |
|---|---|
| Pages | 73-86 |
| Number of pages | 14 |
| Publication status | Published - 2017 |
| Event | Reliable Software Tecnologies: Ada Europe - Duration: 1 Jun 2017 → … |
Conference
| Conference | Reliable Software Tecnologies |
|---|---|
| Period | 1/06/17 → … |