From Locks to Correct and Efficient Transactional Memory

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 the efficient softwaretransactional memory easily and correctly.