Changes between Version 67 and Version 68 of Next-GenOpenMPTransformation


Ignore:
Timestamp:
03/12/21 18:27:44 (5 years ago)
Author:
wuwenhao
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Next-GenOpenMPTransformation

    v67 v68  
    6060
    6161We denotes Ax as thread x executes statement A.
    62 Assuming there are two threads t0 and t1,
     62Assuming there are two threads 0 and 1,
    6363the first $check_data_race()  checks races between:
    6464