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

2016-10-05 Thread Richard Henderson
On 10/05/2016 06:40 AM, Alex Bennée wrote: I thought you added some of the text back, or is that in a private re-work branch for v5? Added back /* Load/Store exclusive instructions are implemented by remembering the value/address loaded, and seeing if these are the same when the s

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

2016-10-05 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 v4 28/35] target-arm: emulate LL/SC using cmpxchg helpers

2016-09-16 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