Loading...
Please wait, while we are loading the content...
Similar Documents
The FMLP+: An Asymptotically Optimal Real-Time Locking Protocol for Suspension-Aware Analysis
| Content Provider | CiteSeerX |
|---|---|
| Author | Brandenburg, Björn B. |
| Abstract | Abstract—Multiprocessor real-time locking protocols that are asymptotically optimal under suspension-oblivious schedulability analysis (where suspensions are pessimistically modeled as pro-cessor demand) are known for partitioned, global, and clustered job-level fixed priority (JLFP) scheduling. However, for the case of more accurate suspension-aware schedulability analysis (where suspensions are accounted for explicitly), asymptotically optimal protocols are known only for partitioned JLFP scheduling. In this paper, the gap is closed with the introduction of the first semaphore protocol for suspension-aware analysis that is asymptotically opti-mal under global and clustered JLFP scheduling. To this end, a new progress mechanism that avoids repeated priority inversions is developed and analyzed, based on the key observation that if lock-holding, low-priority jobs are priority-boosted, then certain other non-lock-holding, higher-priority jobs must be co-boosted. I. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Suspension-aware Analysis Asymptotically Optimal Real-time Locking Protocol Abstract Multiprocessor Real-time Locking Protocol Priority Inversion Optimal Protocol Job-level Fixed Priority Suspension-oblivious Schedulability Analysis Low-priority Job New Progress Mechanism First Semaphore Protocol Higher-priority Job Pro-cessor Demand Clustered Jlfp Scheduling Key Observation Accurate Suspension-aware Schedulability Analysis |
| Content Type | Text |
