Blocking time under basic priority inheritance: Polynomial bound and exact computation

06/05/2018
by   Paolo Torroni, et al.
0

The Priority Inheritance Protocol (PIP) is arguably the best-known protocol for resource sharing under real-time constraints. Its importance in modern applications is undisputed. Nevertheless, because jobs may be blocked under PIP for a variety of reasons, determining a job's maximum blocking time could be difficult, and thus far no exact method has been proposed that does it. Existing analysis methods are inefficient, inaccurate, and of limited applicability. This article proposes a new characterization of the problem, thus allowing a polynomial method for bounding the blocking time, and an exact, optimally efficient method for blocking time computation under priority inheritance that have a general applicability.

READ FULL TEXT
research
03/18/2020

On the Analysis of Parallel Real-Time Tasks with Spin Locks

Locking protocol is an essential component in resource management of rea...
research
06/01/2018

A Bestiary of Blocking: The Motivations and Modes behind Website Unavailability

This paper examines different reasons the websites may vary in their ava...
research
07/10/2023

Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous

We consider networks of processes that all execute the same finite-state...
research
10/31/2019

Computation Resource Leasing for Priority Aggregation Local Computing Network

In large scale smart edge networks, computation resource is generally un...
research
03/01/2023

Computing Redundancy in Blocking Systems: Fast Service or No Service

Redundancy in distributed computing systems reduces job completion time....
research
09/20/2019

Multiprocessor Real-Time Locking Protocols: A Systematic Review

We systematically survey the literature on analytically sound multiproce...
research
06/09/2021

A Case Study: Using Genetic Algorithm for Job Scheduling Problem

Nowadays, DevOps pipelines of huge projects are getting more and more co...

Please sign up or login with your details

Forgot password? Click here to reset