Abstract:Concurrent access to shared data has always been a challenge for developing multi-threaded programs and a bottleneck in the performance of Chip-Multiprocessor (CMP) systems. The challenge has been exacerbated by the need to augment processor cores and network bandwidth to fulfill the low-latency demands of ever-expanding data processing. Existing commercial best-effort Hardware Transactional Memory (HTM) is a common and effective solution. However, its architectural constraints prevent transactions from surviving in exceptions, cache overflow, and coexisting with a non-speculation fallback path, leading to unstable performance and diminishing favor. In this paper, we propose three lightweight mechanisms designed to mitigate the limitations of the best-effort HTM architecture to enhance performance stability. One is the recovery mechanism that supports the dynamic revocation of toxic conflicting requests, dramatically reducing the potential of livelocks. The second is the HTMLock mechanism with hardware and software co-design, which allows transactions using HTM and locks to run concurrently except when encountering actual conflict. Lastly, the switchingMode mechanism enables a running transaction to proactively attempt to switch to HTMLock mode in the event of a non-conflict-induced abort. Gem5 infrastructure is extended to validate and evaluate our mechanisms in a 32-core tiled CMP system. Experimental studies show that LockillerTM outperforms the coarse-grained locking scheme under STAMP benchmarks except for the yada workload, irrespective of thread number and cache size. Furthermore, our approach achieves an average of 1.86x and 1.57x speedup in all benchmarks and different threads under a typical cache size and a maximum of 7.79x and 6.73x speedup in high-contention benchmarks under extreme scenarios with only 8KB L1 cache and 32 threads, compared to best-effort HTM and state-of-the-art HTM respectively.

HaLock: Hardware-assisted lock contention detection in multithreaded applications

Multi-Level Execution Trace Based Lock Contention Analysis

Comparison of Lock Thrashing Avoidance Methods and Its Performance Implications for Lock Design

Lock Contention Management in Multithreaded MPI

Reducing Scalability Collapse Via Requester-Based Locking on Multicore Systems

OWL: Understanding and Detecting Concurrency Attacks

Identification of Java lock contention anti-patterns based on runtime performance data

Plock: A Fast Lock for Architectures with Explicit Inter-core Message Passing.

On Performance Debugging of Unnecessary Lock Contentions on Multicore Processors: A Replay-based Approach

Protecting Locks Against Unbalanced Unlock()

Lock Behavior Characterization of Commercial Workloads

On the Analysis of Parallel Real-Time Tasks With Spin Locks

Transactional Memory Execution for Parallel Multithread Programming Without Lock

A Scheduling Method for Avoiding Kernel Lock Thrashing on Multi-cores

Static Analysis of Lockless Microcontroller C Programs

Enhanced Data Race Detection Approach Based on Lockset Algorithm

A Discrete Event Simulation Model for Understanding Kernel Lock Thrashing on Multi-core Architectures

LockillerTM: Enhancing Performance Lower Bounds in Best-Effort Hardware Transactional Memory

Vlock: Lock Virtualization Mechanism for Exploiting Fine-Grained Parallelism in Graph Traversal Algorithms

Efficient multi-word lock-free synchronization algorithm based on hardware CAS primitive

Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores