Skip to Main Content
We consider software transactional memory (STM) concurrency control in multicore embedded real-time software. We design an Earliest-Deadline-First (EDF) contention manager (CM) to augment STM's obstruction-free progress semantics. We establish the conditions under which STM/EDF-CM is competitive to lock-based and lock-free synchronization. Our experimental results reveal that STM/EDF-CM outperforms highly concurrent, fine-grain lock-based complex data structures, for which lock-free is often not viable.