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

Figure 1

An example of multithread execution with synchronization primitives.