Open Systems Laboratory at Illinois

Rtsynchronizer: language support for real-time specifications in distributed systems

By Shangping Ren and Gul Agha. In Workshop on Languages, Compilers, & Tools for Real-Time Systems, 50–59. ACM, 1995.

Full Text:
Download PDF
Publisher Link:
http://doi.acm.org/10.1145/216636.216656

Abstract

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 construct for specifying real-time constraints between objects in a distributed concurrent system. During program execution, RTsynchronizers affect the scheduling of distributed objects to enforce real-time relations between 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 invocation provides at least three important advantages. First, it simplifies code development by separating design concerns. Second, multiple timing constraints can be independently specified and composed. And finally, a specification of timing constraints can be reused even if the representation of the functional behavior of actors has changed, and conversely.A number of examples are given to illustrate the use of RTsynchronizers. These examples illustrate how real-time constraints for periodic events, simultaneous events, exception handling, and producer-consumer may be specified.

BibTeX

@inproceedings{conf/lctrts/RenA95,
    author = "Ren, Shangping and Agha, Gul",
    editor = "Gerber, Richard and Marlowe, Thomas J.",
    title = "RTsynchronizer: Language Support for Real-Time
             Specifications in Distributed Systems",
    booktitle = "Workshop on Languages, Compilers, & Tools for
                 Real-Time Systems",
    crossref = "conf/lctrts/1995",
    ee = "http://doi.acm.org/10.1145/216636.216656",
    keywords = "sensor networks, real-time systems",
    pages = "50-59",
    year = "1995",
}

@proceedings{conf/lctrts/1995,
    editor = "Gerber, Richard and Marlowe, Thomas J.",
    title = "Proceedings of the ACM SIGPLAN 1995 Workshop on
             Languages, Compilers, & Tools for Real-Time Systems (LCT-RTS
             1995). La Jolla, California, June 21-22, 1995",
    ee = "http://dl.acm.org/citation.cfm?id=216636",
    publisher = "ACM",
    year = "1995",
}