Multiprocessor Real-Time Locking Protocols: A Systematic Review

09/20/2019
by   Björn B. Brandenburg, et al.
0

We systematically survey the literature on analytically sound multiprocessor real-time locking protocols from 1988 until 2018, covering the following topics: progress mechanisms that prevent the lock-holder preemption problem, spin-lock protocols, binary semaphore protocols, independence-preserving (or fully preemptive) locking protocols, reader-writer and k-exclusion synchronization, support for nested critical sections, and implementation and system-integration aspects. A special focus is placed on the suspension-oblivious and suspension-aware analysis approaches for semaphore protocols, their respective notions of priority inversion, optimality criteria, lower bounds on maximum priority-inversion blocking, and matching asymptotically optimal locking protocols.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/13/2021

Supporting Multiprocessor Resource Synchronization Protocols in RTEMS

When considering recurrent tasks in real-time systems, concurrent access...
research
08/30/2021

Population Protocols: Beyond Runtime Analysis

I survey our recent work on the verification of population protocols and...
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
04/07/2023

Responsive Parallelism with Synchronization

Many concurrent programs assign priorities to threads to improve respons...
research
05/09/2018

Skeap & Leap: Scalable Distributed Priority Queues for constant and arbitrary Priorities

We propose two protocols for distributed priority queues (denoted by 'he...
research
06/05/2018

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

The Priority Inheritance Protocol (PIP) is arguably the best-known proto...
research
03/30/2023

Enabling Cost-Benefit Analysis of Data Sync Protocols

The problem of data synchronization arises in networked applications tha...

Please sign up or login with your details

Forgot password? Click here to reset