Software Investigate

Practical Weak-Atomicity Semantics for Java STM

Download now Free registration required

Executive Summary

As memory transactions have been proposed as a languagelevel replacement for locks, there is growing need for welldefined semantics. In contrast to database transactions, Transaction Memory (TM) semantics are complicated by the fact that programs may access the same memory locations both inside and outside transactions. Strongly atomic semantics, where non-transactional accesses are treated as implicit single-operation transactions, remain difficult to provide without specialized hardware support or significant performance overhead.

  • Format: PDF
  • Size: 396.2 KB