Communicating Shared Resources: A Model for Distributed Real-Tim Systems (MS-CIS-89-26)
Richard A. Gerber, Insup Lee · 1989
The timing behavior of a real-time system depends not only on delays due to process synchronization, but also on resource requirements and scheduling.However, most real-time models have abstracted out resource-specific details, and thls assume operating environments such as maximum parallelism or pure interleaving.This paper presents a real-time formalism called Commdnicating Shared Resouices (CSR).CSR consists of a programming language that allows the explicit expression of timing constraints and resources, and a computation model that resolves resource contention based on event priority.We provide a full denotational semantics for the programming language, grounded in our resource-based computation model.To illustrate CSR, we present a distributed robot system consisting of a robot arm and a sensor.