Response time analysis of software transactional memory-based distributed real-time systems

Authors:
Sherif F. Fahmy;Binoy Ravindran;E. D. Jensen
Affiliations:
Virginia Tech, Blacksburg, VA;Virginia Tech, Blacksburg, VA;The MITRE Corporation, Bedford, MA
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 12
Cited 5

A practitioner's handbook for real-time analysis

A practitioner's handbook for real-time analysis
Holistic schedulability analysis for distributed hard real-time systems

Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Real-time computing with lock-free shared objects

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
A framework for implementing objects and scheduling tasks in lock-free real-time systems

RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Schedulability Analysis for Tasks with Static and Dynamic Offsets

RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities

RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Improved Schedulability Analysis of Real-Time Transactions with Earliest Deadline Scheduling

RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
Preemptible Atomic Regions for Real-Time Java

RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Exploiting distributed version concurrency in a transactional memory cluster

Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
The Problem with Threads

Computer
Supporting lock-free synchronization in Pfair-scheduled real-time systems

Journal of Parallel and Distributed Computing
Software transactional memory for large scale clusters

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming

Determining actual response time in P-FRP

PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
STM concurrency control for embedded real-time software with tighter time bounds

Proceedings of the 49th Annual Design Automation Conference
Response time bounds for event handlers in the priority based functional reactive programming (P-FRP) paradigm

Proceedings of the 2012 ACM Research in Applied Computation Symposium
Feasibility interval for the transactional event handlers of P-FRP

Journal of Computer and System Sciences
Towards optimal priority assignments for the transactional event handlers of P-FRP

Proceedings of the 2013 Research in Adaptive and Convergent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a method we propose an algorithm to compute an upper bound on the response time. We compare the result of the proposed algorithm to a simulation of the system being studied in order to determine its efficacy. The results of our study indicate that it is possible to provide timeliness assurances for systems programmed using STM.