Changes between Version 21 and Version 22 of Notes_on_CUDA_Semantics

Timestamp:

07/27/22 11:43:58 (4 years ago)

Author:

Alex Wilton

Comment:

--

Notes_on_CUDA_Semantics

@@ -297 +297 @@
 * If a thread t is in its own mask then it will participate in the barrier
   * If sourceLane is in t's mask then t requests a message from sourceLane and returns the value obtained.
-  * If sourceLane is not in t's mask then we cannot guarantee that sourceLane will participate with us and so we simply make no request and just return a havoced value at the end.
+  * If sourceLane is not in t's mask then we cannot guarantee that sourceLane will participate with t and so t simply makes no request and just returns a havoced value at the end.
   * Regardless of these two cases, t will always check for requests sent to it after the barrier call and fulfill these requests.