Software Transactional Memory as a Building Block for Parallel Embedded Real-Time Systems

Multi-core Devices for Safety-critical Systems

“…• [110] introduces an STM algorithm that prevents starvation by means of update transactions conflicts management.…”

Revisiting transactions in Ada

“…Recently, we have proposed new approaches to manage contention between conflicting transactions, using on-line information, with the purpose of reducing the overall number of retries, increasing responsiveness and reducing wasted processor utilization, while assuring deadlines are met [12]. With our proposed policy, conflicting transactions will commit according to the chronological order of arrival, except if an older contender is currently pre-empted.…”

“…For example, some STM algorithms require to know the instant the transaction started, the current status of the transaction [12], or the instant the current execution of the transaction began [20,21,22].…”

“…The latter is, in fact, a challenge that has to be addressed if STM is to be applied to real-time systems, because it is not admissible that one transaction can be unboundedly aborted and forced to repeat. Some work on the field of STM on multiprocessor real-time systems was already published [9,10,11,12].…”