From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jeremy Fitzhardinge Subject: Re: a quick question about _PAGE_GLOBAL flag in para virt mode Date: Sun, 15 Feb 2009 14:26:13 -0800 Message-ID: <49989685.6020004@goop.org> References: <4997E249.1050407@goop.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xensource.com Errors-To: xen-devel-bounces@lists.xensource.com To: weiming Cc: "xen-devel@lists.xensource.com" List-Id: xen-devel@lists.xenproject.org weiming wrote: > When a normal context switch happens (like process switch), those tlb > entries will still be flushed no matter if global bit is set or not, > is it correct? Things would go very wrong if it didn't... I haven't checked in detail, but presumably when the kernel does a user cr3 reload, Xen will do a global tlb flush (or at least make sure one happens when needed). > why not set global bit for user kernel pages? I guess this is because > when domain switchs, all tlb entries will still be flushed, so it's > not necessary for user kernel pages. Is my understanding right? 64-bit Xen uses paging to protect the guest kernel from guest usermode, and protect Xen from the guest kernel, and as a result has to do a cr3 reload for any user->kernel switch (which is why it has to go via Xen). We don't want kernel mappings to be visible to usermode, so they have to only be in tlb while we're actually running in guest kernel mode; setting global on the kernel mappings wouldn't be useful because we always need to flush them anyway when returning to usermode. Or to put it another way, it makes sense to set global on user mappings because they're always mapped, regardless of what context we're in; the only time they need to be flushed is either doing a user process context switch, or a vcpu context switch. J