ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs

Yan Cai, Changjiang Jia, Shangru Wu, Ke Zhai, Wing Kwong Chan. ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs. IEEE Trans. Parallel Distrib. Syst., 26(1):13-23, 2015. [doi]

Abstract

Abstract is missing.