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 latest hgmulti-domainback

To: "Magenheimer, Dan \(HP Labs Fort Collins\)" <dan.magenheimer@xxxxxx>
Subject: RE: [Xen-ia64-devel] RE: [PATCH] Patch to make latest hgmulti-domainback to work
From: "Tian, Kevin" <kevin.tian@xxxxxxxxx>
Date: Fri, 9 Sep 2005 11:42:28 +0800
Cc: xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
Delivery-date: Fri, 09 Sep 2005 03:40:16 +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 latest hgmulti-domainback to work
>From: Magenheimer, Dan (HP Labs Fort Collins)
>> > 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.


Xen-ia64-devel mailing list

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