#46 Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics

[Minjia Zhang]

LarkTM is a software transactional memory system that uses eager concurrency control for versioning, conflict detection, and conflict resolution. LarkTM adds low instrumentation overhead, and provides strong atomicity and strong progress guarantees.

Please refer to the following paper for more details:
Minjia Zhang, Jipeng Huang, Man Cao, and Michael D. Bond.
"Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics", PPoPP 2015.

Included in the tar.gz: a patch against Jikes RVM 3.1.3 and a README file.