From: Andrew Cooper <andrew.cooper3@citrix.com>
To: 李德新 <topcoder9@gmail.com>
Cc: xen-devel@lists.xen.org
Subject: Re: page->tlbflush_timestamp
Date: Fri, 11 Oct 2013 15:17:29 +0100 [thread overview]
Message-ID: <52580879.9090106@citrix.com> (raw)
In-Reply-To: <CAJHuRbQq0=xFhMk57jbKWmX1ahOPGeTpbUs=mWhhuVZ09PHFvQ@mail.gmail.com>
[-- Attachment #1.1: Type: text/plain, Size: 567 bytes --]
On 11/10/13 15:11, 李德新 wrote:
> Hi,
> 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? And we already know that guest kernel will flush the
> TLB in order to make the page table modifications take effect.
>
> Thanks!
>
> Best regards,
> Sam
The comment beside the code you reference explains why this is required
for safety.
On a more pragmatic view however, there is no Xen can trust that guest
kernels are operating correctly.
~Andrew
[-- Attachment #1.2: Type: text/html, Size: 1568 bytes --]
[-- Attachment #2: Type: text/plain, Size: 126 bytes --]
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
prev parent reply other threads:[~2013-10-11 14:17 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-10-11 14:11 page->tlbflush_timestamp 李德新
2013-10-11 14:16 ` page->tlbflush_timestamp Jan Beulich
2013-10-11 14:17 ` Andrew Cooper [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=52580879.9090106@citrix.com \
--to=andrew.cooper3@citrix.com \
--cc=topcoder9@gmail.com \
--cc=xen-devel@lists.xen.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.