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-ia64-devel

Re: [Xen-ia64-devel] [Q] about assign_domain_page_replace

To: Akio Takebe <takebe_akio@xxxxxxxxxxxxxx>
Subject: Re: [Xen-ia64-devel] [Q] about assign_domain_page_replace
From: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>
Date: Wed, 6 Jun 2007 15:58:48 +0900
Cc: xen-ia64-devel <xen-ia64-devel@xxxxxxxxxxxxxxxxxxx>
Delivery-date: Tue, 05 Jun 2007 23:56:43 -0700
Envelope-to: www-data@xxxxxxxxxxxxxxxxxx
In-reply-to: <45C7A80235F32Dtakebe_akio@xxxxxxxxxxxxxx>
List-help: <mailto:xen-ia64-devel-request@lists.xensource.com?subject=help>
List-id: Discussion of the ia64 port of Xen <xen-ia64-devel.lists.xensource.com>
List-post: <mailto:xen-ia64-devel@lists.xensource.com>
List-subscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-ia64-devel>, <mailto:xen-ia64-devel-request@lists.xensource.com?subject=subscribe>
List-unsubscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-ia64-devel>, <mailto:xen-ia64-devel-request@lists.xensource.com?subject=unsubscribe>
References: <3DC7A768CD047Ftakebe_akio@xxxxxxxxxxxxxx> <20070605125351.GC9188%yamahata@xxxxxxxxxxxxx> <45C7A80235F32Dtakebe_akio@xxxxxxxxxxxxxx>
Sender: xen-ia64-devel-bounces@xxxxxxxxxxxxxxxxxxx
User-agent: Mutt/1.4.2.1i
On Wed, Jun 06, 2007 at 03:16:25PM +0900, Akio Takebe wrote:

> >"mfn != old_mfn" itself isn't a bug of Xen VMM.
> >It should be okay from the hypervisor point of view.
> >In both case (== and !=), Xen VMM should continue to work finely.
> >domain_put_page() makes mfn_to_page(old_mfn)->count_info = 0 and
> >frees the page.
> No, get_page() is not called for the page.
> So, after domain_put_page(), the page->count_info=-1.

You meant page->count_info == 0 before calling domain_put_page().
Let me confirm the followings
- Is the page owner is NULL?
- Does dom0 call __dom0vp_add_physmap()?
- The page doesn't belong to dom0. But the page is assigned to 
  another non-dom0 domain's pseudo physical address.
  When the domain is destroyed, Xen panics. Is this right?

domain_page_flush_and_put() isn't aware of NULL-owner pages, I'll fix it.
However more issues seem to be there.

thanks,
-- 
yamahata

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