lazy TLB

当cpu运行一个kernel thread的时候，kernel会将cpu_tlbstate（这是个per-cpu变量）设为TLBSTATE_LAZY，这样当一个interprocessor interrrupt到达时，cpu将不会flush它的tlb ,直到cpu被切换到另一个普通进程，如果这个进程使用的page table 跟前一个进程不一样，则自然会flush TLB，如果这个进程跟前一个进程（也有可能就是前一个进程）使用的page table一样，则会flush 非全局tlb项。(也就是内核线性地址） 
附注：kernel thread没有自己的page table，它使用的是上一个运行的进程的page table，之所以可以这样做，是因为kernel thread之会访问kernel线性地址，而不会访问user mode 下的线性地址。
2009/01/15 四