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

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

>From: Magenheimer, Dan (HP Labs Fort Collins)
[mailto:dan.magenheimer@xxxxxx]
>
>> > 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

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