11c27b644SPaul E. McKenneyC SB+poonceonces 21c27b644SPaul E. McKenney 38f32543bSPaul E. McKenney(* 48f32543bSPaul E. McKenney * Result: Sometimes 58f32543bSPaul E. McKenney * 68f32543bSPaul E. McKenney * This litmus test demonstrates that at least some ordering is required 78f32543bSPaul E. McKenney * to order the store-buffering pattern, where each process writes to the 88f32543bSPaul E. McKenney * variable that the preceding process reads. 98f32543bSPaul E. McKenney *) 108f32543bSPaul E. McKenney 115c587f9bSAkira Yokosawa{} 121c27b644SPaul E. McKenney 131c27b644SPaul E. McKenneyP0(int *x, int *y) 141c27b644SPaul E. McKenney{ 151c27b644SPaul E. McKenney int r0; 161c27b644SPaul E. McKenney 171c27b644SPaul E. McKenney WRITE_ONCE(*x, 1); 181c27b644SPaul E. McKenney r0 = READ_ONCE(*y); 191c27b644SPaul E. McKenney} 201c27b644SPaul E. McKenney 211c27b644SPaul E. McKenneyP1(int *x, int *y) 221c27b644SPaul E. McKenney{ 231c27b644SPaul E. McKenney int r0; 241c27b644SPaul E. McKenney 251c27b644SPaul E. McKenney WRITE_ONCE(*y, 1); 261c27b644SPaul E. McKenney r0 = READ_ONCE(*x); 271c27b644SPaul E. McKenney} 281c27b644SPaul E. McKenney 291c27b644SPaul E. McKenneyexists (0:r0=0 /\ 1:r0=0) 30