The real-time producer/consumer paradigm
Kevin Jeffay · 1993
A concurrent programming system for constructing hard-real-time afili&tions is '&&ribed.The system is based on a novel semantics of inter-pmeess communication called the real-time producer/consunwr (RTP/C) paradigm.Pmeess interactions are modeled as producer/ consumer systems with a timing constraint on the rate at which the consumer must service the producer.The RTP/C paradigm provides a framework both for meessor-time+iependent amputations and for expressing p reasoning about the reaI-time behavior of programs.A formatmcdel of pmcesor and resourcedkation iausedto determine neeeasary and sufficient conditions for realizing [he RTP/C semantics of a program.'flte design of an interactive graphics system illustrates the use of the system.