An efficient software transactional memory using commit-time invalidation

To improve the performance of transactional memory (TM), researchers have found many eager and lazy optimizations for conflict detection, the process of determining if transactions can commit. Despite these optimizations, nearly all TMs perform one aspect of lazy conflict detection in the same manner to preserve serializability. That is, they perform commit-time validation, where a transaction is checked for conflicts with previously committed transactions during its commit phase. While commit-time validation is efficient for workloads that exhibit limited contention, it can limit transaction throughput for contending workloads. This paper presents an efficient implementation of committime invalidation, a strategy where transactions resolve their conflicts with in-flight (uncommitted) transactions before they commit. Commit-time invalidation supplies the contention manager (CM) with data that is unavailable through commit-time validation, allowing the CM to make decisions that increas...

• Type: Conference
• Year: 2010
• Where: CGO
• Authors: Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek
• Keywords: CGO 2010, Commit-time Invalidation, Commit-time Validation, Conflict Detection, Software Engineering