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.

中文翻译：

---

PVcon：通过预测和验证定位隐藏的并发错误

多核技术已广泛应用于各种硬件平台，促进了并发程序的发展。不幸的是，并发程序容易出现并发错误。目前，提供高覆盖率的并发错误检测仍然是一个悬而未决的问题。在本文中，我们提出了一种增强的动态并发错误检测技术，称为 $PVcon$ ，它可以检测到比现有技术更多的并发错误。PVcon 首先通过应用一个新的关系来发现并发错误的可疑位置， $弹性$ —— $因果$ (EC)，然后用轻量级的有意调度技术严格验证每个可疑的并发错误。我们已经在 C/C++ 中实现了 PVcon，并通过本地化现实世界程序中的并发错误来评估它。实验结果表明，PVcon 可以有效地检测出比其他技术多两倍的并发错误。