A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks
Event Type
Research Manuscript
Virtual Programs
Hosted in Virtual Platform
Time-Critical System Design
Embedded Systems
DescriptionReal-time synchronization is one of the essential theories in real-time systems, and the recent booming of parallel real-time tasks has brought new challenges to the synchronization analysis. As the easy implementation and negligible overheads, spin-locks have received much interest since the study for sequential tasks. However, existing spin-based analyses for parallel tasks suffer an over-representation problem, and the substantially more accurate inflation-free analysis has not been fathomed. To avoid such pessimism, we propose an inflation-free analysis based on a finer-grained shared resource model. Empirical evaluations show that the proposed analysis dominated other state-of-the-art analysis.