From mboxrd@z Thu Jan  1 00:00:00 1970
From: Thomas Hellstrom <thellstrom@vmware.com>
Subject: Re: [PATCH 1/2] locking: Implement an algorithm choice for Wound-Wait
 mutexes
Date: Wed, 13 Jun 2018 16:05:43 +0200
Message-ID: <9afd482d-7082-fa17-5e34-179a652376e5@vmware.com>
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>
 <20180613131000.GX12198@hirez.programming.kicks-ass.net>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"; Format="flowed"
Content-Transfer-Encoding: base64
Return-path: <dri-devel-bounces@lists.freedesktop.org>
Received: from NAM03-BY2-obe.outbound.protection.outlook.com
 (mail-by2nam03on0071.outbound.protection.outlook.com [104.47.42.71])
 by gabe.freedesktop.org (Postfix) with ESMTPS id 848DF6E070
 for <dri-devel@lists.freedesktop.org>; Wed, 13 Jun 2018 14:06:03 +0000 (UTC)
In-Reply-To: <20180613131000.GX12198@hirez.programming.kicks-ass.net>
Content-Language: en-US
List-Unsubscribe: <https://lists.freedesktop.org/mailman/options/dri-devel>,
 <mailto:dri-devel-request@lists.freedesktop.org?subject=unsubscribe>
List-Archive: <https://lists.freedesktop.org/archives/dri-devel>
List-Post: <mailto:dri-devel@lists.freedesktop.org>
List-Help: <mailto:dri-devel-request@lists.freedesktop.org?subject=help>
List-Subscribe: <https://lists.freedesktop.org/mailman/listinfo/dri-devel>,
 <mailto:dri-devel-request@lists.freedesktop.org?subject=subscribe>
Errors-To: dri-devel-bounces@lists.freedesktop.org
Sender: "dri-devel" <dri-devel-bounces@lists.freedesktop.org>
To: Peter Zijlstra <peterz@infradead.org>
Cc: Kate Stewart <kstewart@linuxfoundation.org>, Davidlohr Bueso <dave@stgolabs.net>, Jonathan Corbet <corbet@lwn.net>, David Airlie <airlied@linux.ie>, linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, dri-devel@lists.freedesktop.org, Josh Triplett <josh@joshtriplett.org>, linaro-mm-sig@lists.linaro.org, Greg Kroah-Hartman <gregkh@linuxfoundation.org>, Ingo Molnar <mingo@redhat.com>, Philippe Ombredanne <pombredanne@nexb.com>, Thomas Gleixner <tglx@linutronix.de>, "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>, linux-media@vger.kernel.org
List-Id: dri-devel@lists.freedesktop.org

