[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Xen-devel] Re: [PATCH] mem_sharing: fix race condition of nominate and unshare


  • To: MaoXiaoyun <tinnycloud@xxxxxxxxxxx>
  • From: Jui-Hao Chiang <juihaochiang@xxxxxxxxx>
  • Date: Tue, 11 Jan 2011 14:32:51 +0800
  • Cc: xen devel <xen-devel@xxxxxxxxxxxxxxxxxxx>, tim.deegan@xxxxxxxxxx
  • Delivery-date: Mon, 10 Jan 2011 22:33:45 -0800
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=b0A0lV/dZs/mNFjZ2Ar9Jb5UsHsgDJ4U/kvZx16VeIeSyj4cdwIlx69EcIuZcFNpUI F5HZcGbnwcznYe37VtLy0aOgK/UiXJDYcfrzeiP7UMvixWwKS0bdeCLb4o7mxZOZ2NHC gPXAj79f9A2WxLR+06hY9sH45vi0aNeJNvBjY=
  • List-id: Xen developer discussion <xen-devel.lists.xensource.com>

Hi, all:

I disable Rich formatting in gmail, does the format looks good now?
To tinnycloud: hvm_hap_nested_page_fault() will be called when a guest
writes a shared page.

2011/1/11 MaoXiaoyun <tinnycloud@xxxxxxxxxxx>
>
> Hi Tim:
>
>       Sorry for the inconvenience, I think it's better now when I reply 
> directly from hotmail.
>
>       It looks like when unshare(), page_set_owner is forgetten, right?

Inside unshare(), it does the following
(1) page_make_private() --> page_set_owner(page, d) to update
page_info structure. So there is no need for you to add page_set_owner
explicitly.
(2) set_shared_p2m_entry() to update the page table
>From your log file, the page_make_private() is not called/executed
properly. Could you debug into it also?

Thanks,
Jui-Hao

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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.