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: Mon, 7 Jan 2019 14:13:29 -0500 Message-ID: <20190107140447-mutt-send-email-mst__14336.4032068805$1546888300$gmane$org@kernel.org> 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> <20190107094610.GA2861@worktop.programming.kicks-ass.net> <20190107082223-mutt-send-email-mst@kernel.org> <20190107190236.GF1215@linux.ibm.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: Content-Disposition: inline In-Reply-To: <20190107190236.GF1215@linux.ibm.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 To: "Paul E. McKenney" 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 , Jade Alglave , Boqun Feng , Arnd Bergmann , Daniel Lustig , Nicholas Piggin , Ivan Kokshaysky , Luc Maranget , Richard Henderson , netdev@vger.kernel.org, linux-kernel@vger.kernel.org, linux-alpha@vger.kernel.org, Luc Van Oostenryck List-Id: virtualization@lists.linuxfoundation.org T24gTW9uLCBKYW4gMDcsIDIwMTkgYXQgMTE6MDI6MzZBTSAtMDgwMCwgUGF1bCBFLiBNY0tlbm5l eSB3cm90ZToKPiBPbiBNb24sIEphbiAwNywgMjAxOSBhdCAwODozNjozNkFNIC0wNTAwLCBNaWNo YWVsIFMuIFRzaXJraW4gd3JvdGU6Cj4gPiBPbiBNb24sIEphbiAwNywgMjAxOSBhdCAxMDo0Njox MEFNICswMTAwLCBQZXRlciBaaWpsc3RyYSB3cm90ZToKPiA+ID4gT24gU3VuLCBKYW4gMDYsIDIw MTkgYXQgMTE6MjM6MDdQTSAtMDUwMCwgTWljaGFlbCBTLiBUc2lya2luIHdyb3RlOgo+ID4gPiA+ IE9uIE1vbiwgSmFuIDA3LCAyMDE5IGF0IDExOjU4OjIzQU0gKzA4MDAsIEphc29uIFdhbmcgd3Jv dGU6Cj4gPiA+ID4gPiBPbiAyMDE5LzEvMyDkuIrljYg0OjU3LCBNaWNoYWVsIFMuIFRzaXJraW4g d3JvdGU6Cj4gPiA+IAo+ID4gPiA+ID4gPiArI2lmIGRlZmluZWQoQ09NUElMRVJfSEFTX09QVElN SVpFUl9ISURFX1ZBUikgJiYgXAo+ID4gPiA+ID4gPiArCSFkZWZpbmVkKEFSQ0hfTkVFRFNfUkVB RF9CQVJSSUVSX0RFUEVORFMpCj4gPiA+ID4gPiA+ICsKPiA+ID4gPiA+ID4gKyNkZWZpbmUgZGVw ZW5kZW50X3B0cl9tYihwdHIsIHZhbCkgKHsJCQkJCVwKPiA+ID4gPiA+ID4gKwlsb25nIGRlcGVu ZGVudF9wdHJfbWJfdmFsID0gKGxvbmcpKHZhbCk7CQkJXAo+ID4gPiA+ID4gPiArCWxvbmcgZGVw ZW5kZW50X3B0cl9tYl9wdHIgPSAobG9uZykocHRyKSAtIGRlcGVuZGVudF9wdHJfbWJfdmFsOwlc Cj4gPiA+ID4gPiA+ICsJCQkJCQkJCQlcCj4gPiA+ID4gPiA+ICsJQlVJTERfQlVHX09OKHNpemVv Zih2YWwpID4gc2l6ZW9mKGxvbmcpKTsJCQlcCj4gPiA+ID4gPiA+ICsJT1BUSU1JWkVSX0hJREVf VkFSKGRlcGVuZGVudF9wdHJfbWJfdmFsKTsJCQlcCj4gPiA+ID4gPiA+ICsJKHR5cGVvZihwdHIp KShkZXBlbmRlbnRfcHRyX21iX3B0ciArIGRlcGVuZGVudF9wdHJfbWJfdmFsKTsJXAo+ID4gPiA+ ID4gPiArfSkKPiA+ID4gPiA+ID4gKwo+ID4gPiA+ID4gPiArI2Vsc2UKPiA+ID4gPiA+ID4gKwo+ ID4gPiA+ID4gPiArI2RlZmluZSBkZXBlbmRlbnRfcHRyX21iKHB0ciwgdmFsKSAoeyBtYigpOyAo cHRyKTsgfSkKPiA+ID4gPiA+IAo+ID4gPiA+ID4gCj4gPiA+ID4gPiBTbyBmb3IgdGhlIGV4YW1w bGUgb2YgcGF0Y2ggNCwgd2UnZCBiZXR0ZXIgZmFsbCBiYWNrIHRvIHJtYigpIG9yIG5lZWQgYQo+ ID4gPiA+ID4gZGVwZW5kZW50X3B0cl9ybWIoKT8KPiA+ID4gPiA+IAo+ID4gPiA+ID4gVGhhbmtz Cj4gPiA+ID4gCj4gPiA+ID4gWW91IG1lYW4gZm9yIHN0cm9uZ2x5IG9yZGVyZWQgYXJjaGl0ZWN0 dXJlcyBsaWtlIEludGVsPwo+ID4gPiA+IFllcywgbWF5YmUgaXQgbWFrZXMgc2Vuc2UgdG8gaGF2 ZSBkZXBlbmRlbnRfcHRyX3NtcF9ybWIsCj4gPiA+ID4gZGVwZW5kZW50X3B0cl9kbWFfcm1iIGFu ZCBkZXBlbmRlbnRfcHRyX3ZpcnRfcm1iLgo+ID4gPiA+IAo+ID4gPiA+IG1iIHZhcmlhbnQgaXMg dW51c2VkIHJpZ2h0IG5vdyBzbyBJJ2xsIHJlbW92ZSBpdC4KPiA+ID4gCj4gPiA+IEhvdyBhYm91 dCBuYW1pbmcgdGhlIHRoaW5nOiBkZXBlbmRlbnRfcHRyKCkgPyBUaGF0IGlzIHdpdGhvdXQgYW55 IChyKW1iCj4gPiA+IGltcGxpY2F0aW9ucyBhdCBhbGwuIFRoZSBhZGRyZXNzIGRlcGVuZGVuY3kg aXMgc3RyaWN0bHkgd2Vha2VyIHRoYW4gYW4KPiA+ID4gcm1iIGluIHRoYXQgaXQgd2lsbCBvbmx5 IG9yZGVyIHRoZSB0d28gbG9hZHMgaW4gcWVzdGlvbiBhbmQgbm90LCBsaWtlCj4gPiA+IHJtYiwg YW55IHByaW9yIHRvIGFueSBsYXRlciBsb2FkLgo+ID4gCj4gPiBTbyBJJ20gZmluZSB3aXRoIHRo aXMgYXMgaXQncyBlbm91Z2ggZm9yIHZpcnRpbywgYnV0IEkgd291bGQgbGlrZSB0byBwb2ludCBv dXQgdHdvIHRoaW5nczoKPiA+IAo+ID4gMS4gRS5nLiBvbiB4ODYgYm90aCBTTVAgYW5kIERNQSB2 YXJpYW50cyBjYW4gYmUgTk9QcyBidXQKPiA+IHRoZSBtYWRhdG9yeSBvbmUgY2FuJ3QsIHNvIGFz c3VtaW5nIHdlIGRvIG5vdCB3YW50Cj4gPiBpdCB0byBiZSBzdHJvbmdlciB0aGFuIHJtcCB0aGVu IGVpdGhlciB3ZSB3YW50Cj4gPiBzbXBfZGVwZW5kZW50X3B0cigpLCBkbWFfZGVwZW5kZW50X3B0 cigpLCBkZXBlbmRlbnRfcHRyKCkKPiA+IG9yIHdlIGp1c3Qgd2lsbCBzcGVjaWZ5IHRoYXQgZGVw ZW5kZW50X3B0cigpIHdvcmtzIGZvcgo+ID4gYm90aCBETUEgYW5kIFNNUC4KPiA+IAo+ID4gMi4g RG93biB0aGUgcm9hZCwgc29tZW9uZSBtaWdodCB3YW50IHRvIG9yZGVyIGEgc3RvcmUgYWZ0ZXIg YSBsb2FkLgo+ID4gQWRkcmVzcyBkZXBlbmRlbmN5IGRvZXMgdGhhdCBmb3IgdXMgdG9vLiBBc3N1 bWluZyB3ZSBtYWtlCj4gPiBkZXBlbmRlbnRfcHRyIGEgTk9QIG9uIHg4Niwgd2Ugd2lsbCB3YW50 IGFuIG1iIHZhcmlhbnQKPiA+IHdoaWNoIGlzbid0IGEgTk9QIG9uIHg4Ni4gV2lsbCB3ZSB3YW50 IHRvIHJlbmFtZQo+ID4gZGVwZW5kZW50X3B0ciB0byBkZXBlbmRlbnRfcHRyX3JtYiBhdCB0aGF0 IHBvaW50Pwo+IAo+IEJ1dCB4ODYgcHJlc2VydmVzIHN0b3JlLWFmdGVyLWxvYWQgb3JkZXJpbmdz IGFueXdheSwgYW5kIGV2ZW4gQWxwaGEKPiByZXNwZWN0cyBvcmRlcmluZyBmcm9tIGxvYWRzIHRv IGRlcGVuZGVudCBzdG9yZXMuICBTbyB3aGF0IGFtIEkgbWlzc2luZwo+IGhlcmU/Cj4gCj4gCQkJ CQkJCVRoYW54LCBQYXVsCgpPaCB5b3UgYXJlIHJpZ2h0LiBTdG9yZXMgYXJlIG5vdCByZW9yZGVy ZWQgd2l0aCBvbGRlciBsb2FkcyBvbiB4ODYuCgpTbyBwb2ludCAyIGlzIG1vb3QuIFNvcnJ5IGFi b3V0IHRoZSBub2lzZS4KCkkgZ3Vlc3MgYXQgdGhpcyBwb2ludCB0aGUgb25seSBzdGlja2luZyBw b2ludCBpcyB0aGUgRUNDIGNvbXBpbGVyLgpJJ20gaW5jbGluZWQgdG8gc3RpY2sgYW4gbWIoKSB0 aGVyZSwgc2VlaW5nIGFzIGl0IGRvZXNuJ3QgZXZlbgpoYXZlIHNwZWN0cmUgcHJvdGVjdGlvbiBl bmFibGVkLiBTbG93IGJ1dCBzYWZlLgoKLS0gCk1TVApfX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fXwpWaXJ0dWFsaXphdGlvbiBtYWlsaW5nIGxpc3QKVmlydHVh bGl6YXRpb25AbGlzdHMubGludXgtZm91bmRhdGlvbi5vcmcKaHR0cHM6Ly9saXN0cy5saW51eGZv dW5kYXRpb24ub3JnL21haWxtYW4vbGlzdGluZm8vdmlydHVhbGl6YXRpb24=