Lines Matching full:plain

93 let to-w = rwdep | (overwrite & int) | (addr ; [Plain] ; wmb)
183 (* Plain accesses and data races *)
186 (* Warn about plain writes and marked accesses in the same region *)
187 let mixed-accesses = ([Plain & W] ; (po-loc \ barrier) ; [Marked]) |
188 	([Marked] ; (po-loc \ barrier) ; [Plain & W])
196 (* Boundaries for lifetimes of plain accesses *)
204 (* Visibility and executes-before for plain accesses *)
212 let pre-race = ext & ((Plain * M) | ((M \ IW) * Plain))
214 (* Coherence requirements for plain accesses *)
218 empty (wr-incoh | rw-incoh | ww-incoh) as plain-coherence