From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrew Cooper Subject: Re: [PATCH v2] x86/mm: also flush TLB when putting writable foreign page reference Date: Wed, 3 May 2017 10:55:48 +0100 Message-ID: References: <58FF2C060200007800153D45@prv-mh.provo.novell.com> <58FF2C060200007800153D45@prv-mh.provo.novell.com> <20170425105954.GB43635@deinos.phlegethon.org> <5900C5BB020000780015466A@prv-mh.provo.novell.com> <20170426142511.GC28790@deinos.phlegethon.org> <5901D4940200007800154B84@prv-mh.provo.novell.com> <20170427095116.GB26734@deinos.phlegethon.org> <59033B1802000078001551D7@prv-mh.provo.novell.com> <20170502083215.GA90479@deinos.phlegethon.org> <5908645B0200007800155A54@prv-mh.provo.novell.com> <20170502094330.GB90479@deinos.phlegethon.org> <4388f6e6-dc4c-4b24-2283-271882326edf@citrix.com> <5909A10002000078001561F9@prv-mh.provo.novell.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: Received: from mail6.bemta6.messagelabs.com ([193.109.254.103]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1d5r0h-0001Ge-6H for xen-devel@lists.xenproject.org; Wed, 03 May 2017 09:55:51 +0000 In-Reply-To: <5909A10002000078001561F9@prv-mh.provo.novell.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Jan Beulich Cc: xen-devel , Julien Grall , Tim Deegan , Jann Horn List-Id: xen-devel@lists.xenproject.org T24gMDMvMDUvMTcgMDg6MjEsIEphbiBCZXVsaWNoIHdyb3RlOgo+Pj4+IE9uIDAyLjA1LjE3IGF0 IDE5OjM3LCA8YW5kcmV3LmNvb3BlcjNAY2l0cml4LmNvbT4gd3JvdGU6Cj4+IE9uIDAyLzA1LzE3 IDEwOjQzLCBUaW0gRGVlZ2FuIHdyb3RlOgo+Pj4gQXQgMDI6NTAgLTA2MDAgb24gMDIgTWF5ICgx NDkzNjkzNDAzKSwgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4+Pj4gT24gMDIuMDUuMTcgYXQgMTA6 MzIsIDx0aW1AeGVuLm9yZz4gd3JvdGU6Cj4+Pj4+IEF0IDA0OjUyIC0wNjAwIG9uIDI4IEFwciAo MTQ5MzM1NTE2MCksIEphbiBCZXVsaWNoIHdyb3RlOgo+Pj4+Pj4+Pj4gT24gMjcuMDQuMTcgYXQg MTE6NTEsIDx0aW1AeGVuLm9yZz4gd3JvdGU6Cj4+Pj4+Pj4gQXQgMDM6MjMgLTA2MDAgb24gMjcg QXByICgxNDkzMjYzMzgwKSwgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4+Pj4+IC4uLiBpdCB3b3Vs ZG4ndCBiZXR0ZXIgYmUgdGhlIG90aGVyIHdheSBhcm91bmQ6IFdlIHVzZSB0aGUgcGF0Y2gKPj4+ Pj4+Pj4gaW4gaXRzIGN1cnJlbnQgKG9yIGV2ZW4gdjEpIGZvcm0sIGFuZCB0cnkgdG8gZG8gc29t ZXRoaW5nIGFib3V0Cj4+Pj4+Pj4+IHBlcmZvcm1hbmNlIG9ubHkgaWYgd2UgcmVhbGx5IGZpbmQg YSBjYXNlIHdoZXJlIGl0IG1hdHRlcnMuIFRvIGJlCj4+Pj4+Pj4+IGhvbmVzdCwgSSdtIG5vdCBl dmVuIHN1cmUgaG93IEkgY291bGQgbWVhbmluZ2Z1bGx5IG1lYXN1cmUgdGhlCj4+Pj4+Pj4+IGlt cGFjdCBoZXJlOiBTaW1wbHkgY291bnRpbmcgaG93IG1hbnkgZXh0cmEgZmx1c2hlcyB0aGVyZSB3 b3VsZAo+Pj4+Pj4+PiBlbmQgdXAgYmVpbmcgd291bGRuJ3Qgc2VlbSBhbGwgdGhhdCB1c2VmdWws IGFuZCB3aGV0aGVyIHRoZXJlCj4+Pj4+Pj4+IHdvdWxkIGJlIGFueSBtZWFzdXJhYmxlIGRpZmZl cmVuY2UgaW4gdGhlIG92ZXJhbGwgZXhlY3V0aW9uIHRpbWUKPj4+Pj4+Pj4gb2YgZS5nLiBkb21h aW4gY3JlYXRpb24gSSB3b3VsZCBoaWdobHkgZG91YnQgKGJ1dCBpZiBpdCdzIHRoYXQgd2hhdAo+ Pj4+Pj4+PiB5b3UncmUgYWZ0ZXIsIEkgY291bGQgY2VydGFpbmx5IGNvbGxlY3QgYSBmZXcgbnVt YmVycykuCj4+Pj4+Pj4gSSB0aGluayB0aGF0IHdvdWxkIGJlIGEgZ29vZCBpZGVhLCBqdXN0IGFz IGEgc2FuaXR5LWNoZWNrLgo+Pj4+Pj4gQXMgaXQgdHVybnMgb3V0IHRoZXJlIGlzIGEgbWVhc3Vy YWJsZSBlZmZlY3Q6IHhjX2RvbV9ib290X2ltYWdlKCkKPj4+Pj4+IGZvciBhIDRHYiBQViBndWVz dCB0YWtlcyBhYm91dCA3MCUgbG9uZ2VyIG5vdy4gT3RvaCBpdCBpcyBpdHNlbGYKPj4+Pj4+IHJl c3BvbnNpYmxlIGZvciBsZXNzIHRoYW4gMTAlIG9mIHRoZSBvdmVyYWxsIHRpbWUgbGlieGxfX2J1 aWxkX2RvbSgpCj4+Pj4+PiB0YWtlcywgYW5kIHRoYXQgaW4gdHVybiBpcyBvbmx5IGEgcHJldHR5 IHNtYWxsIHBvcnRpb24gb2YgdGhlIG92ZXJhbGwKPj4+Pj4+ICJ4bCBjcmVhdGUiLgo+Pj4+PiBE byB5b3UgdGhpbmsgdGhhdCBzbG93ZG93biBpcyBPSz8gIEknbSBub3Qgc3VyZSAtLSBJJ2QgYmUg aW5jbGluZWQgdG8KPj4+Pj4gYXZvaWQgaXQsIGJ1dCBjb3VsZCBiZSBwZXJzdWFkZWQsIGFuZCBp dCdzIG5vdCBtZSBkb2luZyB0aGUgd29yay4gOikKPj4+PiBXZWxsLCBpZiB0aGVyZSB3YXMgYSB3 YXkgdG8gYXZvaWQgaXQgaW4gYSBjbGVhbiB3YXkgd2l0aG91dCB0b28gbXVjaAo+Pj4+IGNvZGUg Y2h1cm4sIEknZCBiZSBhbGwgZm9yIGF2b2lkaW5nIGl0LiBUaGUgYXZlbnVlcyB3ZSd2ZSBleHBs b3JlZCBzbwo+Pj4+IGZhciBlaXRoZXIgZGlkbid0IHdvcmsgKHVzaW5nIHBnX293bmVyJ3MgZGly dHkgbWFzaykgb3IgZGlkbid0IHByb21pc2UKPj4+PiB0byBhY3R1YWxseSByZWR1Y2UgdGhlIGZs dXNoIG92ZXJoZWFkIGluIGEgbWVhbmluZ2Z1bCB3YXkgKGFkZGluZyBhCj4+Pj4gc2VwYXJhdGUg bWFzayB0byBiZSBtZXJnZWQgaW50byB0aGUgbWFzayB1c2VkIGZvciB0aGUgZmx1c2ggaW4KPj4+ PiBfX2dldF9wYWdlX3R5cGUoKSksIHVubGVzcyAtIGFzIGhhcyBiZWVuIHRoZSBjYXNlIGJlZm9y ZSAtIEkgZGlkbid0Cj4+Pj4gZnVsbHkgdW5kZXJzdGFuZCB5b3VyIHRob3VnaHRzIHRoZXJlLgo+ Pj4gUXVvdGluZyB5b3VyIGVhcmxpZXIgcmVzcG9uc2U6Cj4+Pgo+Pj4+IFdvdWxkbid0IGl0IHN1 ZmZpY2UgdG8gc2V0IGJpdHMgaW4gdGhpcyBtYXNrIGluIHB1dF9wYWdlX2Zyb21fbDFlKCkKPj4+ PiBhbmQgY29uc3VtZS9jbGVhciB0aGVtIGluIF9fZ2V0X3BhZ2VfdHlwZSgpPyBSaWdodCBub3cg SSBjYW4ndAo+Pj4+IHNlZSBpdCBiZWluZyBuZWNlc3NhcnkgZm9yIGNvcnJlY3RuZXNzIHRvIGZp ZGRsZSB3aXRoIGFueSBvZiB0aGUKPj4+PiBvdGhlciBmbHVzaGVzIHVzaW5nIHRoZSBkb21haW4g ZGlydHkgbWFzay4KPj4+Pgo+Pj4+IEJ1dCB0aGVuIGFnYWluIHRoaXMgbWF5IG5vdCBiZSBtdWNo IG9mIGEgd2luLCB1bmxlc3MgdGhlIHB1dAo+Pj4+IG9wZXJhdGlvbnMgY29tZSB0aHJvdWdoIGlu IG1lYW5pbmdmdWwgYmF0Y2hlcywgbm90IGludGVybGVhdmVkCj4+Pj4gYnkgYW55IHR5cGUgY2hh bmdlcyAodGhlIGxhdHRlciBvdWdodCB0byBiZSBndWFyYW50ZWVkIGR1cmluZwo+Pj4+IGRvbWFp biBjb25zdHJ1Y3Rpb24gYW5kIHRlYXJkb3duIGF0IGxlYXN0LCBhcyB0aGUgZ3Vlc3QgaXRzZWxm Cj4+Pj4gY2FuJ3QgZG8gYW55dGhpbmcgYXQgdGhhdCB0aW1lIHRvIGVmZmVjdCB0eXBlIGNoYW5n ZXMpLgo+Pj4gSSdtIG5vdCBzdXJlIGhvdyBtdWNoIGJhdGNoaW5nIHRoZXJlIG5lZWRzIHRvIGJl LiAgSSBhZ3JlZSB0aGF0IHRoZQo+Pj4gZG9tYWluIGNyZWF0aW9uIGNhc2Ugc2hvdWxkIHdvcmsg d2VsbCB0aG91Z2guICBMZXQgbWUgdGhpbmsgYWJvdXQgdGhlCj4+PiBzY2VuYXJpb3Mgd2hlbiBk b20gQiBpcyBsaXZlOgo+Pj4KPj4+IDEuIERvbSBBIGRyb3BzIGl0cyBmb3JlaWduIG1hcCBvZiBw YWdlIFg7IGRvbSBCIGltbWVkaWF0ZWx5IGNoYW5nZXMgdGhlCj4+PiB0eXBlIG9mIHBhZ2UgWC4g IFRoaXMgY2FzZSBpc24ndCBoZWxwZWQgYXQgYWxsLCBidXQgSSBkb24ndCBzZWUgYW55Cj4+PiB3 YXkgdG8gaW1wcm92ZSBpdCAtLSBkb20gQSdzIFRMQnMgbmVlZCB0byBiZSBmbHVzaGVkIHJpZ2h0 IGF3YXkuCj4+Pgo+Pj4gMi4gRG9tIEEgZHJvcHMgaXRzIGZvcmVpZ24gbWFwIG9mIHBhZ2UgWDsg ZG9tIEIgaW1tZWRpYXRlbHkgY2hhbmdlcwo+Pj4gdGhlIHR5cGUgb2YgcGFnZSBZLiAgTm93IGRv bSBBJ3MgZGlydHkgQ1BVcyBhcmUgaW4gdGhlIG5ldyBtYXAsIGJ1dCBCCj4+PiBtYXkgbm90IG5l ZWQgdG8gZmx1c2ggdGhlbSByaWdodCBhd2F5LiAgQiBjYW4gZmlsdGVyIGJ5IHBhZ2UgWSdzCj4+ PiB0aW1lc3RhbXAsIGFuZCBmbHVzaCAoYW5kIGNsZWFyKSBvbmx5IHNvbWUgb2YgdGhlIGNwdXMg aW4gdGhlIG1hcC4KPj4+Cj4+PiBTbyB0aGF0IHNlZW1zIGdvb2QsIGJ1dCB0aGVuIHRoZXJlJ3Mg YSByaXNrIHRoYXQgY3B1cyBuZXZlciBnZXQKPj4+IGNsZWFyZWQgZnJvbSB0aGUgbWFwLCBhbmQg X19nZXRfcGFnZV90eXBlKCkgZW5kcyB1cCBkb2luZyBhIGxvdCBvZgo+Pj4gdW5uZWNlc3Nhcnkg d29yayBmaWx0ZXJpbmcgdGltZXN0YXBzLiAgV2hlbiBpcyBpdCBzYWZlIHRvIHJlbW92ZSBhIENQ VQo+Pj4gZnJvbSB0aGF0IG1hcD8KPj4+ICAtIG9idnMgc2FmZSBpZiB3ZSBJUEkgaXQgdG8gZmx1 c2ggdGhlIFRMQiAodGhvdWdoIG1heSBuZWVkIG1lbW9yeQo+Pj4gICAgYmFycmllcnMgLS0gbmVl ZCB0byB0aGluayBhYm91dCBhIHJhY2Ugd2l0aCBDUFUgQyBwdXR0aW5nIEEgX2ludG9fCj4+PiAg ICB0aGUgbWFwIGF0IHRoZSBzYW1lIHRpbWUuLi4pCj4+PiAgLSB3ZSBjb3VsZCB0cmFjayB0aGUg dGltZXN0YW1wIG9mIHRoZSBtb3N0IHJlY2VudCBhZGRpdGlvbiB0byB0aGUKPj4+ICAgIG1hcCwg YW5kIGRyb3AgYW55IENQVSB3aG9zZSBUTEIgaGFzIGJlZW4gZmx1c2hlZCBzaW5jZSB0aGF0LAo+ Pj4gICAgYnV0IHRoYXQgc3RpbGwgbGV0cyB1bnJlbGF0ZWQgdW5tYXBzIGtlZXAgQ1BVcyBhbGl2 ZSBpbiB0aGUgbWFwLi4uCj4+PiAgLSB3ZSBjb3VsZCBkb3VibGUtYnVmZmVyIHRoZSBtYXA6IGFs d2F5cyBhZGQgQ1BVcyB0byB0aGUgYWN0aXZlIG1hcDsKPj4+ICAgIGZyb20gdGltZSB0byB0aW1l LCBzd2FwIG1hcHMgYW5kIGZsdXNoIGV2ZXJ5dGhpbmcgaW4gdGhlIG5vbi1hY3RpdmUKPj4+ICAg IG1hcCAoZmlsdGVyZWQgYnkgdGhlIFRMQiB0aW1lc3RhbXAgd2hlbiB3ZSBsYXN0IHN3YXBwZWQg b3ZlcikuCj4+Pgo+Pj4gQmFoLCB0aGlzIGlzIHR1cm5pbmcgaW50byBhIHRhciBwaXQuICBMZXQn cyBzdGljayB0byB0aGUgdjIgcGF0Y2ggYXMKPj4+IGJlaW5nIChyZWxhdGl2ZWx5KSBzaW1wbGUg YW5kIGNvcnJlY3QsIGFuZCByZXZpc2l0IHRoaXMgaWYgaXQgY2F1c2VzCj4+PiB0cm91YmxlLiA6 KQo+PiA6KAo+Pgo+PiBBIDcwJSBwZXJmb3JtYW5jZSBoaXQgZm9yIGd1ZXN0IGNyZWF0aW9uIGlz IGNlcnRhaW5seSBnb2luZyB0byBjYXVzZQo+PiBwcm9ibGVtcywgYnV0IHdlIG9idmlvdXNseSBu ZWVkIHRvIHByaW9yaXRpc2UgY29ycmVjdG5lc3MgaW4gdGhpcyBjYXNlLgo+IEhtbSwgeW91IGRp ZCB1bmRlcnN0YW5kIHRoYXQgdGhlIDcwJSBoaXQgaXMgb24gYSBzcGVjaWZpYyBzdWItcGFydAo+ IG9mIHRoZSBvdmVyYWxsIHByb2Nlc3MsIG5vdCBndWVzdCBjcmVhdGlvbiBhcyBhIHdob2xlPyBB bnl3YXksCj4geW91ciByZXBseSBpcyBuZWl0aGVyIGFuIGFjayBub3IgYSBuYWsgbm9yIGFuIGlu ZGljYXRpb24gb2Ygd2hhdCBuZWVkcwo+IHRvIGNoYW5nZSAuLi4KClllcyAtIEkgcmVhbGlzZSBp dCBpc24ndCBhbGwgb2YgZG9tYWluIGNyZWF0aW9uLCBidXQgdGhpcyBwZXJmb3JtYW5jZQpoaXQg d2lsbCBhbHNvIGhpdCBtaWdyYXRpb24sIHFlbXUgRE1BIG1hcHBpbmdzLCBldGMuCgpYZW5TZXJ2 ZXIgaGFzIHN0YXJ0ZWQgYSBzaWRlLWJ5LXNpZGUgcGVyZm9ybWFuY2Ugd29yay11cCBvZiB0aGlz IGNoYW5nZSwKYXMgcHJlc2VudGVkIGF0IHRoZSByb290IG9mIHRoaXMgdGhyZWFkLiAgV2Ugc2hv dWxkIGhvcGVmdWxseSBoYXZlIHNvbWUKbnVtYmVyIGluIHRoZSBuZXh0IGRheSBvciB0d28uCgp+ QW5kcmV3CgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpY ZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHBzOi8vbGlz dHMueGVuLm9yZy94ZW4tZGV2ZWwK