Re: [Xen-ia64-devel] [PATCH]: vcpu_match_tr_entry & vcpu_ptc_ga

[Tristan Gingold <Tristan.Gingold@xxxxxxxx>]

Le Jeudi 30 Mars 2006 16:36, Isaku Yamahata a écrit :
> This patch isn't SMP-safe yet.
> Reading of vcpu->arch.dtlb is not protected with respect to IPI
> so that the race still remains.
> (vcpu_translate() is called with psr.i = 1)
HI,

after re-reading code, I think the only possible race is here:

        if (/* is_data && */ vcpu_match_tr_entry(trp,address,rid)) {
                if (vcpu->domain==dom0 && !in_tpa) *pteval = trp->page_flags;

Do you agree ?

Maybe which should force the p bit on pteval ?

Tristan.



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