Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1758000AbYCNScZ (ORCPT ); Fri, 14 Mar 2008 14:32:25 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1751472AbYCNScR (ORCPT ); Fri, 14 Mar 2008 14:32:17 -0400 Received: from gw.goop.org ([64.81.55.164]:36862 "EHLO mail.goop.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751416AbYCNScQ (ORCPT ); Fri, 14 Mar 2008 14:32:16 -0400 Message-ID: <47DAC435.1050105@goop.org> Date: Fri, 14 Mar 2008 11:30:13 -0700 From: Jeremy Fitzhardinge User-Agent: Thunderbird 2.0.0.12 (X11/20080226) MIME-Version: 1.0 To: Zachary Amsden CC: Hugh Dickins , Martin Schwidefsky , linux-kernel@vger.kernel.org, linux-s390@vger.kernel.org, virtualization@lists.osdl.org, akpm@linux-foundation.org, nickpiggin@yahoo.com.au, frankeh@watson.ibm.com, rusty@rustcorp.com.au, andrea@qumranet.com, clameter@sgi.com, a.p.zijlstra@chello.nl, Keir Fraser , Ian Pratt Subject: Re: [patch 0/6] Guest page hinting version 6. References: <20080312132132.520833247@de.ibm.com> <47D9754B.1030509@goop.org> <1205438038.14987.1.camel@bodhitayantram.eng.vmware.com> In-Reply-To: <1205438038.14987.1.camel@bodhitayantram.eng.vmware.com> X-Enigmail-Version: 0.95.6 Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1718 Lines: 37 Zachary Amsden wrote: > On Thu, 2008-03-13 at 18:55 +0000, Hugh Dickins wrote: > >> On Thu, 13 Mar 2008, Jeremy Fitzhardinge wrote: >> >>> My other concern is just correctness over time on the Linux side. We already >>> have enough trouble keeping things like the pte and page structure state in >>> sync, with resulting rare data-loss bugs. Adding another layer which only >>> applies in specific environments raises the possibility for new bugs to be >>> un-noticed for a long time. How can we structure the VM changes to make sure >>> that its robust in the face of maintenance? >>> >> Yes, that's the main concern, as whenever lots of subtlety is added. >> I wonder if there's any chance of a CONFIG_DEBUG mode, which could be >> run on anybody's x86 machine, without involving any virtualization, but >> in which the PAGE_STATEs become essential to the correct working of the mm. >> > > How about a fake hypervisor, which is really just a random page evictor, > following the rules of CMM? > Probably simpler to just have variants of the page_set_* functions which simulate the worst-possible host action immediately (ie, stealing pages, logically swapping them, etc). That wouldn't give you full coverage, but it would go some way. An async variant which schedules a change in a few milliseconds would help too. I guess that's equivalent to having a special-purpose hypervisor built into the kernel (hm, sounds familiar...). J -- 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/