With the widespread adoption of multicore architectures, multiprocessors are now a
standard deployment platform for (soft) real-time applications. This dissertation addresses …

Prior work has identified several optimal algorithms for scheduling independent, implicit-
deadline sporadic (or periodic) real-time tasks on identical multiprocessors. These …

Motivated by the widespread use of spin locks in embedded multiprocessor real-time
systems, the worst-case blocking in spin locks is analyzed using mixed-integer linear …

Lock-based resource sharing protocols for single processor systems are well understood
and supported in programming languages and in Real-Time Operating Systems. In contrast …

We systematically survey the literature on analytically sound multiprocessor real-time
locking protocols from 1988 until the end of 2017, covering the following topics: Progress …

Several suspension-based multiprocessor real-time locking protocols for partitioned fixed-
priority (P-FP) scheduling have been proposed in prior work. These protocols differ in key …

All major real-time suspension-based locking protocols (or semaphore protocols) for global
fixed-priority scheduling are reviewed and a new, unified response-time analysis framework …

This paper presents the first suspension-based multiprocessor real-time locking protocols
with asymptotically optimal blocking bounds (under certain analysis assumptions). These …

Background: Nowadays, there is an immense increase in the demand for high power
computation of real-time workloads and the trend towards multi-core and multiprocessor …

This paper presents the first suspension-based real-time locking protocols for clustered
schedulers. Such schedulers pose challenges from a locking perspective because they …