WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-devel

Re: [Xen-devel] page ref/type count overflows

To: Jan Beulich <jbeulich@xxxxxxxxxx>, <xen-devel@xxxxxxxxxxxxxxxxxxx>
Subject: Re: [Xen-devel] page ref/type count overflows
From: Keir Fraser <keir.fraser@xxxxxxxxxxxxx>
Date: Mon, 26 Jan 2009 13:33:57 +0000
Cc:
Delivery-date: Mon, 26 Jan 2009 05:34:11 -0800
Envelope-to: www-data@xxxxxxxxxxxxxxxxxxx
In-reply-to: <497DC465.76E4.0078.0@xxxxxxxxxx>
List-help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-id: Xen developer discussion <xen-devel.lists.xensource.com>
List-post: <mailto:xen-devel@lists.xensource.com>
List-subscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
List-unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
Sender: xen-devel-bounces@xxxxxxxxxxxxxxxxxxx
Thread-index: Acl/ur0ZUqRKrWkdnU2n7WXpz2EAfA==
Thread-topic: [Xen-devel] page ref/type count overflows
User-agent: Microsoft-Entourage/12.14.0.081024
On 26/01/2009 13:10, "Jan Beulich" <jbeulich@xxxxxxxxxx> wrote:

> The backend drivers in my opinion have no alternative to getting taught
> to do full error checking in order to avoid the respective DomU-induced
> problems.

Backend drivers, which get their mappings via grants, have sufficient
checking already don't they?

As for the general issue, why fudge around it when for any modern system we
can just fix it? By which I mean, x64 systems with CMPXCHG16 support
(everything but ancient Opterons?) can have a full domain pointer and a long
count_info in struct page_info, and still update both atomically.

It'd be a smaller patch, and it'd be less kludgy. Disadvantages are extra 8
bytes per page (which I think is okay, particularly to fix this nasty issue
in a clean way) and only fixes the issue for x64 (I personally don't care
about non-regressions for i386, especially when the cost of the fix in this
case would be IMO high in code complexity and ugliness).

Already there is no reason why type_info (an unsigned long) could not have a
wider count. It's just no use until count_info is widened.

What do you say to that then? :-)

 -- Keir



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel