Performance Prediction for Coarse-Grained Locking

A standard design pattern found in many concurrent data structures, such as hash tables or ordered containers, is an alternation of parallelizable sections that incur no data conflicts and critical sections that must run sequentially and are protected with locks. A lock can be viewed as a queue that arbitrates the order in which the critical sections are executed, and a natural question is whether we can use stochastic analysis to predict the resulting throughput. As a preliminary evidence to the affirmative, we describe a simple model that can be used to predict the throughput of coarse-grained lock-based algorithms. We show that our model works well for CLH lock, and we expect it to work for other popular lock designs such as TTAS, MCS, etc.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/11/2021

Peformance Prediction for Coarse-Grained Locking: MCS Case

A standard design pattern found in many concurrent data structures, such...
research
06/21/2018

Proving Linearizability Using Reduction

Lipton's reduction theory provides an intuitive and simple way for deduc...
research
03/30/2021

Synch: A framework for concurrent data-structures and benchmarks

The recent advancements in multicore machines highlight the need to simp...
research
05/12/2018

Lock-Free Search Data Structures: Throughput Modelling with Poisson Processes

This paper considers the modelling and the analysis of the performance o...
research
01/13/2023

The Commutativity Quotients of Concurrent Objects

Concurrent objects form the foundation of many applications that exploit...
research
06/12/2014

Generic construction of scale-invariantly coarse grained memory

Encoding temporal information from the recent past as spatially distribu...
research
11/14/2020

Entropy conservation for comparison-based algorithms

Comparison-based algorithms are algorithms for which the execution of ea...

Please sign up or login with your details

Forgot password? Click here to reset