A Case Study on Context Maintenance in Dynamic Hybrid Race Detectors

Many dynamic hybrid race detectors aim at detecting violations of the lockset discipline in execution traces of multithreaded programs. They are designed to abstract memory accesses appearing in traces as contexts. Nonetheless, they keep these contexts in different extents and partition the sets of...

Full description

Saved in:
Bibliographic Details
Main Authors: Jialin Yang, Pobee, Ernest Bota, Chan, W. K.
Format: Conference Proceeding
Language:English
Subjects:
case study
Clocks
Computer science
concurrency bug detection
Context
data race
Detectors
dynamic analysis
Instruction sets
Multithreaded program
Scalability
Synchronization
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Many dynamic hybrid race detectors aim at detecting violations of the lockset discipline in execution traces of multithreaded programs. They are designed to abstract memory accesses appearing in traces as contexts. Nonetheless, they keep these contexts in different extents and partition the sets of contexts into equivalent classes of different granularity. In our case study, we compare three detectors using the PARSEC benchmark suite to examine the impact of using unrestricted strategy or restricted strategy for keeping these contexts in sequence on detection effectiveness, and the impact of partitioning context sequences by different granularities on scalability in time cost. The case study results indicate that using restricted context sequences sufficed to detect very high proportions of locking discipline violations detectable by using unrestricted context sequences, and the partitioning of context sets into finer equivalent classes significantly lowers the scalability in time cost with increasing number of threads to handle the same input workload.
ISSN:0730-3157
DOI:10.1109/COMPSAC.2017.9