Re: [Qemu-devel] [RFC v7 08/16] softmmu: Honor the new exclusive bitmap

2016-02-18 Thread alvise rigo
On Tue, Feb 16, 2016 at 6:39 PM, Alex Bennée wrote: > > > Alvise Rigo writes: > > > The pages set as exclusive (clean) in the DIRTY_MEMORY_EXCLUSIVE bitmap > > have to have their TLB entries flagged with TLB_EXCL. The accesses to > > pages

Re: [Qemu-devel] [RFC v7 08/16] softmmu: Honor the new exclusive bitmap

2016-02-16 Thread Alex Bennée
Alvise Rigo writes: > The pages set as exclusive (clean) in the DIRTY_MEMORY_EXCLUSIVE bitmap > have to have their TLB entries flagged with TLB_EXCL. The accesses to > pages with TLB_EXCL flag set have to be properly handled in that they > can potentially

[Qemu-devel] [RFC v7 08/16] softmmu: Honor the new exclusive bitmap

2016-01-29 Thread Alvise Rigo
The pages set as exclusive (clean) in the DIRTY_MEMORY_EXCLUSIVE bitmap have to have their TLB entries flagged with TLB_EXCL. The accesses to pages with TLB_EXCL flag set have to be properly handled in that they can potentially invalidate an open LL/SC transaction. Modify the TLB entries