Changes between Version 70 and Version 71 of Next-GenOpenMPTransformation

Timestamp:

03/15/21 19:50:33 (5 years ago)

Author:

wuwenhao

Comment:

--

Next-GenOpenMPTransformation

@@ -11 +11 @@
     (Note that it only clean whats in between a pair of right mover and left mover.)
 3. A barrier is transformed as: barrier() ; $check_data_race(); $track_clean(); barrier();
-4. Read and write operations are tracked in $atomic scope and functions of tracking read/write operations are:
+4. Read and write operations are tracked in $atomic scope and functions/primitives of tracking read/write operations are:
   - {{{$track{}}} . . . . . . . . . . . . . . . . creates a new pair of read/write sets for tracking.
   - {{{} // end of $track scope}}} . . removes read/write sets currently used for tracking.