- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for hopper (0.15 sec)
-
doc/go_mem.html
<i>W</i>(<i>r</i>) must be a write <i>w</i> that is <i>visible</i> to <i>r</i>, where visible means that both of the following hold: </p> <ol> <li><i>w</i> happens before <i>r</i>.</li> <li><i>w</i> does not happen before any other write <i>w'</i> (to <i>x</i>) that happens before <i>r</i>.</li> </ol> <p> A <i>read-write data race</i> on memory location <i>x</i> consists of a read-like memory operation <i>r</i> on <i>x</i>
HTML - Registered: Tue May 07 11:14:38 GMT 2024 - Last Modified: Mon Mar 04 15:54:42 GMT 2024 - 26.6K bytes - Viewed (0)