Scheduling and Analysis of Real-Time Tasks with Parallel Critical Sections
TimeThursday, July 14th4:10pm - 4:30pm PDT
Location3004, Level 3
Time-Critical System Design
DescriptionLocks are widely used to coordinate simultaneous access to shared resources. While locking protocols have been extensively studied for sequential tasks, work for parallel tasks largely lags behind. In the limited existing work on this topic, a common assumption is that a critical section must execute sequentially. However, this is not necessarily the case in realistic parallel programs. In this paper, we study the analysis of parallel real-time tasks with critical sections in parallel structures. We show that applying existing analysis techniques directly could be unsafe or pessimistic for the considered model, and develop new techniques to address these problems.