On Wed, Aug 12, 2015 at 4:10 PM, Paolo Bonzini <pbonz...@redhat.com> wrote: > > > On 12/08/2015 16:04, alvise rigo wrote: >>> > clear algorithm: >>> > if bytemap[vaddr] == 254 >>> > bytemap[vaddr] = CPU_ID >> Isn't this also required for the clear algorithm? >> >> if bytemap[vaddr] < 254 >> /* this can happen for the TLB_EXCL slow path effect */ >> bytemap[vaddr] = 255 > > I don't think so because clear doesn't clear TLB_EXCL. But maybe we're > talking about two different things. :)
Let me go through it again, I might have missed something :) alvise > > Paolo