Technical Reports (CIS)

Document Type

Technical Report

Subject Area

GRASP

Date of this Version

January 1991

Comments

University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-91-35.

A shorter version of this paper can also be found at: http://repository.upenn.edu/cis_papers/350.

Abstract

This paper presents language constructs for the expression of timing and concurrency requirements in distributed real-time programs. Our programming paradigm combines an object-based paradigm for the specification of shared resources, and a distributed transaction-based paradigm for the specification of application processes. Resources provide abstract views of shared system entities, such as devices and data structures. Each resource has a state and defines a set of actions that can be invoked by processes to examine or change its state. A resource also specifies scheduling constraints on the execution of its actions to ensure the maintenance of its state's consistency. Processes access resources by invoking actions and express precedence, consistency. Processes access resources by invoking actions and express precedence, consistency and timing constraints on action invocations. The implementation of our language constructs with real-time scheduling and locking for concurrency control is also described.

Share

COinS
 

Date Posted: 07 August 2007