Why it matters

TM promised easier concurrent code. Adoption limited by overhead and hardware issues.

Advertisement

The architecture

Mark region atomic.

Runtime detects conflicts.

Commit or retry.

Transactional memoryMark atomicregionDetect conflictruntimeCommit or retryon abortIntel TSX (deprecated); STM in Haskell, Clojure; niche adoption
Transactional memory.
Advertisement

How it works end to end

Intel TSX (deprecated).

Haskell STM.

Clojure refs.