In general computing systems, a job (process/task) may suspend itself whilst it is waiting for
some activity to complete, eg, an accelerator to return data. In real-time systems, such self …

This paper describes GPUSync, which is a framework for managing graphics processing
units (GPUs) in multi-GPU multicore real-time systems. GPUSync was designed with …

In computing systems, a job/process/task/thread may suspend itself when it has to wait for
some other internal or external activities, such as computation offloading or memory …

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 …

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 …

Motivated by a string of recent errata, the paper argues that mechanized, yet readable
schedulability proofs are desirable, feasible to create with current tools and with reasonable …

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 …

When concurrent real-time tasks have to access shared resources, to prevent race
conditions, the synchronization and resource access must ensure mutual exclusion, eg, by …

Multiprocessor real-time locking protocols that are asymptotically optimal under suspension-
oblivious schedulability analysis (where suspensions are pessimistically modeled as …

For real-time embedded systems, self-suspending behaviors can cause substantial
performance/schedulability degradations. In this paper, we focus on preemptive fixed-priority …