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] [PATCH 2/9] [P2M/VP step 1] xen: introduce P2M conv

To: Tristan Gingold <Tristan.Gingold@xxxxxxxx>
Subject: Re: [Xen-ia64-devel] [PATCH 2/9] [P2M/VP step 1] xen: introduce P2M conversion
From: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>
Date: Thu, 27 Apr 2006 11:09:06 +0900
Cc: xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
Delivery-date: Wed, 26 Apr 2006 19:09:18 -0700
Envelope-to: www-data@xxxxxxxxxxxxxxxxxx
In-reply-to: <200604261716.21879.Tristan.Gingold@xxxxxxxx>
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: <20060425041209.GA5474%yamahata@xxxxxxxxxxxxx> <200604261716.21879.Tristan.Gingold@xxxxxxxx>
Sender: xen-ia64-devel-bounces@xxxxxxxxxxxxxxxxxxx
User-agent: Mutt/1.4.2.1i
On Wed, Apr 26, 2006 at 05:16:21PM +0200, Tristan Gingold wrote:

> why does domain_page_flush purge TC entries ?
> These entries map virtual addr to mp addr.  If you remove a page from the 
> domain, the next access will be trapped.

I feared the race between ia64_do_page_fault() and removing page.
Smp isn't supported yet for now, it doesn't make sense yet.
Actually I'm not sure and I felt some consideration is necessary
so that I added the comment, "XXX SMP", there.
Presumably xenLinux doesn't issue such a racy operation,
but it is possible in theory.


        cpu0                            cpu1
ia64_do_page_fault()
  translate_domain_pte()

                                        removing page.

  vcpu_itc_no_srlz()
  // bang!

-- 
yamahata

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