Re: [Qemu-devel] [PATCH v6 28/35] target-arm: emulate LL/SC using cmpxchg helpers

2016-10-13 Thread Alex Bennée
Richard Henderson writes: > From: "Emilio G. Cota" > > Emulating LL/SC with cmpxchg is not correct, since it can > suffer from the ABA problem. Portable parallel code, however, > is written assuming only cmpxchg--and not LL/SC--is available. > This means that in practice emulating LL/SC with cm

[Qemu-devel] [PATCH v6 28/35] target-arm: emulate LL/SC using cmpxchg helpers

2016-10-11 Thread Richard Henderson
From: "Emilio G. Cota" Emulating LL/SC with cmpxchg is not correct, since it can suffer from the ABA problem. Portable parallel code, however, is written assuming only cmpxchg--and not LL/SC--is available. This means that in practice emulating LL/SC with cmpxchg is a viable alternative. The appe