Re: [Qemu-devel] Fwd: [j...@sing.id.au: atomic failures on qemu-system-riscv64]

2019-06-07 Thread Palmer Dabbelt
On Thu, 06 Jun 2019 19:50:57 PDT (-0700), richard.hender...@linaro.org wrote: Also, unless I'm misunderstanding something our implementation of LR/SC is pretty broken. We're just using a CAS to check if the value changed, which suffers from the ABA problem that LR/SC is there to fix in the f

Re: [Qemu-devel] Fwd: [j...@sing.id.au: atomic failures on qemu-system-riscv64]

2019-06-06 Thread Richard Henderson
> > Also, unless I'm misunderstanding something our implementation of LR/SC is > pretty broken. We're just using a CAS to check if the value changed, which > suffers from the ABA problem that LR/SC is there to fix in the first > place. I > might be missing something here, though, as it looks like

Re: [Qemu-devel] Fwd: [j...@sing.id.au: atomic failures on qemu-system-riscv64]

2019-06-05 Thread Palmer Dabbelt
On Wed, 05 Jun 2019 13:59:53 PDT (-0700), ma...@decred.org wrote: Joel is on vacation so here it is again. Begin forwarded message: From: Alistair Francis Subject: Re: [j...@sing.id.au: atomic failures on qemu-system-riscv64] Date: June 5, 2019 at 7:19:53 PM GMT+1 To: "j...@sing.id.au" , "pal

[Qemu-devel] Fwd: [j...@sing.id.au: atomic failures on qemu-system-riscv64]

2019-06-05 Thread Marco Peereboom
Joel is on vacation so here it is again. > Begin forwarded message: > > From: Alistair Francis > Subject: Re: [j...@sing.id.au: atomic failures on qemu-system-riscv64] > Date: June 5, 2019 at 7:19:53 PM GMT+1 > To: "j...@sing.id.au" , "pal...@sifive.com" > > Cc: "ma...@decred.org" , "m...@carl