Scheduling Conditions for Real-Time Software Transactional Memory
Chaitanya Belwal, Albert M. K. Cheng · IEEE Embedded Systems Letters · 2011
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.