UPDF AI

From lock to correct and efficient software transactional memory

Cheng Wang,Youfeng Wu

2010 · DOI: 10.1145/1739025.1739037
0 Citations

TLDR

A correct and efficient software transactional memory implementation is developed that satisfies the correctness condition so that locks in the well behaved parallel programs can be converted to use efficient softwaretransactional memory easily and correctly.