PRIORITY INHERITANCE AND MESSAGE PASSING COMMUNICATION - A FORMAL TREATMENT

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Pages (from-to)19-44
Number of pages26
JournalReal-Time Systems
Volume3
Issue number1
Publication statusPublished - Mar 1991

Keywords

  • TIME

Cite this