Changes between Version 46 and Version 47 of Next-GenOpenMPTransformation

Timestamp:

10/31/19 15:26:58 (7 years ago)

Author:

wuwenhao

Comment:

--

Next-GenOpenMPTransformation

@@ -635 +635 @@
 $yield();
 $when (!critical_) critical_ = $true;
-$check_no_data_race(team);
+$check_data_race(team);
   translate(BLOCK_A)
   critical_ = $false;
@@ -642 +642 @@
 $yield();
 $when (!critical_x) critical_x = $true;
-$check_no_data_race(team);
+$check_data_race(team);
   translate(BLOCK_X);
   critical_x = $false;