RTC: language support for real-time concurrency

Author

Wolfe, Victor ; Davidson, Susan ; Lee, Insup

Author_Institution

Comput. Sci. & Stat., Rhode Island Univ., Kingston, RI, USA

fYear

1991

fDate

4-6 Dec 1991

Firstpage

43

Lastpage

52

Abstract

Language constructs for the expression of timing and concurrency requirements in distributed real-time programs are presented. The approach to concurrent real-time programming is to explicitly express real-time concurrency constraints in a program and allow the run-time system to enforce them. To define these constraints precisely, the authors develop a real-time concurrency model that combines an object-based paradigm for the specification of shared resources, a distributed transaction-based paradigm for the specification of application processes, support for timing constraints, and support for precedence ordering. An implementation of the language constructs with real-time scheduling and locking for concurrency control is also described

Keywords

formal specification; object-oriented programming; parallel languages; parallel programming; real-time systems; transaction processing; application processes; concurrency requirements; concurrent real-time programming; distributed real-time programs; distributed transaction-based paradigm; object-based paradigm; precedence ordering; real-time concurrency constraints; real-time concurrency model; run-time system; shared resources; specification; timing constraints; Arm; Belts; Computer science; Concurrent computing; Containers; Programming profession; Real time systems; Robot control; Runtime; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems Symposium, 1991. Proceedings., Twelfth

Conference_Location

San Antonio, TX

Print_ISBN

0-8186-2450-7

Type

conf

DOI

10.1109/REAL.1991.160357

Filename

160357