Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1409.pdf
