Real-Time Embedded Systems

15

 

 

Task Interactions and Blocking

 

CONTENTS

15.1 The Priority Inversion Problem

15.2 The Priority Inheritance Protocol

15.3 The Priority Ceiling Protocol

15.4 Schedulability Analysis and Examples

15.5 Summary

The basic process model, first introduced in Chapter 11, was used in Chapters 12 through 14 as an underlying set of hypotheses to prove several interesting properties of real-time scheduling algorithms and, most importantly, all the schedulability analysis results we discussed so far. Unfortunately, as it has already been remarked at the end of Chapter 14, some aspects of the basic process model are not fully realistic, and make those results hard to apply to real-world problems.

The hypothesis that tasks are completely independent ...