From mboxrd@z Thu Jan 1 00:00:00 1970 From: Tim Deegan Subject: Re: [PATCH v2] x86/mm: also flush TLB when putting writable foreign page reference Date: Tue, 2 May 2017 10:43:30 +0100 Message-ID: <20170502094330.GB90479@deinos.phlegethon.org> 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> 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 1d5ULJ-0005Qi-OX for xen-devel@lists.xenproject.org; Tue, 02 May 2017 09:43:37 +0000 Content-Disposition: inline In-Reply-To: <5908645B0200007800155A54@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: Andrew Cooper , Julien Grall , xen-devel , Jann Horn List-Id: xen-devel@lists.xenproject.org QXQgMDI6NTAgLTA2MDAgb24gMDIgTWF5ICgxNDkzNjkzNDAzKSwgSmFuIEJldWxpY2ggd3JvdGU6 Cj4gPj4+IE9uIDAyLjA1LjE3IGF0IDEwOjMyLCA8dGltQHhlbi5vcmc+IHdyb3RlOgo+ID4gQXQg MDQ6NTIgLTA2MDAgb24gMjggQXByICgxNDkzMzU1MTYwKSwgSmFuIEJldWxpY2ggd3JvdGU6Cj4g Pj4gPj4+IE9uIDI3LjA0LjE3IGF0IDExOjUxLCA8dGltQHhlbi5vcmc+IHdyb3RlOgo+ID4+ID4g QXQgMDM6MjMgLTA2MDAgb24gMjcgQXByICgxNDkzMjYzMzgwKSwgSmFuIEJldWxpY2ggd3JvdGU6 Cj4gPj4gPj4gLi4uIGl0IHdvdWxkbid0IGJldHRlciBiZSB0aGUgb3RoZXIgd2F5IGFyb3VuZDog V2UgdXNlIHRoZSBwYXRjaAo+ID4+ID4+IGluIGl0cyBjdXJyZW50IChvciBldmVuIHYxKSBmb3Jt LCBhbmQgdHJ5IHRvIGRvIHNvbWV0aGluZyBhYm91dAo+ID4+ID4+IHBlcmZvcm1hbmNlIG9ubHkg aWYgd2UgcmVhbGx5IGZpbmQgYSBjYXNlIHdoZXJlIGl0IG1hdHRlcnMuIFRvIGJlCj4gPj4gPj4g aG9uZXN0LCBJJ20gbm90IGV2ZW4gc3VyZSBob3cgSSBjb3VsZCBtZWFuaW5nZnVsbHkgbWVhc3Vy ZSB0aGUKPiA+PiA+PiBpbXBhY3QgaGVyZTogU2ltcGx5IGNvdW50aW5nIGhvdyBtYW55IGV4dHJh IGZsdXNoZXMgdGhlcmUgd291bGQKPiA+PiA+PiBlbmQgdXAgYmVpbmcgd291bGRuJ3Qgc2VlbSBh bGwgdGhhdCB1c2VmdWwsIGFuZCB3aGV0aGVyIHRoZXJlCj4gPj4gPj4gd291bGQgYmUgYW55IG1l YXN1cmFibGUgZGlmZmVyZW5jZSBpbiB0aGUgb3ZlcmFsbCBleGVjdXRpb24gdGltZQo+ID4+ID4+ IG9mIGUuZy4gZG9tYWluIGNyZWF0aW9uIEkgd291bGQgaGlnaGx5IGRvdWJ0IChidXQgaWYgaXQn cyB0aGF0IHdoYXQKPiA+PiA+PiB5b3UncmUgYWZ0ZXIsIEkgY291bGQgY2VydGFpbmx5IGNvbGxl Y3QgYSBmZXcgbnVtYmVycykuCj4gPj4gPiAKPiA+PiA+IEkgdGhpbmsgdGhhdCB3b3VsZCBiZSBh IGdvb2QgaWRlYSwganVzdCBhcyBhIHNhbml0eS1jaGVjay4KPiA+PiAKPiA+PiBBcyBpdCB0dXJu cyBvdXQgdGhlcmUgaXMgYSBtZWFzdXJhYmxlIGVmZmVjdDogeGNfZG9tX2Jvb3RfaW1hZ2UoKQo+ ID4+IGZvciBhIDRHYiBQViBndWVzdCB0YWtlcyBhYm91dCA3MCUgbG9uZ2VyIG5vdy4gT3RvaCBp dCBpcyBpdHNlbGYKPiA+PiByZXNwb25zaWJsZSBmb3IgbGVzcyB0aGFuIDEwJSBvZiB0aGUgb3Zl cmFsbCB0aW1lIGxpYnhsX19idWlsZF9kb20oKQo+ID4+IHRha2VzLCBhbmQgdGhhdCBpbiB0dXJu IGlzIG9ubHkgYSBwcmV0dHkgc21hbGwgcG9ydGlvbiBvZiB0aGUgb3ZlcmFsbAo+ID4+ICJ4bCBj cmVhdGUiLgo+ID4gCj4gPiBEbyB5b3UgdGhpbmsgdGhhdCBzbG93ZG93biBpcyBPSz8gIEknbSBu b3Qgc3VyZSAtLSBJJ2QgYmUgaW5jbGluZWQgdG8KPiA+IGF2b2lkIGl0LCBidXQgY291bGQgYmUg cGVyc3VhZGVkLCBhbmQgaXQncyBub3QgbWUgZG9pbmcgdGhlIHdvcmsuIDopCj4gCj4gV2VsbCwg aWYgdGhlcmUgd2FzIGEgd2F5IHRvIGF2b2lkIGl0IGluIGEgY2xlYW4gd2F5IHdpdGhvdXQgdG9v IG11Y2gKPiBjb2RlIGNodXJuLCBJJ2QgYmUgYWxsIGZvciBhdm9pZGluZyBpdC4gVGhlIGF2ZW51 ZXMgd2UndmUgZXhwbG9yZWQgc28KPiBmYXIgZWl0aGVyIGRpZG4ndCB3b3JrICh1c2luZyBwZ19v d25lcidzIGRpcnR5IG1hc2spIG9yIGRpZG4ndCBwcm9taXNlCj4gdG8gYWN0dWFsbHkgcmVkdWNl IHRoZSBmbHVzaCBvdmVyaGVhZCBpbiBhIG1lYW5pbmdmdWwgd2F5IChhZGRpbmcgYQo+IHNlcGFy YXRlIG1hc2sgdG8gYmUgbWVyZ2VkIGludG8gdGhlIG1hc2sgdXNlZCBmb3IgdGhlIGZsdXNoIGlu Cj4gX19nZXRfcGFnZV90eXBlKCkpLCB1bmxlc3MgLSBhcyBoYXMgYmVlbiB0aGUgY2FzZSBiZWZv cmUgLSBJIGRpZG4ndAo+IGZ1bGx5IHVuZGVyc3RhbmQgeW91ciB0aG91Z2h0cyB0aGVyZS4KClF1 b3RpbmcgeW91ciBlYXJsaWVyIHJlc3BvbnNlOgoKPiBXb3VsZG4ndCBpdCBzdWZmaWNlIHRvIHNl dCBiaXRzIGluIHRoaXMgbWFzayBpbiBwdXRfcGFnZV9mcm9tX2wxZSgpCj4gYW5kIGNvbnN1bWUv Y2xlYXIgdGhlbSBpbiBfX2dldF9wYWdlX3R5cGUoKT8gUmlnaHQgbm93IEkgY2FuJ3QKPiBzZWUg aXQgYmVpbmcgbmVjZXNzYXJ5IGZvciBjb3JyZWN0bmVzcyB0byBmaWRkbGUgd2l0aCBhbnkgb2Yg dGhlCj4gb3RoZXIgZmx1c2hlcyB1c2luZyB0aGUgZG9tYWluIGRpcnR5IG1hc2suCj4gCj4gQnV0 IHRoZW4gYWdhaW4gdGhpcyBtYXkgbm90IGJlIG11Y2ggb2YgYSB3aW4sIHVubGVzcyB0aGUgcHV0 Cj4gb3BlcmF0aW9ucyBjb21lIHRocm91Z2ggaW4gbWVhbmluZ2Z1bCBiYXRjaGVzLCBub3QgaW50 ZXJsZWF2ZWQKPiBieSBhbnkgdHlwZSBjaGFuZ2VzICh0aGUgbGF0dGVyIG91Z2h0IHRvIGJlIGd1 YXJhbnRlZWQgZHVyaW5nCj4gZG9tYWluIGNvbnN0cnVjdGlvbiBhbmQgdGVhcmRvd24gYXQgbGVh c3QsIGFzIHRoZSBndWVzdCBpdHNlbGYKPiBjYW4ndCBkbyBhbnl0aGluZyBhdCB0aGF0IHRpbWUg dG8gZWZmZWN0IHR5cGUgY2hhbmdlcykuCgpJJ20gbm90IHN1cmUgaG93IG11Y2ggYmF0Y2hpbmcg dGhlcmUgbmVlZHMgdG8gYmUuICBJIGFncmVlIHRoYXQgdGhlCmRvbWFpbiBjcmVhdGlvbiBjYXNl IHNob3VsZCB3b3JrIHdlbGwgdGhvdWdoLiAgTGV0IG1lIHRoaW5rIGFib3V0IHRoZQpzY2VuYXJp b3Mgd2hlbiBkb20gQiBpcyBsaXZlOgoKMS4gRG9tIEEgZHJvcHMgaXRzIGZvcmVpZ24gbWFwIG9m IHBhZ2UgWDsgZG9tIEIgaW1tZWRpYXRlbHkgY2hhbmdlcyB0aGUKdHlwZSBvZiBwYWdlIFguICBU aGlzIGNhc2UgaXNuJ3QgaGVscGVkIGF0IGFsbCwgYnV0IEkgZG9uJ3Qgc2VlIGFueQp3YXkgdG8g aW1wcm92ZSBpdCAtLSBkb20gQSdzIFRMQnMgbmVlZCB0byBiZSBmbHVzaGVkIHJpZ2h0IGF3YXku CgoyLiBEb20gQSBkcm9wcyBpdHMgZm9yZWlnbiBtYXAgb2YgcGFnZSBYOyBkb20gQiBpbW1lZGlh dGVseSBjaGFuZ2VzCnRoZSB0eXBlIG9mIHBhZ2UgWS4gIE5vdyBkb20gQSdzIGRpcnR5IENQVXMg YXJlIGluIHRoZSBuZXcgbWFwLCBidXQgQgptYXkgbm90IG5lZWQgdG8gZmx1c2ggdGhlbSByaWdo dCBhd2F5LiAgQiBjYW4gZmlsdGVyIGJ5IHBhZ2UgWSdzCnRpbWVzdGFtcCwgYW5kIGZsdXNoIChh bmQgY2xlYXIpIG9ubHkgc29tZSBvZiB0aGUgY3B1cyBpbiB0aGUgbWFwLgoKU28gdGhhdCBzZWVt cyBnb29kLCBidXQgdGhlbiB0aGVyZSdzIGEgcmlzayB0aGF0IGNwdXMgbmV2ZXIgZ2V0CmNsZWFy ZWQgZnJvbSB0aGUgbWFwLCBhbmQgX19nZXRfcGFnZV90eXBlKCkgZW5kcyB1cCBkb2luZyBhIGxv dCBvZgp1bm5lY2Vzc2FyeSB3b3JrIGZpbHRlcmluZyB0aW1lc3RhcHMuICBXaGVuIGlzIGl0IHNh ZmUgdG8gcmVtb3ZlIGEgQ1BVCmZyb20gdGhhdCBtYXA/CiAtIG9idnMgc2FmZSBpZiB3ZSBJUEkg aXQgdG8gZmx1c2ggdGhlIFRMQiAodGhvdWdoIG1heSBuZWVkIG1lbW9yeQogICBiYXJyaWVycyAt LSBuZWVkIHRvIHRoaW5rIGFib3V0IGEgcmFjZSB3aXRoIENQVSBDIHB1dHRpbmcgQSBfaW50b18K ICAgdGhlIG1hcCBhdCB0aGUgc2FtZSB0aW1lLi4uKQogLSB3ZSBjb3VsZCB0cmFjayB0aGUgdGlt ZXN0YW1wIG9mIHRoZSBtb3N0IHJlY2VudCBhZGRpdGlvbiB0byB0aGUKICAgbWFwLCBhbmQgZHJv cCBhbnkgQ1BVIHdob3NlIFRMQiBoYXMgYmVlbiBmbHVzaGVkIHNpbmNlIHRoYXQsCiAgIGJ1dCB0 aGF0IHN0aWxsIGxldHMgdW5yZWxhdGVkIHVubWFwcyBrZWVwIENQVXMgYWxpdmUgaW4gdGhlIG1h cC4uLgogLSB3ZSBjb3VsZCBkb3VibGUtYnVmZmVyIHRoZSBtYXA6IGFsd2F5cyBhZGQgQ1BVcyB0 byB0aGUgYWN0aXZlIG1hcDsKICAgZnJvbSB0aW1lIHRvIHRpbWUsIHN3YXAgbWFwcyBhbmQgZmx1 c2ggZXZlcnl0aGluZyBpbiB0aGUgbm9uLWFjdGl2ZQogICBtYXAgKGZpbHRlcmVkIGJ5IHRoZSBU TEIgdGltZXN0YW1wIHdoZW4gd2UgbGFzdCBzd2FwcGVkIG92ZXIpLgoKQmFoLCB0aGlzIGlzIHR1 cm5pbmcgaW50byBhIHRhciBwaXQuICBMZXQncyBzdGljayB0byB0aGUgdjIgcGF0Y2ggYXMKYmVp bmcgKHJlbGF0aXZlbHkpIHNpbXBsZSBhbmQgY29ycmVjdCwgYW5kIHJldmlzaXQgdGhpcyBpZiBp dCBjYXVzZXMKdHJvdWJsZS4gOikKClRoYW5rcywKClRpbS4KCl9fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fClhlbi1kZXZlbCBtYWlsaW5nIGxpc3QKWGVuLWRl dmVsQGxpc3RzLnhlbi5vcmcKaHR0cHM6Ly9saXN0cy54ZW4ub3JnL3hlbi1kZXZlbAo=