Abstract:In response to the increasing ubiquity of multicore processors, there has been widespread development of multithreaded applications that strive to realize their full potential. Unfortunately, lock contention within operating systems can limit the scalability of multicore systems so severely that an increase in the number of cores can actually lead to reduced performance (i.e., scalability collapse). Existing efforts of solving scalability collapse mainly focus on making critical sections of kernel code fine-grained or designing new synchronization primitives. However, these methods have disadvantages in scalability or energy efficiency. In this article, we observe that the percentage of lock-waiting time over the total execution time for a lock intensive task has a significant correlation with the occurrence of scalability collapse. Based on this observation, a lock-contention-aware scheduler is proposed. Specifically, each task in the scheduler monitors its percentage of lock waiting time continuously. If the percentage exceeds a predefined threshold, this task is considered as lock intensive and migrated to a Special Set of Cores (i.e., SSC). In this way, the number of concurrently running lock-intensive tasks is limited to the number of cores in the SSC, and therefore, the degree of lock contention is controlled. A central challenge of using this scheme is how many cores should be allocated in the SSC to handle lock-intensive tasks. In our scheduler, the optimal number of cores is determined online by the model-driven search. The proposed scheduler is implemented in the recent Linux kernel and evaluated using micro- and macrobenchmarks on AMD and Intel 32-core systems. Experimental results suggest that our proposal is able to remove scalability collapse completely and sustains the maximal throughput of the spin-lock-based system for most applications. Furthermore, the percentage of lock-waiting time can be reduced by up to 84&percnt;. When compared with scalability collapse reduction methods such as requester-based locking scheme and sleeping-based synchronization primitives, our scheme exhibits significant advantages in scalability, power consumption, and energy efficiency.

Lock Behavior Characterization of Commercial Workloads

Reducing Scalability Collapse Via Requester-Based Locking on Multicore Systems

LockSim: An Event-Driven Simulator for Modeling Spin Lock Contention

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

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

Lock-contention-aware Scheduler

Lock-contention-aware scheduler: A scalable and energy-efficient method for addressing scalability collapse on multicore systems

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

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

Requester-Based Spin Lock: A Scalable and Energy Efficient Locking Scheme on Multicore Systems

Multi-Level Execution Trace Based Lock Contention Analysis

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures

Protecting Locks Against Unbalanced Unlock()

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

Towards Scalability Collapse Behavior on Multicores

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

HaLock: Hardware-assisted lock contention detection in multithreaded applications

Optimizing the Use of Behavioral Locking for High-Level Synthesis

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

Software-Based Lightweight Multithreading to Overlap Memory-Access Latencies of Commodity Processors

Lock-Visor: An Efficient Transitory Co-scheduling for MP Guest