Toggle Main Menu Toggle Search

Open Access padlockePrints

Introducing Semantic Conflict Resolution to Word Based Software Transactional Memory

Lookup NU author(s): Dr Craig Sharp, Professor Graham MorganORCiD



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.

Publication metadata

Author(s): Sharp C, Morgan G

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2014

Pages: 10

Print publication date: 01/02/2014

Source Publication Date: February 2014

Report Number: 1409

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne