By Topic

A framework for simulation of concurrency control policy in real-time systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Chih Lai ; Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA ; Callison, H.R.

Control of concurrency is a critical aspect of both performance and correctness of real-time systems. Use of formal policies and mechanisms for concurrency control, in the style of transaction processing systems, would make it easier to reason about the logical correctness of concurrently executing processes in real-time systems. Adaptation of transaction processing techniques to real-time environments is a goal of our research. In this paper we describe a simulator used to study the interactions among scheduling policy, overload management, and concurrency control policy and the effects on the performance of real-time applications. The structure and capabilities of the simulator are described and its use in the evaluation of some concurrency control options for a real-time application is demonstrated. Through this example, we show how the simulation is customized for different processing models, scheduling options, and concurrency control policies

Published in:

Real-Time Technology and Applications Symposium, 1996. Proceedings., 1996 IEEE

Date of Conference:

10-12 Jun 1996