Association for Computing Machinery
Embedded systems sense physical processes and control their behavior, typically through feedback loops. Since physical processes are concurrent, computations that control them must also be concurrent, enabling them to process multiple streams of sensor input and control multiple actuators, all concurrently. The authors consider Software Transactional Memory (STM) for con-currency control in multicore embedded real-time software. They investigate real-time Contention Managers (CMs) for re-solving transactional conflicts, including those based on dynamic and fixed priorities, and establish upper bounds on transactional retries and task response times. They identify the conditions under which STM (with the proposed CMs) is superior to lock-free synchronization.