T24gMDYvMTMvMjAxOCAwMzoxMCBQTSwgUGV0ZXIgWmlqbHN0cmEgd3JvdGU6Cj4gT24gV2VkLCBK
dW4gMTMsIDIwMTggYXQgMTI6NDA6MjlQTSArMDIwMCwgVGhvbWFzIEhlbGxzdHJvbSB3cm90ZToK
Pj4gT24gMDYvMTMvMjAxOCAxMTo1MCBBTSwgUGV0ZXIgWmlqbHN0cmEgd3JvdGU6Cj4+Pj4gKwo+
Pj4+ICsJbG9ja2RlcF9hc3NlcnRfaGVsZCgmbG9jay0+d2FpdF9sb2NrKTsKPj4+PiArCj4+Pj4g
KwlpZiAob3duZXIgJiYgaG9sZF9jdHggJiYgX193d19jdHhfc3RhbXBfYWZ0ZXIoaG9sZF9jdHgs
IHd3X2N0eCkgJiYKPj4+PiArCSAgICB3d19jdHgtPmFjcXVpcmVkID4gMCkgewo+Pj4+ICsJCVdS
SVRFX09OQ0UoaG9sZF9jdHgtPndvdW5kZWQsIHRydWUpOwo+Pj4+ICsJCWlmIChvd25lciAhPSBj
dXJyZW50KSB7Cj4+Pj4gKwkJCS8qCj4+Pj4gKwkJCSAqIHdha2VfdXBfcHJvY2VzcygpIGluc2Vy
dHMgYSB3cml0ZSBtZW1vcnkgYmFycmllciB0bwo+Pj4gSXQgZG9lcyBubyBzdWNoIHRoaW5nLiBC
dXQgeWVzLCBpdCBkb2VzIGVuc3VyZSB0aGUgd2FrZWUgc2VlcyBhbGwgcHJpb3IKPj4+IHN0b3Jl
cyBJRkYgdGhlIHdha2V1cCBoYXBwZW5lZC4KPj4+Cj4+Pj4gKwkJCSAqIG1ha2Ugc3VyZSBvd25l
ciBzZWVzIGl0IGlzIHdvdW5kZWQgYmVmb3JlCj4+Pj4gKwkJCSAqIFRBU0tfUlVOTklORyBpbiBj
YXNlIGl0J3Mgc2xlZXBpbmcgb24gYW5vdGhlcgo+Pj4+ICsJCQkgKiB3d19tdXRleC4gTm90ZSB0
aGF0IG93bmVyIHBvaW50cyB0byBhIHZhbGlkCj4+Pj4gKwkJCSAqIHRhc2tfc3RydWN0IGFzIGxv
bmcgYXMgd2UgaG9sZCB0aGUgd2FpdF9sb2NrLgo+Pj4+ICsJCQkgKi8KPj4+IFdoYXQgZXhhY3Rs
eSBhcmUgeW91IHRyeWluZyB0byBzYXkgaGVyZSA/Cj4+Pgo+Pj4gSSdtIHRoaW5raW5nIHRoaXMg
aXMgdGhlIHBhaXJpbmcgYmFycmllciB0byB0aGUgc21wX21iKCkgYmVsb3csIHdpdGgKPj4+IHlv
dXIgbGlzdF9lbXB0eSgpIHRoaW5nPyBNaWdodCBtYWtlIHNlbnNlIHRvIHdyaXRlIGEgc2luZ2xl
IGNvaGVyZW50Cj4+PiBjb21tZW50IGFuZCByZWZlciB0byB0aGUgb3RoZXIgbG9jYXRpb24uCj4+
IFNvIHdoYXQgSSdtIHRyeWluZyB0byBzYXkgaGVyZSBpcyB0aGF0IHdha2VfdXBfcHJvY2Vzcygp
IGVuc3VyZXMgdGhhdCB0aGUKPj4gb3duZXIsIGlmIGluICFUQVNLX1JVTk5JTkcsIHNlZXMgdGhl
IHdyaXRlIHRvIGhvbGRfY3R4LT53b3VuZGVkIGJlZm9yZSB0aGUKPj4gdHJhbnNpdGlvbiB0byBU
QVNLX1JVTk5JTkcuIFRoaXMgd2FzIGhvdyBJIGludGVycHJldGVkICJ3b2tlbiB1cCIgaW4gdGhl
Cj4+IHdha2UgdXAgcHJvY2VzcyBkb2N1bWVudGF0aW9uLgo+IFRoZXJlIGlzIGRvY3VtZW50YXRp
b24hPyA6LSkgQWFhaCwgeW91IG1lYW4gdGhhdCBrZXJuZWxkb2MgY29tbWVudCB3aXRoCj4gd2Fr
ZV91cF9wcm9jZXNzKCkgPyBZZWFoLCB0aGF0IG5lZWRzIGZpeGluZy4gL21lIHB1dHMgb24gZW5k
bGVzcyB0b2RvCj4gbGlzdC4KPgo+IEFueXdheSwgd2FrZXVwIHByb3ZpZGluZyB0aGF0IG9yZGVy
aW5nIGlzbid0IHNvbWV0aGluZyB0aGF0IG5lZWRzIGEKPiBjb21tZW50IG9mIHRoYXQgc2l6ZTsg
YW5kIEkgdGhpbmsgdGhlIG9ubHkgY29tbWVudCBoZXJlIGlzIHRoYXQgd2UgY2FyZQo+IGFib3V0
IHRoZSBvcmRlcmluZyBhbmQgYSByZWZlcmVuY2UgdG8gdGhlIHNpdGUocykgdGhhdCBwYWlycyB3
aXRoIGl0Lgo+Cj4gTWF5YmUgc29tZXRoaW5nIGxpa2U6Cj4KPiAJLyoKPiAJICogX193d19tdXRl
eF9sb2NrX2NoZWNrX3N0YW1wKCkgd2lsbCBvYnNlcnZlIG91ciB3b3VuZGVkIHN0b3JlLgo+IAkg
Ki8KClllcy4KCkFjdHVhbGx5LCBJIGp1c3QgZm91bmQgdGhlIHNldF9jdXJyZW50X3N0YXRlKCkg
a2VybmVsZG9jIHdoaWNoIGV4cGxhaW5zIAp0aGUgYnVpbHQtaW4gYmFycmllciBwYWlyaW5nIHdp
dGggd2FrZV91cF94eHguIFBlcmhhcHMgSSBhbHNvIHNob3VsZCAKbWVudGlvbiB0aGF0IGFzIHdl
bGwuIExvb2tzIGxpa2UgdGhlIHVzZSBXUklURV9PTkNFKCkgYW5kIFJFQURfT05DRSgpIApjYW4g
YmUgZHJvcHBlZCBhcyB3ZWxsLgoKPj4+PiAtCWlmIChsaWtlbHkoIShhdG9taWNfbG9uZ19yZWFk
KCZsb2NrLT5iYXNlLm93bmVyKSAmIE1VVEVYX0ZMQUdfV0FJVEVSUykpKQo+Pj4+ICsJaWYgKGxp
a2VseShsaXN0X2VtcHR5KCZsb2NrLT5iYXNlLndhaXRfbGlzdCkpKQo+Pj4+ICAgIAkJcmV0dXJu
Owo+Pj4+ICAgIAkvKgo+Pj4+IEBAIC02NTMsNiArNjk1LDE3IEBAIF9fd3dfbXV0ZXhfbG9ja19j
aGVja19zdGFtcChzdHJ1Y3QgbXV0ZXggKmxvY2ssIHN0cnVjdCBtdXRleF93YWl0ZXIgKndhaXRl
ciwKPj4+PiAgICAJc3RydWN0IHd3X2FjcXVpcmVfY3R4ICpob2xkX2N0eCA9IFJFQURfT05DRSh3
dy0+Y3R4KTsKPj4+PiAgICAJc3RydWN0IG11dGV4X3dhaXRlciAqY3VyOwo+Pj4+ICsJLyoKPj4+
PiArCSAqIElmIHdlIG1pc3MgYSB3b3VuZGVkID09IHRydWUgaGVyZSwgd2Ugd2lsbCBoYXZlIGEg
cGVuZGluZwo+Pj4gRXhwbGFpbiBob3cgd2UgY2FuIG1pc3MgdGhhdC4KPj4gVGhpcyBpcyBhY3R1
YWxseSB0aGUgcGFpcmluZyBsb2NhdGlvbiBvZiB0aGUgd2FrZV91cF9wcm9jZXNzKCkgY29tbWVu
dCAvCj4+IGNvZGUgZGlzY3Vzc2VkIGFib3ZlLiBIZXJlIHdlIHNob3VsZCBoYXZlICFUQVNLX1JV
Tk5JTkcsIGFuZCBsZXQncyBzYXkKPj4gY3R4LT53b3VuZGVkIGlzIHNldCBieSBhbm90aGVyIHBy
b2Nlc3MgaW1tZWRpYXRlbHkgYWZ0ZXIgd2UndmUgcmVhZCBpdCAod2UKPj4gIm1pc3MiIGl0KS4g
QXQgdGhhdCBwb2ludCB0aGVyZSBtdXN0IGJlIGEgcGVuZGluZyB3YWtlLXVwLXByb2Nlc3MoKSBm
b3IgdXMKPj4gYW5kIHdlJ2xsIHBpY2sgdXAgdGhlIHNldCB2YWx1ZSBvZiB3b3VuZGVkIG9uIHRo
ZSBuZXh0IGl0ZXJhdGlvbiBhZnRlcgo+PiByZXR1cm5pbmcgZnJvbSBzY2hlZHVsZSgpLgo+IFJp
Z2h0LCBzbyB0aGF0J3Mgd2hlbiB0aGUgYWJvdmUgd2FrZXVwIGlzbid0IHRoZSBvbmUgd2FraW5n
IHVzLgo+Cj4KPj4+IEkgY2FuJ3Qgc2F5IEknbSBhIGZhbi4gSSdtIGFscmVhZHkgY3Vyc2luZyB0
aGUgd3dfbXV0ZXggc3R1ZmYgZXZlcnkgdGltZQo+Pj4gSSBoYXZlIHRvIGxvb2sgYXQgaXQsIGFu
ZCB5b3UganVzdCBtYWRlIGl0IHdvcnNlIHNwYWdldGhpLgo+PiBXZWxsLCBJIGNhbid0IHNwZWFr
IGZvciB0aGUgY3VycmVudCB3dyBpbXBsZW1lbnRhdGlvbiBleGNlcHQgSSBkaWRuJ3QgdGhpbmsK
Pj4gaXQgd2FzIHRvbyBoYXJkIHRvIHVuZGVyc3RhbmQgZm9yIGEgZmlyc3QgdGltZSByZWFkZXIu
Cj4+Cj4+IEFkbWl0dGVkbHkgdGhlIFdvdW5kLVdhaXQgcGF0aCBtYWtlcyBpdCB3b3JzZSBzaW5j
ZSBpdCdzIGEgcHJlZW1wdGl2ZQo+PiBhbGdvcml0aG0gYW5kIHdlIG5lZWQgdG8gdG91Y2ggb3Ro
ZXIgcHJvY2Vzc2VzIGEgYWNxdWlyZSBjb250ZXh0cyBhbmQgd29ycnkKPj4gYWJvdXQgb3JkZXJp
bmcuCj4+Cj4+IFNvLCBhc3N1bWluZyB5b3VyIHJldmlldyBjb21tZW50cyBhcmUgZml4ZWQgdXAs
IGlzIHRoYXQgYSBzb2xpZCBOQUsgb3IgZG8KPj4geW91IGhhdmUgYW55IHN1Z2dlc3Rpb24gdGhh
dCB3b3VsZCBtYWtlIHlvdSBtb3JlIGNvbWZvcnRhYmxlIHdpdGggdGhlIGNvZGU/Cj4+IGxpa2Ug
c3BsaXR0aW5nIG91dCB3dy1zdHVmZiB0byBhIHNlcGFyYXRlIGZpbGU/Cj4gTmFoLCBub3QgYSBO
QUssIGJ1dCB3ZSBzaG91bGQgbG9vayBhdCB3aGFuIGNhbiBiZSBkb25lIHRvIGltcHJvdmUgY29k
ZS4KPiBNYXliZSBhZGQgYSBmZXcgbW9yZSBjb21tZW50cyB0aGF0IGV4cGxhaW4gd2h5LiBQYXJ0
IG9mIHRoZSBwcm9ibGVtIHdpdGgKPiB3d19tdXRleCBpcyBhbHdheXMgdGhhdCBJIGZvcmdldCBl
eGFjdGx5IGhvdyB0aGV5IHdvcmsgYW5kIG11dGV4LmMKPiBkb2Vzbid0IGhhdmUgbXVjaCB1c2Vm
dWwgY29tbWVudHMgaW4gKG1vc3Qgb2YgdGhvc2UgYXJlIGluIHd3X211dGV4LmgKPiBhbmQgSSBh
bHdheXMgZm9yZ2V0IHRvIGxvb2sgdGhlcmUpLgoKVW5kZXJzdG9vZC4KCj4KPiBBbHNvOyBJJ20g
bm90IGF0IGFsbCBzdXJlIGFib3V0IHRoZSBleGFjdCBkaWZmZXJlbmNlIGJldHdlZW4gd2hhdCB3
ZQo+IGhhdmUgYW5kIHdoYXQgeW91IHByb3Bvc2UuIEkgZGlkIHJlYWQgdGhlIGRvY3VtZW50YXRp
b24gcGFydCAoSSByZWFsbHkKPiBzaG91bGQgbm90IGhhdmUgdG8pIGJ1dCBpdCBqdXN0IGRvZXNu
J3Qgaml2ZS4KPgo+IEkgc3VzcGVjdCB5b3UncmUgdXNpbmcgcHJlZW1wdGlvbiBlbnRpcmVseSBk
aWZmZXJlbnQgZnJvbSB3aGF0IHdlCj4gdXN1YWxseSBjYWxsIGEgcHJlZW1wdGlvbi4KCkkgdGhp
bmsgdGhhdCBwZXJoYXBzIHJlcXVpcmVzIGEgZ29vZCB1bmRlcnN0YW5kaW5nIG9mIHRoZSBkaWZm
ZXJlbmNlIG9mIAp0aGUgYWxnb3JpdGhtcyBpbiBxdWVzdGlvbiBiZWZvcmUgbG9va2luZyBhdCB0
aGUgaW1wbGVtZW50YXRpb24uIEkgcHV0IGEgCnNob3J0IGV4cGxhbmF0aW9uIGFuZCBzb21lIFVS
THMgdG8gQ1Mgd2Vic2l0ZXMgZGVzY3JpYmluZyB0aGUgdHdvIAphbGdvcml0aG1zIGFuZCB0aGVp
ciBwcm9zIGFuZCBjb25zIGluIHRoZSBwYXRjaCBzZXJpZXMgaW50cm9kdWN0b3J5IAptZXNzYWdl
LiBJJ2xsIGZvcndhcmQgdGhhdC4KCkluIHNob3J0LCB3aXRoIFdhaXQtRGllIChiZWZvcmUgdGhl
IHBhdGNoKSBpdCdzIHRoZSBwcm9jZXNzIF90YWtpbmdfIHRoZSAKY29udGVuZGVkIGxvY2sgdGhh
dCBiYWNrcyBvZmYgaWYgbmVjZXNzYXJ5LiBObyBwcmVlbXB0aW9uIHJlcXVpcmVkLiBXaXRoIApX
b3VuZC1XYWl0LCBpdCdzIHRoZSBwcm9jZXNzIF9ob2xkaW5nXyB0aGUgY29udGVuZGVkIGxvY2sg
dGhhdCBnZXRzIAp3b3VuZGVkIChwcmVlbXB0ZWQpLCBhbmQgaXQgbmVlZHMgdG8gYmFjayBvZmYg
YXQgaXRzIG93biBkaXNjcmV0aW9uIGJ1dCAKbm8gbGF0ZXIgdGhhbiB3aGVuIGl0J3MgZ29pbmcg
dG8gc2xlZXAgb24gYW5vdGhlciB3dyBtdXRleC4gVGhhdCBwb2ludCAKaXMgd2hlcmUgd2UgaW50
ZXJjZXB0IHRoZSBwcmVlbXB0aW9uIHJlcXVlc3QuIFdlJ3JlIHByZWVtcHRpbmcgdGhlIAp0cmFu
c2FjdGlvbiByYXRoZXIgdGhhbiB0aGUgcHJvY2Vzcy4KCgo+Cj4KPiBBbHNvLCBfX3d3X2N0eF9z
dGFtcF9hZnRlcigpIGlzIGNyYXA7IGRpZCB3ZSB3YW50IHRvIHdyaXRlOgo+Cj4gCXJldHVybiAo
c2lnbmVkIGxvbmcpKGEtPnN0YW1wIC0gYi0+c3RhbXApID4gMDsKPgo+IG9yIHNvbWV0aGluZz8K
Pgo+CkhtbS4gWWVzIGl0IGluZGVlZCBsb29rcyBvZGQuIFNlZW1zIGxpa2UgdGhlIGFib3ZlIGNv
ZGUgc2hvdWxkIGRvIHRoZSB0cmljay4KCi9UaG9tYXMKCgpfX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fXwpkcmktZGV2ZWwgbWFpbGluZyBsaXN0CmRyaS1kZXZl
bEBsaXN0cy5mcmVlZGVza3RvcC5vcmcKaHR0cHM6Ly9saXN0cy5mcmVlZGVza3RvcC5vcmcvbWFp
bG1hbi9saXN0aW5mby9kcmktZGV2ZWwK