29.9 Data Races

For an execution execution, two events E and D in SharedDataBlockEventSet(execution) are in a data race if the following abstract operation returns true.

  1. If E and D are in a race in execution, then
    1. If E.[[Order]] is not SeqCst or D.[[Order]] is not SeqCst, then
      1. Return true.
    2. If E and D have overlapping ranges, then
      1. Return true.
  2. Return false.