Abstract:The critical sections with the lock protection greatly limit the concurrency of multi-threaded applications. The prior lock elision based technique is presented to exploit the parallelism between critical sections accessing the disjoint shared data, but still fails to notice and expose a high degree of concurrency between critical sections that contend for the same shared data, i.e., conflicting critical sections (CCS). This paper focuses on exploiting the CCS parallelism. The key insight of this work is that, for each running CCS, a large proportion (> 73.4%) of parallelism between CCSs can be exploited as fully as possible by simply allowing the parallel execution of their first conflict-free code fragment at runtime. We therefore present BSOptimizer, a new microarchitecture, to perform the partial reversion integrated with a series of sophisticated hardware and software strategies for the CCS parallelization. We complement the off-the-shelf cache coherency protocol to perceive the conflict location of CCS, present a predictive checkpoint mechanism to register and predict the concerned conflict point in a lightweight and accurate fashion, and redefine the traditional mutual exclusive semantics with a binary relationship. With these collaborative techniques, each CCS can be scheduled in parallel. Our experimental results on a wide variety of real programs and PARSEC benchmarks show that, compared to the native execution and two state-of-the-art lock elision techniques (including SLE and SLR), BSOptmizer can dramatically improves the performance of programs with a slight (< 0.8%) energy consumption and (< 3.9%) extra runtime overhead. Our evaluation on a micro-benchmark with software based optimization also verifies that BSOptimizer can accurately exploit the CCS parallelism as promised.

Implementing Atomic Section by Using Hybrid Concurrent Control

On atomicity enforcement in concurrent software via Discrete Event Systems theory

Core-aware Combining: Accelerating Critical Section Execution on Heterogeneous Multi-Core Systems Via Combining Synchronization

On the Concurrency of C++

A Concurrent Temporal Programming Model with Atomic Blocks.

On the Implementation of CC++

Strong Atomicity: an Efficient and Easy-to-Use Mechanism to Guarantee Atomicity

Detect Atomicity Violations in Concurrent Programs Through User Assistance and Identification of Suspicious Variable Access Patterns

Finding Shrink Critical Section Refactoring Opportunities for the Evolution of Concurrent Code in Trustworthy Software

Flexible Concurrency Control for Synchronized Collaborative Design

Refactoring for Separation of Concurrent Concerns.

Operational Aspects of C/C++ Concurrency

Oodopt: A Semantics-Based Concurrency Control Framework for Fully-Replicated Architecture

Detecting Atomicity Violations for Interrupt-driven Programs Via Systematic Scheduling and Prefix-directed Feedback

A Fine Granular Concurrency Control Mechanism for a Peer-to-Peer Cooperative Design Environment

Automatic Concurrency Management for distributed applications

Detecting Atomicity Violations in Interrupt-Driven Programs Via Interruption Points Selecting and Delayed ISR-Triggering

Exploiting the Parallelism Between Conflicting Critical Sections with Partial Reversion

A Concurrency Control Method Based on Attribute-Operation Object Model in Real-time Cooperative System

Optimistic Concurrency Control for Real-world Go Programs (Extended Version with Appendix)

An Optimistic Concurrency Control Method for Supporting Engineering Design Transaction