From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Jan Beulich" Subject: Re: [PATCH v2] x86/mm: also flush TLB when putting writable foreign page reference Date: Wed, 03 May 2017 01:21:04 -0600 Message-ID: <5909A10002000078001561F9@prv-mh.provo.novell.com> 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> 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 1d5ob0-00025T-5j for xen-devel@lists.xenproject.org; Wed, 03 May 2017 07:21:10 +0000 In-Reply-To: <4388f6e6-dc4c-4b24-2283-271882326edf@citrix.com> Content-Disposition: inline List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Andrew Cooper Cc: xen-devel , Julien Grall , Tim Deegan , Jann Horn List-Id: xen-devel@lists.xenproject.org Pj4+IE9uIDAyLjA1LjE3IGF0IDE5OjM3LCA8YW5kcmV3LmNvb3BlcjNAY2l0cml4LmNvbT4gd3Jv dGU6Cj4gT24gMDIvMDUvMTcgMTA6NDMsIFRpbSBEZWVnYW4gd3JvdGU6Cj4+IEF0IDAyOjUwIC0w NjAwIG9uIDAyIE1heSAoMTQ5MzY5MzQwMyksIEphbiBCZXVsaWNoIHdyb3RlOgo+Pj4+Pj4gT24g MDIuMDUuMTcgYXQgMTA6MzIsIDx0aW1AeGVuLm9yZz4gd3JvdGU6Cj4+Pj4gQXQgMDQ6NTIgLTA2 MDAgb24gMjggQXByICgxNDkzMzU1MTYwKSwgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4+Pj4+IE9u IDI3LjA0LjE3IGF0IDExOjUxLCA8dGltQHhlbi5vcmc+IHdyb3RlOgo+Pj4+Pj4gQXQgMDM6MjMg LTA2MDAgb24gMjcgQXByICgxNDkzMjYzMzgwKSwgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4+Pj4g Li4uIGl0IHdvdWxkbid0IGJldHRlciBiZSB0aGUgb3RoZXIgd2F5IGFyb3VuZDogV2UgdXNlIHRo ZSBwYXRjaAo+Pj4+Pj4+IGluIGl0cyBjdXJyZW50IChvciBldmVuIHYxKSBmb3JtLCBhbmQgdHJ5 IHRvIGRvIHNvbWV0aGluZyBhYm91dAo+Pj4+Pj4+IHBlcmZvcm1hbmNlIG9ubHkgaWYgd2UgcmVh bGx5IGZpbmQgYSBjYXNlIHdoZXJlIGl0IG1hdHRlcnMuIFRvIGJlCj4+Pj4+Pj4gaG9uZXN0LCBJ J20gbm90IGV2ZW4gc3VyZSBob3cgSSBjb3VsZCBtZWFuaW5nZnVsbHkgbWVhc3VyZSB0aGUKPj4+ Pj4+PiBpbXBhY3QgaGVyZTogU2ltcGx5IGNvdW50aW5nIGhvdyBtYW55IGV4dHJhIGZsdXNoZXMg dGhlcmUgd291bGQKPj4+Pj4+PiBlbmQgdXAgYmVpbmcgd291bGRuJ3Qgc2VlbSBhbGwgdGhhdCB1 c2VmdWwsIGFuZCB3aGV0aGVyIHRoZXJlCj4+Pj4+Pj4gd291bGQgYmUgYW55IG1lYXN1cmFibGUg ZGlmZmVyZW5jZSBpbiB0aGUgb3ZlcmFsbCBleGVjdXRpb24gdGltZQo+Pj4+Pj4+IG9mIGUuZy4g ZG9tYWluIGNyZWF0aW9uIEkgd291bGQgaGlnaGx5IGRvdWJ0IChidXQgaWYgaXQncyB0aGF0IHdo YXQKPj4+Pj4+PiB5b3UncmUgYWZ0ZXIsIEkgY291bGQgY2VydGFpbmx5IGNvbGxlY3QgYSBmZXcg bnVtYmVycykuCj4+Pj4+PiBJIHRoaW5rIHRoYXQgd291bGQgYmUgYSBnb29kIGlkZWEsIGp1c3Qg YXMgYSBzYW5pdHktY2hlY2suCj4+Pj4+IEFzIGl0IHR1cm5zIG91dCB0aGVyZSBpcyBhIG1lYXN1 cmFibGUgZWZmZWN0OiB4Y19kb21fYm9vdF9pbWFnZSgpCj4+Pj4+IGZvciBhIDRHYiBQViBndWVz dCB0YWtlcyBhYm91dCA3MCUgbG9uZ2VyIG5vdy4gT3RvaCBpdCBpcyBpdHNlbGYKPj4+Pj4gcmVz cG9uc2libGUgZm9yIGxlc3MgdGhhbiAxMCUgb2YgdGhlIG92ZXJhbGwgdGltZSBsaWJ4bF9fYnVp bGRfZG9tKCkKPj4+Pj4gdGFrZXMsIGFuZCB0aGF0IGluIHR1cm4gaXMgb25seSBhIHByZXR0eSBz bWFsbCBwb3J0aW9uIG9mIHRoZSBvdmVyYWxsCj4+Pj4+ICJ4bCBjcmVhdGUiLgo+Pj4+IERvIHlv dSB0aGluayB0aGF0IHNsb3dkb3duIGlzIE9LPyAgSSdtIG5vdCBzdXJlIC0tIEknZCBiZSBpbmNs aW5lZCB0bwo+Pj4+IGF2b2lkIGl0LCBidXQgY291bGQgYmUgcGVyc3VhZGVkLCBhbmQgaXQncyBu b3QgbWUgZG9pbmcgdGhlIHdvcmsuIDopCj4+PiBXZWxsLCBpZiB0aGVyZSB3YXMgYSB3YXkgdG8g YXZvaWQgaXQgaW4gYSBjbGVhbiB3YXkgd2l0aG91dCB0b28gbXVjaAo+Pj4gY29kZSBjaHVybiwg SSdkIGJlIGFsbCBmb3IgYXZvaWRpbmcgaXQuIFRoZSBhdmVudWVzIHdlJ3ZlIGV4cGxvcmVkIHNv Cj4+PiBmYXIgZWl0aGVyIGRpZG4ndCB3b3JrICh1c2luZyBwZ19vd25lcidzIGRpcnR5IG1hc2sp IG9yIGRpZG4ndCBwcm9taXNlCj4+PiB0byBhY3R1YWxseSByZWR1Y2UgdGhlIGZsdXNoIG92ZXJo ZWFkIGluIGEgbWVhbmluZ2Z1bCB3YXkgKGFkZGluZyBhCj4+PiBzZXBhcmF0ZSBtYXNrIHRvIGJl IG1lcmdlZCBpbnRvIHRoZSBtYXNrIHVzZWQgZm9yIHRoZSBmbHVzaCBpbgo+Pj4gX19nZXRfcGFn ZV90eXBlKCkpLCB1bmxlc3MgLSBhcyBoYXMgYmVlbiB0aGUgY2FzZSBiZWZvcmUgLSBJIGRpZG4n dAo+Pj4gZnVsbHkgdW5kZXJzdGFuZCB5b3VyIHRob3VnaHRzIHRoZXJlLgo+PiBRdW90aW5nIHlv dXIgZWFybGllciByZXNwb25zZToKPj4KPj4+IFdvdWxkbid0IGl0IHN1ZmZpY2UgdG8gc2V0IGJp dHMgaW4gdGhpcyBtYXNrIGluIHB1dF9wYWdlX2Zyb21fbDFlKCkKPj4+IGFuZCBjb25zdW1lL2Ns ZWFyIHRoZW0gaW4gX19nZXRfcGFnZV90eXBlKCk/IFJpZ2h0IG5vdyBJIGNhbid0Cj4+PiBzZWUg aXQgYmVpbmcgbmVjZXNzYXJ5IGZvciBjb3JyZWN0bmVzcyB0byBmaWRkbGUgd2l0aCBhbnkgb2Yg dGhlCj4+PiBvdGhlciBmbHVzaGVzIHVzaW5nIHRoZSBkb21haW4gZGlydHkgbWFzay4KPj4+Cj4+ PiBCdXQgdGhlbiBhZ2FpbiB0aGlzIG1heSBub3QgYmUgbXVjaCBvZiBhIHdpbiwgdW5sZXNzIHRo ZSBwdXQKPj4+IG9wZXJhdGlvbnMgY29tZSB0aHJvdWdoIGluIG1lYW5pbmdmdWwgYmF0Y2hlcywg bm90IGludGVybGVhdmVkCj4+PiBieSBhbnkgdHlwZSBjaGFuZ2VzICh0aGUgbGF0dGVyIG91Z2h0 IHRvIGJlIGd1YXJhbnRlZWQgZHVyaW5nCj4+PiBkb21haW4gY29uc3RydWN0aW9uIGFuZCB0ZWFy ZG93biBhdCBsZWFzdCwgYXMgdGhlIGd1ZXN0IGl0c2VsZgo+Pj4gY2FuJ3QgZG8gYW55dGhpbmcg YXQgdGhhdCB0aW1lIHRvIGVmZmVjdCB0eXBlIGNoYW5nZXMpLgo+PiBJJ20gbm90IHN1cmUgaG93 IG11Y2ggYmF0Y2hpbmcgdGhlcmUgbmVlZHMgdG8gYmUuICBJIGFncmVlIHRoYXQgdGhlCj4+IGRv bWFpbiBjcmVhdGlvbiBjYXNlIHNob3VsZCB3b3JrIHdlbGwgdGhvdWdoLiAgTGV0IG1lIHRoaW5r IGFib3V0IHRoZQo+PiBzY2VuYXJpb3Mgd2hlbiBkb20gQiBpcyBsaXZlOgo+Pgo+PiAxLiBEb20g QSBkcm9wcyBpdHMgZm9yZWlnbiBtYXAgb2YgcGFnZSBYOyBkb20gQiBpbW1lZGlhdGVseSBjaGFu Z2VzIHRoZQo+PiB0eXBlIG9mIHBhZ2UgWC4gIFRoaXMgY2FzZSBpc24ndCBoZWxwZWQgYXQgYWxs LCBidXQgSSBkb24ndCBzZWUgYW55Cj4+IHdheSB0byBpbXByb3ZlIGl0IC0tIGRvbSBBJ3MgVExC cyBuZWVkIHRvIGJlIGZsdXNoZWQgcmlnaHQgYXdheS4KPj4KPj4gMi4gRG9tIEEgZHJvcHMgaXRz IGZvcmVpZ24gbWFwIG9mIHBhZ2UgWDsgZG9tIEIgaW1tZWRpYXRlbHkgY2hhbmdlcwo+PiB0aGUg dHlwZSBvZiBwYWdlIFkuICBOb3cgZG9tIEEncyBkaXJ0eSBDUFVzIGFyZSBpbiB0aGUgbmV3IG1h cCwgYnV0IEIKPj4gbWF5IG5vdCBuZWVkIHRvIGZsdXNoIHRoZW0gcmlnaHQgYXdheS4gIEIgY2Fu IGZpbHRlciBieSBwYWdlIFkncwo+PiB0aW1lc3RhbXAsIGFuZCBmbHVzaCAoYW5kIGNsZWFyKSBv bmx5IHNvbWUgb2YgdGhlIGNwdXMgaW4gdGhlIG1hcC4KPj4KPj4gU28gdGhhdCBzZWVtcyBnb29k LCBidXQgdGhlbiB0aGVyZSdzIGEgcmlzayB0aGF0IGNwdXMgbmV2ZXIgZ2V0Cj4+IGNsZWFyZWQg ZnJvbSB0aGUgbWFwLCBhbmQgX19nZXRfcGFnZV90eXBlKCkgZW5kcyB1cCBkb2luZyBhIGxvdCBv Zgo+PiB1bm5lY2Vzc2FyeSB3b3JrIGZpbHRlcmluZyB0aW1lc3RhcHMuICBXaGVuIGlzIGl0IHNh ZmUgdG8gcmVtb3ZlIGEgQ1BVCj4+IGZyb20gdGhhdCBtYXA/Cj4+ICAtIG9idnMgc2FmZSBpZiB3 ZSBJUEkgaXQgdG8gZmx1c2ggdGhlIFRMQiAodGhvdWdoIG1heSBuZWVkIG1lbW9yeQo+PiAgICBi YXJyaWVycyAtLSBuZWVkIHRvIHRoaW5rIGFib3V0IGEgcmFjZSB3aXRoIENQVSBDIHB1dHRpbmcg QSBfaW50b18KPj4gICAgdGhlIG1hcCBhdCB0aGUgc2FtZSB0aW1lLi4uKQo+PiAgLSB3ZSBjb3Vs ZCB0cmFjayB0aGUgdGltZXN0YW1wIG9mIHRoZSBtb3N0IHJlY2VudCBhZGRpdGlvbiB0byB0aGUK Pj4gICAgbWFwLCBhbmQgZHJvcCBhbnkgQ1BVIHdob3NlIFRMQiBoYXMgYmVlbiBmbHVzaGVkIHNp bmNlIHRoYXQsCj4+ICAgIGJ1dCB0aGF0IHN0aWxsIGxldHMgdW5yZWxhdGVkIHVubWFwcyBrZWVw IENQVXMgYWxpdmUgaW4gdGhlIG1hcC4uLgo+PiAgLSB3ZSBjb3VsZCBkb3VibGUtYnVmZmVyIHRo ZSBtYXA6IGFsd2F5cyBhZGQgQ1BVcyB0byB0aGUgYWN0aXZlIG1hcDsKPj4gICAgZnJvbSB0aW1l IHRvIHRpbWUsIHN3YXAgbWFwcyBhbmQgZmx1c2ggZXZlcnl0aGluZyBpbiB0aGUgbm9uLWFjdGl2 ZQo+PiAgICBtYXAgKGZpbHRlcmVkIGJ5IHRoZSBUTEIgdGltZXN0YW1wIHdoZW4gd2UgbGFzdCBz d2FwcGVkIG92ZXIpLgo+Pgo+PiBCYWgsIHRoaXMgaXMgdHVybmluZyBpbnRvIGEgdGFyIHBpdC4g IExldCdzIHN0aWNrIHRvIHRoZSB2MiBwYXRjaCBhcwo+PiBiZWluZyAocmVsYXRpdmVseSkgc2lt cGxlIGFuZCBjb3JyZWN0LCBhbmQgcmV2aXNpdCB0aGlzIGlmIGl0IGNhdXNlcwo+PiB0cm91Ymxl LiA6KQo+IAo+IDooCj4gCj4gQSA3MCUgcGVyZm9ybWFuY2UgaGl0IGZvciBndWVzdCBjcmVhdGlv biBpcyBjZXJ0YWlubHkgZ29pbmcgdG8gY2F1c2UKPiBwcm9ibGVtcywgYnV0IHdlIG9idmlvdXNs eSBuZWVkIHRvIHByaW9yaXRpc2UgY29ycmVjdG5lc3MgaW4gdGhpcyBjYXNlLgoKSG1tLCB5b3Ug ZGlkIHVuZGVyc3RhbmQgdGhhdCB0aGUgNzAlIGhpdCBpcyBvbiBhIHNwZWNpZmljIHN1Yi1wYXJ0 Cm9mIHRoZSBvdmVyYWxsIHByb2Nlc3MsIG5vdCBndWVzdCBjcmVhdGlvbiBhcyBhIHdob2xlPyBB bnl3YXksCnlvdXIgcmVwbHkgaXMgbmVpdGhlciBhbiBhY2sgbm9yIGEgbmFrIG5vciBhbiBpbmRp Y2F0aW9uIG9mIHdoYXQgbmVlZHMKdG8gY2hhbmdlIC4uLgoKSmFuCgpfX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhl bi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHBzOi8vbGlzdHMueGVuLm9yZy94ZW4tZGV2ZWwK