[cpp-threads] SC on PPC

[Alexander Terekhov]

On 4/30/07, Raul Silvera <rauls at ca.ibm.com> wrote:
[...]
> There are two components to cumulativity. What you're describing is what
> we call B-cumulativity, which extends the B set with loads that observe
> a store in B. What you're missing is A-cumulativity, which extends the
> A set with operations that were performed before the barrier with respect
> to the current processor. This is all spelled out in Book II.

The A set is extended, all right. But what does it bring us given that
we end up with an empty B set with respect to another processor? Under
your logic lwsync would do it as well, so why insist on {hw}sync?

regards,
alexander.