An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique

Algorithm 1

The FT algorithms.

() ReadCheck()

()  if any epoch kept in then return;

()  if then Report a data race;

()  MaintainAH();

() End ReadCheck

() WriteCheck()

()  if then return;

()  if or then Report a data race;

()  MaintainAH();

()  ;

() End WriteCheck

() MaintainAH()

()  if or IsMostL() or IsMostR()

()   or IsOrdered() then ;

() End MaintainAH