PVcon: Localizing Hidden Concurrency Errors With Prediction and Verification

Multi-core techniques have been widely used in various hardware platforms, promoting development of concurrent programs. Unfortunately, concurrent programs are prone to concurrency errors. At present, it is still an open issue to provide high coverage detection of concurrency errors. In this paper,...

Full description

Saved in:
Bibliographic Details
Published in:IEEE access 2020, Vol.8, p.165373-165386
Main Authors: Xu, Zhenwu, Shen, Jinan, Luo, Peng, Liang, Fang
Format: Article
Language:English
Subjects:
causal relation
Computer bugs
Concurrency
Concurrency error
Concurrent computing
detection technique
Detectors
Error detection
Hardware
interleaving access
Programming
Security
Synchronization
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Multi-core techniques have been widely used in various hardware platforms, promoting development of concurrent programs. Unfortunately, concurrent programs are prone to concurrency errors. At present, it is still an open issue to provide high coverage detection of concurrency errors. In this paper, we present an enhanced dynamic concurrency error detection technique, called PVcon , which can detect more concurrency errors than existing techniques. PVcon first finds suspicious locations of concurrency errors by applying a novel relation, elastic - causalities (EC), and then strictly verifies each suspicious concurrency errors with a lightweight intentional scheduling technique. We have implemented PVcon in C/C++ and evaluated it by localizing concurrency errors from real-world programs. The experimental results show that PVcon can efficiently detect twice more concurrency errors than other techniques.
ISSN:2169-3536
2169-3536
DOI:10.1109/ACCESS.2020.3022992