On 11/11/2013 12:13 PM, Paul E. McKenney wrote: > Hello, Tony, > > Does Itanium permit speculative stores? For example, on Itanium what are > the permitted outcomes of the following litmus test, where both x and y > are initially zero? > > CPU 0 CPU 1 > > r1 = ACCESS_ONCE(x); r2 = ACCESS_ONCE(y); > if (r1) if (r2) > ACCESS_ONCE(y) = 1; ACCESS_ONCE(x) = 1; > > In particular, is the outcome (r1 == 1 && r2 == 1) possible on Itanium > given this litmus test? > > Thanx, Paul > > -- > To unsubscribe from this list: send the line "unsubscribe linux-kernel" in > the body of a message to majord...@vger.kernel.org > More majordomo info at http://vger.kernel.org/majordomo-info.html > Please read the FAQ at http://www.tux.org/lkml/ >
Btw, I was reading through some UEFI docs and noticed a reference to "A Formal Specification of Intel Itanium Processor Family Memory Ordering", then remembered this thread. In case it's of use: http://www.intel.com/design/itanium/downloads/251429.htm Jon. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/