DocumentCode
1267802
Title
Scheduling Conditions for Real-Time Software Transactional Memory
Author
Belwal, Chaitanya ; Cheng, Albert M K
Author_Institution
Dept. of Comput. Sci., Univ. of Houston, Houston, TX, USA
Volume
3
Issue
3
fYear
2011
Firstpage
93
Lastpage
96
Abstract
Software transactional memory (STM) is a transactional mechanism of controlling access to shared resources in memory. Recently, variants of STM with real-time support have been presented. Due to its abort-restart nature, the execution semantics of STM are different from the classical preemptive or nonpreemptive model. In this letter, we formally derive utilization based necessary and sufficient scheduling condition for a STM system using lazy conflict detection.
Keywords
operating systems (computers); resource allocation; scheduling; storage management; transaction processing; abort-restart nature; execution semantics; lazy conflict detection; memory shared resource access control; operating systems; real-time software transactional memory; utilization based scheduling condition; Data structures; Hardware; Processor scheduling; Program processors; Real time systems; Time factors; Operating systems; real-time system; schedulability analysis; transactional memory; utilization bounds;
fLanguage
English
Journal_Title
Embedded Systems Letters, IEEE
Publisher
ieee
ISSN
1943-0663
Type
jour
DOI
10.1109/LES.2011.2161570
Filename
5948325
Link To Document