BarrierFinder: recognizing ad hoc barriers

Wang, T; Yu, X; Qiu, ZY; Jin, GL; Mueller, F

Jin, GL; Mueller, F (corresponding author), North Carolina State Univ, Dept Comp Sci, 3266 EB2, Raleigh, NC 27695 USA.

EMPIRICAL SOFTWARE ENGINEERING, 2020; 25 (6): 4676

Abstract

Ad hoc synchronizations are pervasive in multi-threaded programs. Due to their diversity and complexity, understanding the enforced synchronization re......

Full Text Link