# title: Standalone test: a thread writes through one view and reads through another, 128 threads # type: hbar # x: reader view and fence # y: threads that read the stale value # colors: error variant,stale reads read-only,127 read-only + thread fence,127 read_write + r.fence(),0 read_write + thread fence,127 read_write + device fence,0 write-only writer + r.fence(),0