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/
Home Products Support Community News


RE: [Xen-ia64-devel] RE: [PATCH] Patch to make latesthgmulti-domainback

To: "Tian, Kevin" <kevin.tian@xxxxxxxxx>, "Magenheimer, Dan \(HP Labs Fort Collins\)" <dan.magenheimer@xxxxxx>
Subject: RE: [Xen-ia64-devel] RE: [PATCH] Patch to make latesthgmulti-domainback to work
From: "Tian, Kevin" <kevin.tian@xxxxxxxxx>
Date: Fri, 9 Sep 2005 11:44:02 +0800
Cc: xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
Delivery-date: Fri, 09 Sep 2005 03:41:48 +0000
Envelope-to: www-data@xxxxxxxxxxxxxxxxxxx
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>
Sender: xen-ia64-devel-bounces@xxxxxxxxxxxxxxxxxxx
Thread-topic: [Xen-ia64-devel] RE: [PATCH] Patch to make latesthgmulti-domainback to work
>From: xen-ia64-devel-bounces@xxxxxxxxxxxxxxxxxxx
>>> > Instead vcpu->arch.dtlb_pte is not touched. So after my patch
>>> > changed match_dtlb to return guest pte, above problematic
>>> > code may leave them out of sync there. Comments?
>>> I agree this is a bug, but I'm not sure it explains
>>> the problem.  I will turn off HYPER_PTC_GA and see
>>            should be FAST_PTC_GA ^^^^^^^^^
>>> if the problem goes away.
>>The problem (PL2 vs PL0) still occurs even with
>>that code turned off.
>When you disable FAST_PTC_GA, it then goes to vcpu_ptc_ga which still
>only handle vcpu->arch.dtlb, without touching vcpu->arch.dtlb_pte. In
>this case, once match_dtlb begins to return guest pte in my patch, it
>may contain stale value since dtlb_pte is not handled in vcpu_ptc_ga.

So what I really mean here is that you should purge dtlb_pte/itlb_pte
(guest pte entry) in vcpu_ptc_ga and hyper_ptc_ga.


Xen-ia64-devel mailing list

<Prev in Thread] Current Thread [Next in Thread>