Abstract
Priority is one means of representing scheduling information in a concurrent real-time programming language. Unfortunately a static priority scheme can give rise to inversion when combined with synchronization primitives. In this paper one means of overcoming inversion, namely priority inheritance, is specified together with the semantics of a simple message-based language. The formal notation Z is used for this treatment. Following the specification, investigations are made of the operational behavior of programs that adhere to these semantics.
Original language | English |
---|---|
Pages (from-to) | 19-44 |
Number of pages | 26 |
Journal | Real-Time Systems |
Volume | 3 |
Issue number | 1 |
Publication status | Published - Mar 1991 |
Keywords
- TIME