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

["Tian, Kevin" <kevin.tian@xxxxxxxxx>]

>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.
>
>Thanks,
>Kevin
>

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.

Thanks,
Kevin

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