From mboxrd@z Thu Jan 1 00:00:00 1970 From: Peter Zijlstra Subject: Re: [PATCH 1/2] locking: Implement an algorithm choice for Wound-Wait mutexes Date: Wed, 13 Jun 2018 15:10:00 +0200 Message-ID: <20180613131000.GX12198@hirez.programming.kicks-ass.net> References: <20180613074745.14750-1-thellstrom@vmware.com> <20180613074745.14750-2-thellstrom@vmware.com> <20180613095012.GW12198@hirez.programming.kicks-ass.net> <69f3dee9-4782-bc90-3ee2-813ac6835c4a@vmware.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: Received: from bombadil.infradead.org (bombadil.infradead.org [IPv6:2607:7c80:54:e::133]) by gabe.freedesktop.org (Postfix) with ESMTPS id 2218E6E05C for ; Wed, 13 Jun 2018 13:10:19 +0000 (UTC) Content-Disposition: inline In-Reply-To: <69f3dee9-4782-bc90-3ee2-813ac6835c4a@vmware.com> List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: dri-devel-bounces@lists.freedesktop.org Sender: "dri-devel" To: Thomas Hellstrom Cc: Kate Stewart , Davidlohr Bueso , Jonathan Corbet , David Airlie , linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, dri-devel@lists.freedesktop.org, Josh Triplett , linaro-mm-sig@lists.linaro.org, Greg Kroah-Hartman , Ingo Molnar , Philippe Ombredanne , Thomas Gleixner , "Paul E. McKenney" , linux-media@vger.kernel.org List-Id: dri-devel@lists.freedesktop.org T24gV2VkLCBKdW4gMTMsIDIwMTggYXQgMTI6NDA6MjlQTSArMDIwMCwgVGhvbWFzIEhlbGxzdHJv bSB3cm90ZToKPiBPbiAwNi8xMy8yMDE4IDExOjUwIEFNLCBQZXRlciBaaWpsc3RyYSB3cm90ZToK PiA+IAo+ID4gPiArCj4gPiA+ICsJbG9ja2RlcF9hc3NlcnRfaGVsZCgmbG9jay0+d2FpdF9sb2Nr KTsKPiA+ID4gKwo+ID4gPiArCWlmIChvd25lciAmJiBob2xkX2N0eCAmJiBfX3d3X2N0eF9zdGFt cF9hZnRlcihob2xkX2N0eCwgd3dfY3R4KSAmJgo+ID4gPiArCSAgICB3d19jdHgtPmFjcXVpcmVk ID4gMCkgewo+ID4gPiArCQlXUklURV9PTkNFKGhvbGRfY3R4LT53b3VuZGVkLCB0cnVlKTsKPiA+ ID4gKwkJaWYgKG93bmVyICE9IGN1cnJlbnQpIHsKPiA+ID4gKwkJCS8qCj4gPiA+ICsJCQkgKiB3 YWtlX3VwX3Byb2Nlc3MoKSBpbnNlcnRzIGEgd3JpdGUgbWVtb3J5IGJhcnJpZXIgdG8KPiA+IEl0 IGRvZXMgbm8gc3VjaCB0aGluZy4gQnV0IHllcywgaXQgZG9lcyBlbnN1cmUgdGhlIHdha2VlIHNl ZXMgYWxsIHByaW9yCj4gPiBzdG9yZXMgSUZGIHRoZSB3YWtldXAgaGFwcGVuZWQuCj4gPiAKPiA+ ID4gKwkJCSAqIG1ha2Ugc3VyZSBvd25lciBzZWVzIGl0IGlzIHdvdW5kZWQgYmVmb3JlCj4gPiA+ ICsJCQkgKiBUQVNLX1JVTk5JTkcgaW4gY2FzZSBpdCdzIHNsZWVwaW5nIG9uIGFub3RoZXIKPiA+ ID4gKwkJCSAqIHd3X211dGV4LiBOb3RlIHRoYXQgb3duZXIgcG9pbnRzIHRvIGEgdmFsaWQKPiA+ ID4gKwkJCSAqIHRhc2tfc3RydWN0IGFzIGxvbmcgYXMgd2UgaG9sZCB0aGUgd2FpdF9sb2NrLgo+ ID4gPiArCQkJICovCj4gPiBXaGF0IGV4YWN0bHkgYXJlIHlvdSB0cnlpbmcgdG8gc2F5IGhlcmUg Pwo+ID4gCj4gPiBJJ20gdGhpbmtpbmcgdGhpcyBpcyB0aGUgcGFpcmluZyBiYXJyaWVyIHRvIHRo ZSBzbXBfbWIoKSBiZWxvdywgd2l0aAo+ID4geW91ciBsaXN0X2VtcHR5KCkgdGhpbmc/IE1pZ2h0 IG1ha2Ugc2Vuc2UgdG8gd3JpdGUgYSBzaW5nbGUgY29oZXJlbnQKPiA+IGNvbW1lbnQgYW5kIHJl ZmVyIHRvIHRoZSBvdGhlciBsb2NhdGlvbi4KPiAKPiBTbyB3aGF0IEknbSB0cnlpbmcgdG8gc2F5 IGhlcmUgaXMgdGhhdCB3YWtlX3VwX3Byb2Nlc3MoKSBlbnN1cmVzIHRoYXQgdGhlCj4gb3duZXIs IGlmIGluICFUQVNLX1JVTk5JTkcsIHNlZXMgdGhlIHdyaXRlIHRvIGhvbGRfY3R4LT53b3VuZGVk IGJlZm9yZSB0aGUKPiB0cmFuc2l0aW9uIHRvIFRBU0tfUlVOTklORy4gVGhpcyB3YXMgaG93IEkg aW50ZXJwcmV0ZWQgIndva2VuIHVwIiBpbiB0aGUKPiB3YWtlIHVwIHByb2Nlc3MgZG9jdW1lbnRh dGlvbi4KClRoZXJlIGlzIGRvY3VtZW50YXRpb24hPyA6LSkgQWFhaCwgeW91IG1lYW4gdGhhdCBr ZXJuZWxkb2MgY29tbWVudCB3aXRoCndha2VfdXBfcHJvY2VzcygpID8gWWVhaCwgdGhhdCBuZWVk cyBmaXhpbmcuIC9tZSBwdXRzIG9uIGVuZGxlc3MgdG9kbwpsaXN0LgoKQW55d2F5LCB3YWtldXAg cHJvdmlkaW5nIHRoYXQgb3JkZXJpbmcgaXNuJ3Qgc29tZXRoaW5nIHRoYXQgbmVlZHMgYQpjb21t ZW50IG9mIHRoYXQgc2l6ZTsgYW5kIEkgdGhpbmsgdGhlIG9ubHkgY29tbWVudCBoZXJlIGlzIHRo YXQgd2UgY2FyZQphYm91dCB0aGUgb3JkZXJpbmcgYW5kIGEgcmVmZXJlbmNlIHRvIHRoZSBzaXRl KHMpIHRoYXQgcGFpcnMgd2l0aCBpdC4KCk1heWJlIHNvbWV0aGluZyBsaWtlOgoKCS8qCgkgKiBf X3d3X211dGV4X2xvY2tfY2hlY2tfc3RhbXAoKSB3aWxsIG9ic2VydmUgb3VyIHdvdW5kZWQgc3Rv cmUuCgkgKi8KCj4gPiA+IC0JaWYgKGxpa2VseSghKGF0b21pY19sb25nX3JlYWQoJmxvY2stPmJh c2Uub3duZXIpICYgTVVURVhfRkxBR19XQUlURVJTKSkpCj4gPiA+ICsJaWYgKGxpa2VseShsaXN0 X2VtcHR5KCZsb2NrLT5iYXNlLndhaXRfbGlzdCkpKQo+ID4gPiAgIAkJcmV0dXJuOwo+ID4gPiAg IAkvKgo+ID4gPiBAQCAtNjUzLDYgKzY5NSwxNyBAQCBfX3d3X211dGV4X2xvY2tfY2hlY2tfc3Rh bXAoc3RydWN0IG11dGV4ICpsb2NrLCBzdHJ1Y3QgbXV0ZXhfd2FpdGVyICp3YWl0ZXIsCj4gPiA+ ICAgCXN0cnVjdCB3d19hY3F1aXJlX2N0eCAqaG9sZF9jdHggPSBSRUFEX09OQ0Uod3ctPmN0eCk7 Cj4gPiA+ICAgCXN0cnVjdCBtdXRleF93YWl0ZXIgKmN1cjsKPiA+ID4gKwkvKgo+ID4gPiArCSAq IElmIHdlIG1pc3MgYSB3b3VuZGVkID09IHRydWUgaGVyZSwgd2Ugd2lsbCBoYXZlIGEgcGVuZGlu Zwo+ID4gRXhwbGFpbiBob3cgd2UgY2FuIG1pc3MgdGhhdC4KPiAKPiBUaGlzIGlzIGFjdHVhbGx5 IHRoZSBwYWlyaW5nIGxvY2F0aW9uIG9mIHRoZSB3YWtlX3VwX3Byb2Nlc3MoKSBjb21tZW50IC8K PiBjb2RlIGRpc2N1c3NlZCBhYm92ZS4gSGVyZSB3ZSBzaG91bGQgaGF2ZSAhVEFTS19SVU5OSU5H LCBhbmQgbGV0J3Mgc2F5Cj4gY3R4LT53b3VuZGVkIGlzIHNldCBieSBhbm90aGVyIHByb2Nlc3Mg aW1tZWRpYXRlbHkgYWZ0ZXIgd2UndmUgcmVhZCBpdCAod2UKPiAibWlzcyIgaXQpLiBBdCB0aGF0 IHBvaW50IHRoZXJlIG11c3QgYmUgYSBwZW5kaW5nIHdha2UtdXAtcHJvY2VzcygpIGZvciB1cwo+ IGFuZCB3ZSdsbCBwaWNrIHVwIHRoZSBzZXQgdmFsdWUgb2Ygd291bmRlZCBvbiB0aGUgbmV4dCBp dGVyYXRpb24gYWZ0ZXIKPiByZXR1cm5pbmcgZnJvbSBzY2hlZHVsZSgpLgoKUmlnaHQsIHNvIHRo YXQncyB3aGVuIHRoZSBhYm92ZSB3YWtldXAgaXNuJ3QgdGhlIG9uZSB3YWtpbmcgdXMuCgoKPiA+ IEkgY2FuJ3Qgc2F5IEknbSBhIGZhbi4gSSdtIGFscmVhZHkgY3Vyc2luZyB0aGUgd3dfbXV0ZXgg c3R1ZmYgZXZlcnkgdGltZQo+ID4gSSBoYXZlIHRvIGxvb2sgYXQgaXQsIGFuZCB5b3UganVzdCBt YWRlIGl0IHdvcnNlIHNwYWdldGhpLgoKPiBXZWxsLCBJIGNhbid0IHNwZWFrIGZvciB0aGUgY3Vy cmVudCB3dyBpbXBsZW1lbnRhdGlvbiBleGNlcHQgSSBkaWRuJ3QgdGhpbmsKPiBpdCB3YXMgdG9v IGhhcmQgdG8gdW5kZXJzdGFuZCBmb3IgYSBmaXJzdCB0aW1lIHJlYWRlci4KPiAKPiBBZG1pdHRl ZGx5IHRoZSBXb3VuZC1XYWl0IHBhdGggbWFrZXMgaXQgd29yc2Ugc2luY2UgaXQncyBhIHByZWVt cHRpdmUKPiBhbGdvcml0aG0gYW5kIHdlIG5lZWQgdG8gdG91Y2ggb3RoZXIgcHJvY2Vzc2VzIGEg YWNxdWlyZSBjb250ZXh0cyBhbmQgd29ycnkKPiBhYm91dCBvcmRlcmluZy4KPiAKPiBTbywgYXNz dW1pbmcgeW91ciByZXZpZXcgY29tbWVudHMgYXJlIGZpeGVkIHVwLCBpcyB0aGF0IGEgc29saWQg TkFLIG9yIGRvCj4geW91IGhhdmUgYW55IHN1Z2dlc3Rpb24gdGhhdCB3b3VsZCBtYWtlIHlvdSBt b3JlIGNvbWZvcnRhYmxlIHdpdGggdGhlIGNvZGU/Cj4gbGlrZSBzcGxpdHRpbmcgb3V0IHd3LXN0 dWZmIHRvIGEgc2VwYXJhdGUgZmlsZT8KCk5haCwgbm90IGEgTkFLLCBidXQgd2Ugc2hvdWxkIGxv b2sgYXQgd2hhbiBjYW4gYmUgZG9uZSB0byBpbXByb3ZlIGNvZGUuCk1heWJlIGFkZCBhIGZldyBt b3JlIGNvbW1lbnRzIHRoYXQgZXhwbGFpbiB3aHkuIFBhcnQgb2YgdGhlIHByb2JsZW0gd2l0aAp3 d19tdXRleCBpcyBhbHdheXMgdGhhdCBJIGZvcmdldCBleGFjdGx5IGhvdyB0aGV5IHdvcmsgYW5k IG11dGV4LmMKZG9lc24ndCBoYXZlIG11Y2ggdXNlZnVsIGNvbW1lbnRzIGluIChtb3N0IG9mIHRo b3NlIGFyZSBpbiB3d19tdXRleC5oCmFuZCBJIGFsd2F5cyBmb3JnZXQgdG8gbG9vayB0aGVyZSku CgpBbHNvOyBJJ20gbm90IGF0IGFsbCBzdXJlIGFib3V0IHRoZSBleGFjdCBkaWZmZXJlbmNlIGJl dHdlZW4gd2hhdCB3ZQpoYXZlIGFuZCB3aGF0IHlvdSBwcm9wb3NlLiBJIGRpZCByZWFkIHRoZSBk b2N1bWVudGF0aW9uIHBhcnQgKEkgcmVhbGx5CnNob3VsZCBub3QgaGF2ZSB0bykgYnV0IGl0IGp1 c3QgZG9lc24ndCBqaXZlLgoKSSBzdXNwZWN0IHlvdSdyZSB1c2luZyBwcmVlbXB0aW9uIGVudGly ZWx5IGRpZmZlcmVudCBmcm9tIHdoYXQgd2UKdXN1YWxseSBjYWxsIGEgcHJlZW1wdGlvbi4KCgoK QWxzbywgX193d19jdHhfc3RhbXBfYWZ0ZXIoKSBpcyBjcmFwOyBkaWQgd2Ugd2FudCB0byB3cml0 ZToKCglyZXR1cm4gKHNpZ25lZCBsb25nKShhLT5zdGFtcCAtIGItPnN0YW1wKSA+IDA7CgpvciBz b21ldGhpbmc/CgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X18KZHJpLWRldmVsIG1haWxpbmcgbGlzdApkcmktZGV2ZWxAbGlzdHMuZnJlZWRlc2t0b3Aub3Jn Cmh0dHBzOi8vbGlzdHMuZnJlZWRlc2t0b3Aub3JnL21haWxtYW4vbGlzdGluZm8vZHJpLWRldmVs Cg==