On Thu Sep 18, 2014 at 21:38:30 -0400, Yuxin Ren wrote:
> I have question about tlb flush.
> When a memory page is unmaped, do we always flush tlb of all other cores?
> Or do we have some way to track which core to flush?
> If so, how do we track that information?
> And it would be better if some one can show the code in the kernel to do
> that.

Please look for active_tlb() in Context and global_flush() in
map_util.cpp where the flush is done according to the active_tlb mask.



Adam
--
Adam                 adam@os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers