Re: [Qemu-devel] [RFC PATCH] Use atomic cmpxchg to atomically check the exclusive value in a STREX

2015-06-10 Thread Frederic Konrad
On 09/06/2015 15:55, Alex Bennée wrote: Alex Bennée alex.ben...@linaro.org writes: fred.kon...@greensocs.com writes: From: KONRAD Frederic fred.kon...@greensocs.com This mechanism replaces the existing load/store exclusive mechanism which seems to be broken for multithread. It follows the

Re: [Qemu-devel] [RFC PATCH] Use atomic cmpxchg to atomically check the exclusive value in a STREX

2015-06-10 Thread Frederic Konrad
On 10/06/2015 10:03, Frederic Konrad wrote: On 09/06/2015 15:55, Alex Bennée wrote: Alex Bennée alex.ben...@linaro.org writes: fred.kon...@greensocs.com writes: From: KONRAD Frederic fred.kon...@greensocs.com This mechanism replaces the existing load/store exclusive mechanism which seems

Re: [Qemu-devel] [RFC PATCH] Use atomic cmpxchg to atomically check the exclusive value in a STREX

2015-06-09 Thread Mark Burton
On 9 Jun 2015, at 11:12, Alex Bennée alex.ben...@linaro.org wrote: fred.kon...@greensocs.com writes: From: KONRAD Frederic fred.kon...@greensocs.com This mechanism replaces the existing load/store exclusive mechanism which seems to be broken for multithread. It follows the

Re: [Qemu-devel] [RFC PATCH] Use atomic cmpxchg to atomically check the exclusive value in a STREX

2015-06-09 Thread Alex Bennée
fred.kon...@greensocs.com writes: From: KONRAD Frederic fred.kon...@greensocs.com This mechanism replaces the existing load/store exclusive mechanism which seems to be broken for multithread. It follows the intention of the existing mechanism and stores the target address and data

Re: [Qemu-devel] [RFC PATCH] Use atomic cmpxchg to atomically check the exclusive value in a STREX

2015-06-09 Thread Alex Bennée
Mark Burton mark.bur...@greensocs.com writes: On 9 Jun 2015, at 15:55, Alex Bennée alex.ben...@linaro.org wrote: Alex Bennée alex.ben...@linaro.org writes: fred.kon...@greensocs.com writes: From: KONRAD Frederic fred.kon...@greensocs.com This mechanism replaces the existing

Re: [Qemu-devel] [RFC PATCH] Use atomic cmpxchg to atomically check the exclusive value in a STREX

2015-06-09 Thread Mark Burton
On 9 Jun 2015, at 15:59, Alex Bennée alex.ben...@linaro.org wrote: fred.kon...@greensocs.com writes: From: KONRAD Frederic fred.kon...@greensocs.com snip +DEF_HELPER_4(atomic_cmpxchg64, i32, env, i32, i64, i32) +DEF_HELPER_2(atomic_check, i32, env, i32)

Re: [Qemu-devel] [RFC PATCH] Use atomic cmpxchg to atomically check the exclusive value in a STREX

2015-06-09 Thread Alex Bennée
Alex Bennée alex.ben...@linaro.org writes: fred.kon...@greensocs.com writes: From: KONRAD Frederic fred.kon...@greensocs.com This mechanism replaces the existing load/store exclusive mechanism which seems to be broken for multithread. It follows the intention of the existing mechanism

Re: [Qemu-devel] [RFC PATCH] Use atomic cmpxchg to atomically check the exclusive value in a STREX

2015-06-09 Thread Alex Bennée
fred.kon...@greensocs.com writes: From: KONRAD Frederic fred.kon...@greensocs.com This mechanism replaces the existing load/store exclusive mechanism which seems to be broken for multithread. It follows the intention of the existing mechanism and stores the target address and data

Re: [Qemu-devel] [RFC PATCH] Use atomic cmpxchg to atomically check the exclusive value in a STREX

2015-06-09 Thread Mark Burton
On 9 Jun 2015, at 15:55, Alex Bennée alex.ben...@linaro.org wrote: Alex Bennée alex.ben...@linaro.org writes: fred.kon...@greensocs.com writes: From: KONRAD Frederic fred.kon...@greensocs.com This mechanism replaces the existing load/store exclusive mechanism which seems to be

[Qemu-devel] [RFC PATCH] Use atomic cmpxchg to atomically check the exclusive value in a STREX

2015-06-05 Thread fred . konrad
From: KONRAD Frederic fred.kon...@greensocs.com This mechanism replaces the existing load/store exclusive mechanism which seems to be broken for multithread. It follows the intention of the existing mechanism and stores the target address and data values during a load operation and checks that