Re: [Xen-devel] page->tlbflush_timestamp

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 11.10.13 at 16:11, æåæ<topcoder9@xxxxxxxxx> wrote:
>       page->tlbflush_timestamp is used to filter and flush the TLB whenever
> type change of page happens. But why does xen flush TLB upon the type
> change?

In order to guarantee that the guest won't use stale TLB entries
to subvert the page type tracking.

> And we already know that guest kernel will flush the TLB in order
> to make the page table modifications take effect.

A malicious guest might not.

Jan

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel