Page
%P
-
Article
BarrierFinder: recognizing ad hoc barriers
Ad hoc synchronizations are pervasive in multi-threaded programs. Due to their diversity and complexity, understanding the enforced synchronization relationships of ad hoc synchronizations is challenging but c...