Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1750948AbWCNE66 (ORCPT ); Mon, 13 Mar 2006 23:58:58 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1751180AbWCNE66 (ORCPT ); Mon, 13 Mar 2006 23:58:58 -0500 Received: from mailout1.vmware.com ([65.113.40.130]:49668 "EHLO mailout1.vmware.com") by vger.kernel.org with ESMTP id S1750948AbWCNE66 (ORCPT ); Mon, 13 Mar 2006 23:58:58 -0500 Message-ID: <44164CDD.6030608@vmware.com> Date: Mon, 13 Mar 2006 20:55:57 -0800 From: Zachary Amsden User-Agent: Thunderbird 1.5 (X11/20051201) MIME-Version: 1.0 To: Rik van Riel Cc: Anthony Liguori , Linus Torvalds , Linux Kernel Mailing List , Virtualization Mailing List , Xen-devel , Andrew Morton , Dan Hecht , Dan Arai , Anne Holler , Pratap Subrahmanyam , Christopher Li , Joshua LeVasseur , Chris Wright , Jyothy Reddy , Jack Lo , Kip Macy , Jan Beulich , Ky Srinivasan , Wim Coekaerts , Leendert van Doorn Subject: Re: [RFC, PATCH 0/24] VMI i386 Linux virtualization interface proposal References: <200603131758.k2DHwQM7005618@zach-dev.vmware.com> <441610DE.5060709@us.ibm.com> <44164013.1080404@vmware.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1040 Lines: 27 Rik van Riel wrote: > On Mon, 13 Mar 2006, Zachary Amsden wrote: > > >> About performance - I actually believe that it is possible to implement >> VMI Linux in such a way that it actually has _better_ performance on Xen >> than the current XenoLinux kernels. >> > > How would VMI allow page table batching at fault time? > (one of the future optimizations that are probably worth > making for Xen) > This is exactly what we do. All page table transitions from P->NP or P->P already require a flushing call (FlushTLB or InvalPage). The remaining transitions, NP->P require explicit flushing, and we have added the appropriate call sites to do so. It turns out, the external MMU cache on Sparc provided exactly the required hook point in this case - update_mmu_cache(). Zach - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/