Lines Matching refs:race

212 let pre-race = ext & ((Plain * M) | ((M \ IW) * Plain))
215 let wr-incoh = pre-race & rf & rw-xbstar^-1
216 let rw-incoh = pre-race & fr & wr-vis^-1
217 let ww-incoh = pre-race & co & ww-vis^-1
222 let ww-race = (pre-race & co) \ ww-nonrace
223 let wr-race = (pre-race & (co? ; rf)) \ wr-vis \ rw-xbstar^-1
224 let rw-race = (pre-race & fr) \ rw-xbstar
226 flag ~empty (ww-race | wr-race | rw-race) as data-race