From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jason Wang Subject: Re: [PATCH RFC 3/4] barriers: convert a control to a data dependency Date: Mon, 7 Jan 2019 14:50:58 +0800 Message-ID: <155183f3-d03c-5e79-c267-974c502ff5d7@redhat.com> References: <20190102205715.14054-1-mst@redhat.com> <20190102205715.14054-4-mst@redhat.com> <86023cbe-d1ae-a0d6-7b75-26556f1a0c1f@redhat.com> <20190106231756-mutt-send-email-mst@kernel.org> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Return-path: In-Reply-To: <20190106231756-mutt-send-email-mst@kernel.org> Content-Language: en-US List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: virtualization-bounces@lists.linux-foundation.org Errors-To: virtualization-bounces@lists.linux-foundation.org To: "Michael S. Tsirkin" Cc: Andrea Parri , linux-doc@vger.kernel.org, Peter Zijlstra , Akira Yokosawa , Will Deacon , virtualization@lists.linux-foundation.org, David Howells , linux-arch@vger.kernel.org, Jonathan Corbet , linux-sparse@vger.kernel.org, Alan Stern , Matt Turner , "Paul E. McKenney" , Daniel Lustig , Arnd Bergmann , Boqun Feng , Nicholas Piggin , Ivan Kokshaysky , Luc Maranget , Richard Henderson , Jade Alglave , netdev@vger.kernel.org, linux-kernel@vger.kernel.org, linux-alpha@vger.kernel.orgLuc Van Oostenryck List-Id: virtualization@lists.linuxfoundation.org Ck9uIDIwMTkvMS83IOS4i+WNiDEyOjIzLCBNaWNoYWVsIFMuIFRzaXJraW4gd3JvdGU6Cj4gT24g TW9uLCBKYW4gMDcsIDIwMTkgYXQgMTE6NTg6MjNBTSArMDgwMCwgSmFzb24gV2FuZyB3cm90ZToK Pj4gT24gMjAxOS8xLzMg5LiK5Y2INDo1NywgTWljaGFlbCBTLiBUc2lya2luIHdyb3RlOgo+Pj4g SXQncyBub3QgdW5jb21tb24gdG8gaGF2ZSB0d28gYWNjZXNzIHR3byB1bnJlbGF0ZWQgbWVtb3J5 IGxvY2F0aW9ucyBpbiBhCj4+PiBzcGVjaWZpYyBvcmRlci4gIEF0IHRoZSBtb21lbnQgb25lIGhh cyB0byB1c2UgYSBtZW1vcnkgYmFycmllciBmb3IgdGhpcy4KPj4+Cj4+PiBIb3dldmVyLCBpZiB0 aGUgZmlyc3QgYWNjZXNzIHdhcyBhIHJlYWQgYW5kIHRoZSBzZWNvbmQgdXNlZCBhbiBhZGRyZXNz Cj4+PiBkZXBlbmRpbmcgb24gdGhlIGZpcnN0IG9uZSB3ZSB3b3VsZCBoYXZlIGEgZGF0YSBkZXBl bmRlbmN5IGFuZCBubwo+Pj4gYmFycmllciB3b3VsZCBiZSBuZWNlc3NhcnkuCj4+Pgo+Pj4gVGhp cyBhZGRzIGEgbmV3IGludGVyZmFjZTogZGVwZW5kZW50X3B0cl9tYiB3aGljaCBkb2VzIGV4YWN0 bHkgdGhpczogaXQKPj4+IHJldHVybnMgYSBwb2ludGVyIHdpdGggYSBkYXRhIGRlcGVuZGVuY3kg b24gdGhlIHN1cHBsaWVkIHZhbHVlLgo+Pj4KPj4+IFNpZ25lZC1vZmYtYnk6IE1pY2hhZWwgUy4g VHNpcmtpbjxtc3RAcmVkaGF0LmNvbT4KPj4+IC0tLQo+Pj4gICAgRG9jdW1lbnRhdGlvbi9tZW1v cnktYmFycmllcnMudHh0IHwgMjAgKysrKysrKysrKysrKysrKysrKysKPj4+ICAgIGFyY2gvYWxw aGEvaW5jbHVkZS9hc20vYmFycmllci5oICB8ICAxICsKPj4+ICAgIGluY2x1ZGUvYXNtLWdlbmVy aWMvYmFycmllci5oICAgICB8IDE4ICsrKysrKysrKysrKysrKysrKwo+Pj4gICAgaW5jbHVkZS9s aW51eC9jb21waWxlci5oICAgICAgICAgIHwgIDQgKysrKwo+Pj4gICAgNCBmaWxlcyBjaGFuZ2Vk LCA0MyBpbnNlcnRpb25zKCspCj4+Pgo+Pj4gZGlmZiAtLWdpdCBhL0RvY3VtZW50YXRpb24vbWVt b3J5LWJhcnJpZXJzLnR4dCBiL0RvY3VtZW50YXRpb24vbWVtb3J5LWJhcnJpZXJzLnR4dAo+Pj4g aW5kZXggYzFkOTEzOTQ0YWQ4Li45ZGJhYTJlMWRiZjYgMTAwNjQ0Cj4+PiAtLS0gYS9Eb2N1bWVu dGF0aW9uL21lbW9yeS1iYXJyaWVycy50eHQKPj4+ICsrKyBiL0RvY3VtZW50YXRpb24vbWVtb3J5 LWJhcnJpZXJzLnR4dAo+Pj4gQEAgLTY5MSw2ICs2OTEsMTggQEAgY2FzZSB3aGF0J3MgYWN0dWFs bHkgcmVxdWlyZWQgaXM6Cj4+PiAgICAJCXAgPSBSRUFEX09OQ0UoYik7Cj4+PiAgICAJfQo+Pj4g K0FsdGVybmF0aXZlbHksIGEgY29udHJvbCBkZXBlbmRlbmN5IGNhbiBiZSBjb252ZXJ0ZWQgdG8g YSBkYXRhIGRlcGVuZGVuY3ksCj4+PiArZS5nLjoKPj4+ICsKPj4+ICsJcSA9IFJFQURfT05DRShh KTsKPj4+ICsJaWYgKHEpIHsKPj4+ICsJCWIgPSBkZXBlbmRlbnRfcHRyX21iKGIsIHEpOwo+Pj4g KwkJcCA9IFJFQURfT05DRShiKTsKPj4+ICsJfQo+Pj4gKwo+Pj4gK05vdGUgaG93IHRoZSByZXN1 bHQgb2YgZGVwZW5kZW50X3B0cl9tYiBtdXN0IGJlIHVzZWQgd2l0aCB0aGUgZm9sbG93aW5nCj4+ PiArYWNjZXNzZXMgaW4gb3JkZXIgdG8gaGF2ZSBhbiBlZmZlY3QuCj4+PiArCj4+PiAgICBIb3dl dmVyLCBzdG9yZXMgYXJlIG5vdCBzcGVjdWxhdGVkLiAgVGhpcyBtZWFucyB0aGF0IG9yZGVyaW5n IC1pcy0gcHJvdmlkZWQKPj4+ICAgIGZvciBsb2FkLXN0b3JlIGNvbnRyb2wgZGVwZW5kZW5jaWVz LCBhcyBpbiB0aGUgZm9sbG93aW5nIGV4YW1wbGU6Cj4+PiBAQCAtODM2LDYgKzg0OCwxMiBAQCBv dXQtZ3Vlc3MgeW91ciBjb2RlLiAgTW9yZSBnZW5lcmFsbHksIGFsdGhvdWdoIFJFQURfT05DRSgp IGRvZXMgZm9yY2UKPj4+ICAgIHRoZSBjb21waWxlciB0byBhY3R1YWxseSBlbWl0IGNvZGUgZm9y IGEgZ2l2ZW4gbG9hZCwgaXQgZG9lcyBub3QgZm9yY2UKPj4+ICAgIHRoZSBjb21waWxlciB0byB1 c2UgdGhlIHJlc3VsdHMuCj4+PiArQ29udmVydGluZyB0byBhIGRhdGEgZGVwZW5kZW5jeSBoZWxw cyB3aXRoIHRoaXMgdG9vOgo+Pj4gKwo+Pj4gKwlxID0gUkVBRF9PTkNFKGEpOwo+Pj4gKwliID0g ZGVwZW5kZW50X3B0cl9tYihiLCBxKTsKPj4+ICsJV1JJVEVfT05DRShiLCAxKTsKPj4+ICsKPj4+ ICAgIEluIGFkZGl0aW9uLCBjb250cm9sIGRlcGVuZGVuY2llcyBhcHBseSBvbmx5IHRvIHRoZSB0 aGVuLWNsYXVzZSBhbmQKPj4+ICAgIGVsc2UtY2xhdXNlIG9mIHRoZSBpZi1zdGF0ZW1lbnQgaW4g cXVlc3Rpb24uICBJbiBwYXJ0aWN1bGFyLCBpdCBkb2VzCj4+PiAgICBub3QgbmVjZXNzYXJpbHkg YXBwbHkgdG8gY29kZSBmb2xsb3dpbmcgdGhlIGlmLXN0YXRlbWVudDoKPj4+IEBAIC04NzUsNiAr ODkzLDggQEAgdG8gdGhlIENQVSBjb250YWluaW5nIGl0LiAgU2VlIHRoZSBzZWN0aW9uIG9uICJN dWx0aWNvcHkgYXRvbWljaXR5Igo+Pj4gICAgZm9yIG1vcmUgaW5mb3JtYXRpb24uCj4+PiArCj4+ PiArCj4+PiAgICBJbiBzdW1tYXJ5Ogo+Pj4gICAgICAoKikgQ29udHJvbCBkZXBlbmRlbmNpZXMg Y2FuIG9yZGVyIHByaW9yIGxvYWRzIGFnYWluc3QgbGF0ZXIgc3RvcmVzLgo+Pj4gZGlmZiAtLWdp dCBhL2FyY2gvYWxwaGEvaW5jbHVkZS9hc20vYmFycmllci5oIGIvYXJjaC9hbHBoYS9pbmNsdWRl L2FzbS9iYXJyaWVyLmgKPj4+IGluZGV4IDkyZWM0ODZhNGY5ZS4uYjQ5MzRlOGM1NTFiIDEwMDY0 NAo+Pj4gLS0tIGEvYXJjaC9hbHBoYS9pbmNsdWRlL2FzbS9iYXJyaWVyLmgKPj4+ICsrKyBiL2Fy Y2gvYWxwaGEvaW5jbHVkZS9hc20vYmFycmllci5oCj4+PiBAQCAtNTksNiArNTksNyBAQAo+Pj4g ICAgICogYXMgQWxwaGEsICJ5IiBjb3VsZCBiZSBzZXQgdG8gMyBhbmQgIngiIHRvIDAuICBVc2Ug cm1iKCkKPj4+ICAgICAqIGluIGNhc2VzIGxpa2UgdGhpcyB3aGVyZSB0aGVyZSBhcmUgbm8gZGF0 YSBkZXBlbmRlbmNpZXMuCj4+PiAgICAgKi8KPj4+ICsjZGVmaW5lIEFSQ0hfTkVFRFNfUkVBRF9C QVJSSUVSX0RFUEVORFMgMQo+Pj4gICAgI2RlZmluZSByZWFkX2JhcnJpZXJfZGVwZW5kcygpIF9f YXNtX18gX192b2xhdGlsZV9fKCJtYiI6IDogOiJtZW1vcnkiKQo+Pj4gICAgI2lmZGVmIENPTkZJ R19TTVAKPj4+IGRpZmYgLS1naXQgYS9pbmNsdWRlL2FzbS1nZW5lcmljL2JhcnJpZXIuaCBiL2lu Y2x1ZGUvYXNtLWdlbmVyaWMvYmFycmllci5oCj4+PiBpbmRleCAyY2FmZGJiOWFlNGMuLmZhMmUy ZWY3MmI2OCAxMDA2NDQKPj4+IC0tLSBhL2luY2x1ZGUvYXNtLWdlbmVyaWMvYmFycmllci5oCj4+ PiArKysgYi9pbmNsdWRlL2FzbS1nZW5lcmljL2JhcnJpZXIuaAo+Pj4gQEAgLTcwLDYgKzcwLDI0 IEBACj4+PiAgICAjZGVmaW5lIF9fc21wX3JlYWRfYmFycmllcl9kZXBlbmRzKCkJcmVhZF9iYXJy aWVyX2RlcGVuZHMoKQo+Pj4gICAgI2VuZGlmCj4+PiArI2lmIGRlZmluZWQoQ09NUElMRVJfSEFT X09QVElNSVpFUl9ISURFX1ZBUikgJiYgXAo+Pj4gKwkhZGVmaW5lZChBUkNIX05FRURTX1JFQURf QkFSUklFUl9ERVBFTkRTKQo+Pj4gKwo+Pj4gKyNkZWZpbmUgZGVwZW5kZW50X3B0cl9tYihwdHIs IHZhbCkgKHsJCQkJCVwKPj4+ICsJbG9uZyBkZXBlbmRlbnRfcHRyX21iX3ZhbCA9IChsb25nKSh2 YWwpOwkJCVwKPj4+ICsJbG9uZyBkZXBlbmRlbnRfcHRyX21iX3B0ciA9IChsb25nKShwdHIpIC0g ZGVwZW5kZW50X3B0cl9tYl92YWw7CVwKPj4+ICsJCQkJCQkJCQlcCj4+PiArCUJVSUxEX0JVR19P TihzaXplb2YodmFsKSA+IHNpemVvZihsb25nKSk7CQkJXAo+Pj4gKwlPUFRJTUlaRVJfSElERV9W QVIoZGVwZW5kZW50X3B0cl9tYl92YWwpOwkJCVwKPj4+ICsJKHR5cGVvZihwdHIpKShkZXBlbmRl bnRfcHRyX21iX3B0ciArIGRlcGVuZGVudF9wdHJfbWJfdmFsKTsJXAo+Pj4gK30pCj4+PiArCj4+ PiArI2Vsc2UKPj4+ICsKPj4+ICsjZGVmaW5lIGRlcGVuZGVudF9wdHJfbWIocHRyLCB2YWwpICh7 IG1iKCk7IChwdHIpOyB9KQo+PiBTbyBmb3IgdGhlIGV4YW1wbGUgb2YgcGF0Y2ggNCwgd2UnZCBi ZXR0ZXIgZmFsbCBiYWNrIHRvIHJtYigpIG9yIG5lZWQgYQo+PiBkZXBlbmRlbnRfcHRyX3JtYigp Pwo+Pgo+PiBUaGFua3MKPiBZb3UgbWVhbiBmb3Igc3Ryb25nbHkgb3JkZXJlZCBhcmNoaXRlY3R1 cmVzIGxpa2UgSW50ZWw/Cj4gWWVzLCBtYXliZSBpdCBtYWtlcyBzZW5zZSB0byBoYXZlIGRlcGVu ZGVudF9wdHJfc21wX3JtYiwKPiBkZXBlbmRlbnRfcHRyX2RtYV9ybWIgYW5kIGRlcGVuZGVudF9w dHJfdmlydF9ybWIuCj4KPiBtYiB2YXJpYW50IGlzIHVudXNlZCByaWdodCBub3cgc28gSSdsbCBy ZW1vdmUgaXQuCj4KPgoKWWVzLgoKVGhhbmtzCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX18KVmlydHVhbGl6YXRpb24gbWFpbGluZyBsaXN0ClZpcnR1YWxp emF0aW9uQGxpc3RzLmxpbnV4LWZvdW5kYXRpb24ub3JnCmh0dHBzOi8vbGlzdHMubGludXhmb3Vu ZGF0aW9uLm9yZy9tYWlsbWFuL2xpc3RpbmZvL3ZpcnR1YWxpemF0aW9u