I am investigating the effects of context switch on linux x86 machines. In particular, I am interested in TLB.

My understanding, after reading Intel Manual 3A (section 4.10.4 “Invalidation of TLBs and Paging-Structure Caches”), is that there is a flush of the TLB non-global entries when there is a change of context.

However, I am not sure if I have understood correctly. Can anyone point me to other references or suggestions on how to prove this?

Thanks in advance