From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Michael S. Tsirkin" Subject: Re: [PATCH RFC 3/4] barriers: convert a control to a data dependency Date: Sun, 6 Jan 2019 23:23:07 -0500 Message-ID: <20190106231756-mutt-send-email-mst@kernel.org> References: <20190102205715.14054-1-mst@redhat.com> <20190102205715.14054-4-mst@redhat.com> <86023cbe-d1ae-a0d6-7b75-26556f1a0c1f@redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 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.org, Luc Van Oostenryck Return-path: Content-Disposition: inline In-Reply-To: <86023cbe-d1ae-a0d6-7b75-26556f1a0c1f@redhat.com> 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 List-Id: netdev.vger.kernel.org T24gTW9uLCBKYW4gMDcsIDIwMTkgYXQgMTE6NTg6MjNBTSArMDgwMCwgSmFzb24gV2FuZyB3cm90 ZToKPiAKPiBPbiAyMDE5LzEvMyDkuIrljYg0OjU3LCBNaWNoYWVsIFMuIFRzaXJraW4gd3JvdGU6 Cj4gPiBJdCdzIG5vdCB1bmNvbW1vbiB0byBoYXZlIHR3byBhY2Nlc3MgdHdvIHVucmVsYXRlZCBt ZW1vcnkgbG9jYXRpb25zIGluIGEKPiA+IHNwZWNpZmljIG9yZGVyLiAgQXQgdGhlIG1vbWVudCBv bmUgaGFzIHRvIHVzZSBhIG1lbW9yeSBiYXJyaWVyIGZvciB0aGlzLgo+ID4gCj4gPiBIb3dldmVy LCBpZiB0aGUgZmlyc3QgYWNjZXNzIHdhcyBhIHJlYWQgYW5kIHRoZSBzZWNvbmQgdXNlZCBhbiBh ZGRyZXNzCj4gPiBkZXBlbmRpbmcgb24gdGhlIGZpcnN0IG9uZSB3ZSB3b3VsZCBoYXZlIGEgZGF0 YSBkZXBlbmRlbmN5IGFuZCBubwo+ID4gYmFycmllciB3b3VsZCBiZSBuZWNlc3NhcnkuCj4gPiAK PiA+IFRoaXMgYWRkcyBhIG5ldyBpbnRlcmZhY2U6IGRlcGVuZGVudF9wdHJfbWIgd2hpY2ggZG9l cyBleGFjdGx5IHRoaXM6IGl0Cj4gPiByZXR1cm5zIGEgcG9pbnRlciB3aXRoIGEgZGF0YSBkZXBl bmRlbmN5IG9uIHRoZSBzdXBwbGllZCB2YWx1ZS4KPiA+IAo+ID4gU2lnbmVkLW9mZi1ieTogTWlj aGFlbCBTLiBUc2lya2luIDxtc3RAcmVkaGF0LmNvbT4KPiA+IC0tLQo+ID4gICBEb2N1bWVudGF0 aW9uL21lbW9yeS1iYXJyaWVycy50eHQgfCAyMCArKysrKysrKysrKysrKysrKysrKwo+ID4gICBh cmNoL2FscGhhL2luY2x1ZGUvYXNtL2JhcnJpZXIuaCAgfCAgMSArCj4gPiAgIGluY2x1ZGUvYXNt LWdlbmVyaWMvYmFycmllci5oICAgICB8IDE4ICsrKysrKysrKysrKysrKysrKwo+ID4gICBpbmNs dWRlL2xpbnV4L2NvbXBpbGVyLmggICAgICAgICAgfCAgNCArKysrCj4gPiAgIDQgZmlsZXMgY2hh bmdlZCwgNDMgaW5zZXJ0aW9ucygrKQo+ID4gCj4gPiBkaWZmIC0tZ2l0IGEvRG9jdW1lbnRhdGlv bi9tZW1vcnktYmFycmllcnMudHh0IGIvRG9jdW1lbnRhdGlvbi9tZW1vcnktYmFycmllcnMudHh0 Cj4gPiBpbmRleCBjMWQ5MTM5NDRhZDguLjlkYmFhMmUxZGJmNiAxMDA2NDQKPiA+IC0tLSBhL0Rv Y3VtZW50YXRpb24vbWVtb3J5LWJhcnJpZXJzLnR4dAo+ID4gKysrIGIvRG9jdW1lbnRhdGlvbi9t ZW1vcnktYmFycmllcnMudHh0Cj4gPiBAQCAtNjkxLDYgKzY5MSwxOCBAQCBjYXNlIHdoYXQncyBh Y3R1YWxseSByZXF1aXJlZCBpczoKPiA+ICAgCQlwID0gUkVBRF9PTkNFKGIpOwo+ID4gICAJfQo+ ID4gK0FsdGVybmF0aXZlbHksIGEgY29udHJvbCBkZXBlbmRlbmN5IGNhbiBiZSBjb252ZXJ0ZWQg dG8gYSBkYXRhIGRlcGVuZGVuY3ksCj4gPiArZS5nLjoKPiA+ICsKPiA+ICsJcSA9IFJFQURfT05D RShhKTsKPiA+ICsJaWYgKHEpIHsKPiA+ICsJCWIgPSBkZXBlbmRlbnRfcHRyX21iKGIsIHEpOwo+ ID4gKwkJcCA9IFJFQURfT05DRShiKTsKPiA+ICsJfQo+ID4gKwo+ID4gK05vdGUgaG93IHRoZSBy ZXN1bHQgb2YgZGVwZW5kZW50X3B0cl9tYiBtdXN0IGJlIHVzZWQgd2l0aCB0aGUgZm9sbG93aW5n Cj4gPiArYWNjZXNzZXMgaW4gb3JkZXIgdG8gaGF2ZSBhbiBlZmZlY3QuCj4gPiArCj4gPiAgIEhv d2V2ZXIsIHN0b3JlcyBhcmUgbm90IHNwZWN1bGF0ZWQuICBUaGlzIG1lYW5zIHRoYXQgb3JkZXJp bmcgLWlzLSBwcm92aWRlZAo+ID4gICBmb3IgbG9hZC1zdG9yZSBjb250cm9sIGRlcGVuZGVuY2ll cywgYXMgaW4gdGhlIGZvbGxvd2luZyBleGFtcGxlOgo+ID4gQEAgLTgzNiw2ICs4NDgsMTIgQEAg b3V0LWd1ZXNzIHlvdXIgY29kZS4gIE1vcmUgZ2VuZXJhbGx5LCBhbHRob3VnaCBSRUFEX09OQ0Uo KSBkb2VzIGZvcmNlCj4gPiAgIHRoZSBjb21waWxlciB0byBhY3R1YWxseSBlbWl0IGNvZGUgZm9y IGEgZ2l2ZW4gbG9hZCwgaXQgZG9lcyBub3QgZm9yY2UKPiA+ICAgdGhlIGNvbXBpbGVyIHRvIHVz ZSB0aGUgcmVzdWx0cy4KPiA+ICtDb252ZXJ0aW5nIHRvIGEgZGF0YSBkZXBlbmRlbmN5IGhlbHBz IHdpdGggdGhpcyB0b286Cj4gPiArCj4gPiArCXEgPSBSRUFEX09OQ0UoYSk7Cj4gPiArCWIgPSBk ZXBlbmRlbnRfcHRyX21iKGIsIHEpOwo+ID4gKwlXUklURV9PTkNFKGIsIDEpOwo+ID4gKwo+ID4g ICBJbiBhZGRpdGlvbiwgY29udHJvbCBkZXBlbmRlbmNpZXMgYXBwbHkgb25seSB0byB0aGUgdGhl bi1jbGF1c2UgYW5kCj4gPiAgIGVsc2UtY2xhdXNlIG9mIHRoZSBpZi1zdGF0ZW1lbnQgaW4gcXVl c3Rpb24uICBJbiBwYXJ0aWN1bGFyLCBpdCBkb2VzCj4gPiAgIG5vdCBuZWNlc3NhcmlseSBhcHBs eSB0byBjb2RlIGZvbGxvd2luZyB0aGUgaWYtc3RhdGVtZW50Ogo+ID4gQEAgLTg3NSw2ICs4OTMs OCBAQCB0byB0aGUgQ1BVIGNvbnRhaW5pbmcgaXQuICBTZWUgdGhlIHNlY3Rpb24gb24gIk11bHRp Y29weSBhdG9taWNpdHkiCj4gPiAgIGZvciBtb3JlIGluZm9ybWF0aW9uLgo+ID4gKwo+ID4gKwo+ ID4gICBJbiBzdW1tYXJ5Ogo+ID4gICAgICgqKSBDb250cm9sIGRlcGVuZGVuY2llcyBjYW4gb3Jk ZXIgcHJpb3IgbG9hZHMgYWdhaW5zdCBsYXRlciBzdG9yZXMuCj4gPiBkaWZmIC0tZ2l0IGEvYXJj aC9hbHBoYS9pbmNsdWRlL2FzbS9iYXJyaWVyLmggYi9hcmNoL2FscGhhL2luY2x1ZGUvYXNtL2Jh cnJpZXIuaAo+ID4gaW5kZXggOTJlYzQ4NmE0ZjllLi5iNDkzNGU4YzU1MWIgMTAwNjQ0Cj4gPiAt LS0gYS9hcmNoL2FscGhhL2luY2x1ZGUvYXNtL2JhcnJpZXIuaAo+ID4gKysrIGIvYXJjaC9hbHBo YS9pbmNsdWRlL2FzbS9iYXJyaWVyLmgKPiA+IEBAIC01OSw2ICs1OSw3IEBACj4gPiAgICAqIGFz IEFscGhhLCAieSIgY291bGQgYmUgc2V0IHRvIDMgYW5kICJ4IiB0byAwLiAgVXNlIHJtYigpCj4g PiAgICAqIGluIGNhc2VzIGxpa2UgdGhpcyB3aGVyZSB0aGVyZSBhcmUgbm8gZGF0YSBkZXBlbmRl bmNpZXMuCj4gPiAgICAqLwo+ID4gKyNkZWZpbmUgQVJDSF9ORUVEU19SRUFEX0JBUlJJRVJfREVQ RU5EUyAxCj4gPiAgICNkZWZpbmUgcmVhZF9iYXJyaWVyX2RlcGVuZHMoKSBfX2FzbV9fIF9fdm9s YXRpbGVfXygibWIiOiA6IDoibWVtb3J5IikKPiA+ICAgI2lmZGVmIENPTkZJR19TTVAKPiA+IGRp ZmYgLS1naXQgYS9pbmNsdWRlL2FzbS1nZW5lcmljL2JhcnJpZXIuaCBiL2luY2x1ZGUvYXNtLWdl bmVyaWMvYmFycmllci5oCj4gPiBpbmRleCAyY2FmZGJiOWFlNGMuLmZhMmUyZWY3MmI2OCAxMDA2 NDQKPiA+IC0tLSBhL2luY2x1ZGUvYXNtLWdlbmVyaWMvYmFycmllci5oCj4gPiArKysgYi9pbmNs dWRlL2FzbS1nZW5lcmljL2JhcnJpZXIuaAo+ID4gQEAgLTcwLDYgKzcwLDI0IEBACj4gPiAgICNk ZWZpbmUgX19zbXBfcmVhZF9iYXJyaWVyX2RlcGVuZHMoKQlyZWFkX2JhcnJpZXJfZGVwZW5kcygp Cj4gPiAgICNlbmRpZgo+ID4gKyNpZiBkZWZpbmVkKENPTVBJTEVSX0hBU19PUFRJTUlaRVJfSElE RV9WQVIpICYmIFwKPiA+ICsJIWRlZmluZWQoQVJDSF9ORUVEU19SRUFEX0JBUlJJRVJfREVQRU5E UykKPiA+ICsKPiA+ICsjZGVmaW5lIGRlcGVuZGVudF9wdHJfbWIocHRyLCB2YWwpICh7CQkJCQlc Cj4gPiArCWxvbmcgZGVwZW5kZW50X3B0cl9tYl92YWwgPSAobG9uZykodmFsKTsJCQlcCj4gPiAr CWxvbmcgZGVwZW5kZW50X3B0cl9tYl9wdHIgPSAobG9uZykocHRyKSAtIGRlcGVuZGVudF9wdHJf bWJfdmFsOwlcCj4gPiArCQkJCQkJCQkJXAo+ID4gKwlCVUlMRF9CVUdfT04oc2l6ZW9mKHZhbCkg PiBzaXplb2YobG9uZykpOwkJCVwKPiA+ICsJT1BUSU1JWkVSX0hJREVfVkFSKGRlcGVuZGVudF9w dHJfbWJfdmFsKTsJCQlcCj4gPiArCSh0eXBlb2YocHRyKSkoZGVwZW5kZW50X3B0cl9tYl9wdHIg KyBkZXBlbmRlbnRfcHRyX21iX3ZhbCk7CVwKPiA+ICt9KQo+ID4gKwo+ID4gKyNlbHNlCj4gPiAr Cj4gPiArI2RlZmluZSBkZXBlbmRlbnRfcHRyX21iKHB0ciwgdmFsKSAoeyBtYigpOyAocHRyKTsg fSkKPiAKPiAKPiBTbyBmb3IgdGhlIGV4YW1wbGUgb2YgcGF0Y2ggNCwgd2UnZCBiZXR0ZXIgZmFs bCBiYWNrIHRvIHJtYigpIG9yIG5lZWQgYQo+IGRlcGVuZGVudF9wdHJfcm1iKCk/Cj4gCj4gVGhh bmtzCgpZb3UgbWVhbiBmb3Igc3Ryb25nbHkgb3JkZXJlZCBhcmNoaXRlY3R1cmVzIGxpa2UgSW50 ZWw/ClllcywgbWF5YmUgaXQgbWFrZXMgc2Vuc2UgdG8gaGF2ZSBkZXBlbmRlbnRfcHRyX3NtcF9y bWIsCmRlcGVuZGVudF9wdHJfZG1hX3JtYiBhbmQgZGVwZW5kZW50X3B0cl92aXJ0X3JtYi4KCm1i IHZhcmlhbnQgaXMgdW51c2VkIHJpZ2h0IG5vdyBzbyBJJ2xsIHJlbW92ZSBpdC4KCgo+IAo+ID4g Kwo+ID4gKyNlbmRpZgo+ID4gKwo+ID4gICAjaWZkZWYgQ09ORklHX1NNUAo+ID4gICAjaWZuZGVm IHNtcF9tYgo+ID4gZGlmZiAtLWdpdCBhL2luY2x1ZGUvbGludXgvY29tcGlsZXIuaCBiL2luY2x1 ZGUvbGludXgvY29tcGlsZXIuaAo+ID4gaW5kZXggNjYwMWQzOWU4YzQ4Li5mNTk5YzMwZjFiMjgg MTAwNjQ0Cj4gPiAtLS0gYS9pbmNsdWRlL2xpbnV4L2NvbXBpbGVyLmgKPiA+ICsrKyBiL2luY2x1 ZGUvbGludXgvY29tcGlsZXIuaAo+ID4gQEAgLTE1Miw5ICsxNTIsMTMgQEAgdm9pZCBmdHJhY2Vf bGlrZWx5X3VwZGF0ZShzdHJ1Y3QgZnRyYWNlX2xpa2VseV9kYXRhICpmLCBpbnQgdmFsLAo+ID4g ICAjZW5kaWYKPiA+ICAgI2lmbmRlZiBPUFRJTUlaRVJfSElERV9WQVIKPiA+ICsKPiA+ICAgLyog TWFrZSB0aGUgb3B0aW1pemVyIGJlbGlldmUgdGhlIHZhcmlhYmxlIGNhbiBiZSBtYW5pcHVsYXRl ZCBhcmJpdHJhcmlseS4gKi8KPiA+ICAgI2RlZmluZSBPUFRJTUlaRVJfSElERV9WQVIodmFyKQkJ CQkJCVwKPiA+ICAgCV9fYXNtX18gKCIiIDogIj1ybSIgKHZhcikgOiAiMCIgKHZhcikpCj4gPiAr Cj4gPiArI2RlZmluZSBDT01QSUxFUl9IQVNfT1BUSU1JWkVSX0hJREVfVkFSIDEKPiA+ICsKPiA+ ICAgI2VuZGlmCj4gPiAgIC8qIE5vdC1xdWl0ZS11bmlxdWUgSUQuICovCl9fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fClZpcnR1YWxpemF0aW9uIG1haWxpbmcg bGlzdApWaXJ0dWFsaXphdGlvbkBsaXN0cy5saW51eC1mb3VuZGF0aW9uLm9yZwpodHRwczovL2xp c3RzLmxpbnV4Zm91bmRhdGlvbi5vcmcvbWFpbG1hbi9saXN0aW5mby92aXJ0dWFsaXphdGlvbg==