[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH] [Xen] Check FADT's signature


  • To: Stefan Berger <stefanb@xxxxxxxxxx>
  • From: Keir Fraser <keir@xxxxxxxxxxxxx>
  • Date: Fri, 10 Aug 2007 16:58:21 +0100
  • Cc: xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxxxx>
  • Delivery-date: Fri, 10 Aug 2007 08:59:06 -0700
  • List-id: Xen developer discussion <xen-devel.lists.xensource.com>
  • Thread-index: AcfbZ0Y/hLagwUdaEdy2zAAX8io7RQ==
  • Thread-topic: [Xen-devel] [PATCH] [Xen] Check FADT's signature

So the bug could be either that the read is getting hoisted above the pagetable update (unlikely) or that there is a stale TLB entry (more likely). You could discount the first possibility by replacing your local_flush_tlb_pge() with mb() at the end of map_pages_to_xen(). If that does not fix the bug then the problem is not that the read is getting hoisted.

The TLB handling looks correct though — if the modified PTE was not previously empty then we execute an INVLPG on that virtual address. Might be worth adding some tracing around there to see if the code thinks the PTE was previously present, and hence whether the INVLPG actually gets executed?

 -- Keir

On 10/8/07 16:35, "Stefan Berger" <stefanb@xxxxxxxxxx> wrote:

Keir Fraser <keir@xxxxxxxxxxxxx> wrote on 08/10/2007 11:09:43 AM:

> Not by my reading of the code, but your testing shows differently ;-)
>
> Have you tried adding tracing to map_pages_to_xen()? That’s the guts
> of the remapping code.


Now I did...

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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.