López Gómez, JavierRío Astorga, David delDolz Zaragoza, Manuel FranciscoFernández Muñoz, JavierGarcia Sanchez, Jose Daniel2020-02-122020-02-122019-03-26The journal of supercomputing, 26 March 2019, 22 pp.0920-85421573-0484 (online)https://hdl.handle.net/10016/29700ASPIDE: Exascale programIng models for extreme data processingThe use of synchronization mechanisms in multithreaded applications is essential on shared-memory multi-core architectures. However, debugging parallel applications to avoid potential failures, such as data races or deadlocks, can be challenging. Race detectors are key to spot such concurrency bugs; nevertheless, if lock-free data structures are used, these may emit a significant number of false positives. In this paper, we present a framework for semantic violation detection of lock-free data structures which makes use of contracts, a novel feature of the upcoming C++20, and a customized version of the ThreadSanitizer race detector. We evaluate the detection accuracy of the framework in terms of false positives and false negatives leveraging some synthetic benchmarks which make use of the SPSC and MPMC lock-free queue structures from the Boost C++ library. Thanks to this framework, we are able to check the correct use of lock-free data structures, thus reducing the number of false positives.22eng© Springer Science+Business Media, LLC, part of Springer Nature 2019Parallel programmingSemantic violation detectionC++ contractsLock-free data structuresresearch articleInformáticahttps://doi.org/10.1007/s11227-019-02827-4open access122JOURNAL OF SUPERCOMPUTINGAR/0000023520