Computing Science: Introducing Semantic Conflict Resolution to Word Based Software Transactional Memory.

摘要

In this paper we describe the implementation of a contention manager which deals with semantic conflicts within word based Software Transactional Memory. Semantic conflicts are introduced which prevent transactions from committing their execution due to the presence of some application condition and can be resolved by the reordering of transaction execution. We consider application semantics to be just as important as linearizability in deriving a suitable execution strategy for the progress of the application. The benefit of our approach is demonstrated with benchmarked performance figures demonstrating the ability of our technique to address semantic conflicts within the context of two realistic scenarios in comparison to existing contention management policies.