A Synchronization Approach for Increasing Concurrency in Software Transactional Memory

Software Transactional Memory (STM) has been a popular paradigm for concurrent computing in modern multi-core architectures. To boost concurrency, recent STM systems have exploited semantics based synchronization approaches. However, only the general notion of commutativity (GC) has been used to derive conflict relations. In this paper, we develop a synchronization approach which combines the notions of right backward commutativity (RBC) and forward commutativity (FC) and determines the conflict relations dynamically by using the context-specific information. The proposed approach can permit more concurrency as the histories accepted by our approach is a strict superset of the union of that accepted by the approaches based on GC, RBC and FC.