cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

CoWW+poonceonce.litmus (237B)

      1C CoWW+poonceonce
      2
      3(*
      4 * Result: Never
      5 *
      6 * Test of write-write coherence, that is, whether or not two successive
      7 * writes to the same variable are ordered.
      8 *)
      9
     10{}
     11
     12P0(int *x)
     13{
     14	WRITE_ONCE(*x, 1);
     15	WRITE_ONCE(*x, 2);
     16}
     17
     18exists (x=1)