Sp. Ren et Ga. Agha, RTSYNCHRONIZER - LANGUAGE SUPPORT FOR REAL-TIME SPECIFICATIONS IN DISTRIBUTED SYSTEMS, ACM SIGPLAN NOTICES, 30(11), 1995, pp. 50-59
We argue that the specification of an object's functional behavior and
the timing constraints imposed on it may be separated. Specifically,
we describe RTsynchronizer, a high-level programming language construc
t for specifying real-time constraints between objects in a distribute
d concurrent system. During program execution, RTsynchronizers affect
the scheduling of distributed objects to enforce real-time relations b
etween events. Objects in our system are defined in terms of the actor
model extended with timing assumptions. Separation of the functional
behaviors of actors and the timing constraints on patterns of actor in
vocation provides at least three important advantages. First, it simpl
ifies code development by separating design concerns. Second, multiple
timing constraints can be independently specified and composed. And f
inally, a specification of timing constraints can be reused even if th
e representation of the functional behavior of actors has changed, and
conversely. A number of examples are given to illustrate the use of R
Tsynchronizers. These examples illustrate how real-time constraints fo
r periodic events, simultaneous events, exception handling, and produc
er-consumer may be specified.