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. :) Paolo