[Qemu-devel] [PATCH 40/64] PPC: Fix sync instructions problem in SMP

2011-10-06 Thread Alexander Graf
From: Elie Richa In the current emulation of the load-and-reserve (lwarx) and store-conditional (stwcx.) instructions, the internal reservation mechanism is taken into account, however each CPU has its own reservation information and this information is not synchronized between CPUs to perform pr

Re: [Qemu-devel] [PATCH 40/64] PPC: Fix sync instructions problem in SMP

2011-10-06 Thread Elie Richa
Hello, Actually the test case that I suggested is a bit imprecise because creating a reservation on a CPU does not cause loss of reservation on other CPUs (I mean in the specification). It is writing to the memory location that causes loss of reservation. Therefore the correct test case would be t