RTsynchronizer: Language support for real-time specifications in distributed systems

Shangping Ren, Gul A Agha

Research output: Contribution to conferencePaper

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 producerconsumer may be specified.

Original languageEnglish (US)
Pages50-59
Number of pages10
DOIs
StatePublished - Nov 1 1995
Event1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995 - San Diego, United States
Duration: Jun 21 1995Jun 22 1995

Other

Other1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995
CountryUnited States
CitySan Diego
Period6/21/956/22/95

Fingerprint

Specifications
Computer programming languages
Scheduling

ASJC Scopus subject areas

  • Software

Cite this

Ren, S., & Agha, G. A. (1995). RTsynchronizer: Language support for real-time specifications in distributed systems. 50-59. Paper presented at 1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995, San Diego, United States. https://doi.org/10.1145/216636.216656

RTsynchronizer : Language support for real-time specifications in distributed systems. / Ren, Shangping; Agha, Gul A.

1995. 50-59 Paper presented at 1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995, San Diego, United States.

Research output: Contribution to conferencePaper

Ren, S & Agha, GA 1995, 'RTsynchronizer: Language support for real-time specifications in distributed systems' Paper presented at 1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995, San Diego, United States, 6/21/95 - 6/22/95, pp. 50-59. https://doi.org/10.1145/216636.216656
Ren S, Agha GA. RTsynchronizer: Language support for real-time specifications in distributed systems. 1995. Paper presented at 1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995, San Diego, United States. https://doi.org/10.1145/216636.216656
Ren, Shangping ; Agha, Gul A. / RTsynchronizer : Language support for real-time specifications in distributed systems. Paper presented at 1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995, San Diego, United States.10 p.
@conference{cc16d89488af4507bca58eb672536f1f,
title = "RTsynchronizer: Language support for real-time specifications in distributed systems",
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 producerconsumer may be specified.",
author = "Shangping Ren and Agha, {Gul A}",
year = "1995",
month = "11",
day = "1",
doi = "10.1145/216636.216656",
language = "English (US)",
pages = "50--59",
note = "1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995 ; Conference date: 21-06-1995 Through 22-06-1995",

}

TY - CONF

T1 - RTsynchronizer

T2 - Language support for real-time specifications in distributed systems

AU - Ren, Shangping

AU - Agha, Gul A

PY - 1995/11/1

Y1 - 1995/11/1

N2 - 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 producerconsumer may be specified.

AB - 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 producerconsumer may be specified.

UR - http://www.scopus.com/inward/record.url?scp=84904702397&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84904702397&partnerID=8YFLogxK

U2 - 10.1145/216636.216656

DO - 10.1145/216636.216656

M3 - Paper

AN - SCOPUS:84904702397

SP - 50

EP - 59

ER -