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
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;
Journal_Title :
Embedded Systems Letters, IEEE
DOI :
10.1109/LES.2011.2161570
