From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH v10 01/32] ARM: vGIC: avoid rank lock when reading priority Date: Tue, 6 Jun 2017 18:11:50 +0100 Message-ID: References: <20170526173540.10066-1-andre.przywara@arm.com> <20170526173540.10066-2-andre.przywara@arm.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Return-path: Received: from mail6.bemta3.messagelabs.com ([195.245.230.39]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dII1L-0000EO-O7 for xen-devel@lists.xenproject.org; Tue, 06 Jun 2017 17:11:55 +0000 In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Andre Przywara , Stefano Stabellini Cc: xen-devel@lists.xenproject.org, Vijaya Kumar K , Vijay Kilari , Shanker Donthineni List-Id: xen-devel@lists.xenproject.org CgpPbiAwNi8wNi8xNyAxODowNiwgQW5kcmUgUHJ6eXdhcmEgd3JvdGU6Cj4gT24gMzAvMDUvMTcg MTE6NDcsIEp1bGllbiBHcmFsbCB3cm90ZToKPj4gSGkgQW5kcmUsCj4+Cj4+IE9uIDI2LzA1LzE3 IDE4OjM1LCBBbmRyZSBQcnp5d2FyYSB3cm90ZToKPj4+IFdoZW4gcmVhZGluZyB0aGUgcHJpb3Jp dHkgdmFsdWUgb2YgYSB2aXJ0dWFsIGludGVycnVwdCwgd2Ugd2VyZSB0YWtpbmcKPj4+IHRoZSBy ZXNwZWN0aXZlIHJhbmsgbG9jayBzbyBmYXIuCj4+PiBIb3dldmVyIGZvciBmb3J3YXJkZWQgaW50 ZXJydXB0cyAoRG9tMCBvbmx5IHNvIGZhcikgdGhpcyBtYXkgbGVhZCB0byBhCj4+PiBkZWFkbG9j ayB3aXRoIHRoZSBmb2xsb3dpbmcgY2FsbCBjaGFpbjoKPj4+IC0gTU1JTyBhY2Nlc3MgdG8gY2hh bmdlIHRoZSBJUlEgYWZmaW5pdHksIGNhbGxpbmcgdGhlIElUQVJHRVRTUiBoYW5kbGVyCj4+PiAt IHRoaXMgaGFuZGxlciB0YWtlcyB0aGUgYXBwcm9wcmlhdGUgcmFuayBsb2NrIGFuZCBjYWxscwo+ Pj4gdmdpY19zdG9yZV9pdGFyZ2V0c3IoKQo+Pj4gLSB2Z2ljX3N0b3JlX2l0YXJnZXRzcigpIHdp bGwgZXZlbnR1YWxseSBjYWxsIHZnaWNfbWlncmF0ZV9pcnEoKQo+Pj4gLSBpZiB0aGlzIElSUSBp cyBhbHJlYWR5IGluLWZsaWdodCwgaXQgd2lsbCByZW1vdmUgaXQgZnJvbSB0aGUgb2xkCj4+PiAg IFZDUFUgYW5kIGluamVjdCBpdCBpbnRvIHRoZSBuZXcgb25lLCBieSBjYWxsaW5nIHZnaWNfdmNw dV9pbmplY3RfaXJxKCkKPj4+IC0gdmdpY192Y3B1X2luamVjdF9pcnEgd2lsbCBjYWxsIHZnaWNf Z2V0X3ZpcnFfcHJpb3JpdHkoKQo+Pj4gLSB2Z2ljX2dldF92aXJxX3ByaW9yaXR5KCkgdHJpZXMg dG8gdGFrZSB0aGUgcmFuayBsb2NrIC0gYWdhaW4hCj4+PiBJdCBzZWVtcyBsaWtlIHRoaXMgY29k ZSBwYXRoIGhhcyBuZXZlciBiZWVuIGV4ZXJjaXNlZCBiZWZvcmUuCj4+Pgo+Pj4gRml4IHRoaXMg YnkgYXZvaWRpbmcgdGFraW5nIHRoZSBsb2NrIGluIHZnaWNfZ2V0X3ZpcnFfcHJpb3JpdHkoKSAo bGlrZSB3ZQo+Pj4gZG8gaW4gdmdpY19nZXRfdGFyZ2V0X3ZjcHUoKSkuCj4+PiBBY3R1YWxseSB3 ZSBhcmUganVzdCByZWFkaW5nIG9uZSBieXRlLCBhbmQgcHJpb3JpdHkgY2hhbmdlcyB3aGlsZQo+ Pj4gaW50ZXJydXB0cyBhcmUgaGFuZGxlZCBhcmUgYSBiZW5pZ24gcmFjZSB0aGF0IGNhbiBoYXBw ZW4gb24gcmVhbCBoYXJkd2FyZQo+Pj4gdG9vLiBTbyBpdCBsb29rcyBzYWZlIHRvIGp1c3QgdXNl IHJlYWRfYXRvbWljKCkgaW5zdGVhZC4KPj4+Cj4+PiBTaWduZWQtb2ZmLWJ5OiBBbmRyZSBQcnp5 d2FyYSA8YW5kcmUucHJ6eXdhcmFAYXJtLmNvbT4KPj4+IC0tLQo+Pj4gIHhlbi9hcmNoL2FybS92 Z2ljLmMgfCA4ICstLS0tLS0tCj4+PiAgMSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0aW9uKCspLCA3 IGRlbGV0aW9ucygtKQo+Pj4KPj4+IGRpZmYgLS1naXQgYS94ZW4vYXJjaC9hcm0vdmdpYy5jIGIv eGVuL2FyY2gvYXJtL3ZnaWMuYwo+Pj4gaW5kZXggODM1NjliMC4uNTRiMmFhZCAxMDA2NDQKPj4+ IC0tLSBhL3hlbi9hcmNoL2FybS92Z2ljLmMKPj4+ICsrKyBiL3hlbi9hcmNoL2FybS92Z2ljLmMK Pj4+IEBAIC0yMjcsMTQgKzIyNyw4IEBAIHN0cnVjdCB2Y3B1ICp2Z2ljX2dldF90YXJnZXRfdmNw dShzdHJ1Y3QgdmNwdSAqdiwKPj4+IHVuc2lnbmVkIGludCB2aXJxKQo+Pj4gIHN0YXRpYyBpbnQg dmdpY19nZXRfdmlycV9wcmlvcml0eShzdHJ1Y3QgdmNwdSAqdiwgdW5zaWduZWQgaW50IHZpcnEp Cj4+PiAgewo+Pj4gICAgICBzdHJ1Y3QgdmdpY19pcnFfcmFuayAqcmFuayA9IHZnaWNfcmFua19p cnEodiwgdmlycSk7Cj4+PiAtICAgIHVuc2lnbmVkIGxvbmcgZmxhZ3M7Cj4+PiAtICAgIGludCBw cmlvcml0eTsKPj4+IC0KPj4+IC0gICAgdmdpY19sb2NrX3JhbmsodiwgcmFuaywgZmxhZ3MpOwo+ Pj4gLSAgICBwcmlvcml0eSA9IHJhbmstPnByaW9yaXR5W3ZpcnEgJiBJTlRFUlJVUFRfUkFOS19N QVNLXTsKPj4+IC0gICAgdmdpY191bmxvY2tfcmFuayh2LCByYW5rLCBmbGFncyk7Cj4+Pgo+Pj4g LSAgICByZXR1cm4gcHJpb3JpdHk7Cj4+PiArICAgIHJldHVybiByZWFkX2F0b21pYygmcmFuay0+ cHJpb3JpdHlbdmlycSAmIElOVEVSUlVQVF9SQU5LX01BU0tdKTsKPj4KPj4gVGhlIHdyaXRlIGlu IHJhbmstPnByaW9yaXR5IHdpbGwgbm90IGJlIGF0b21pYyAoc2VlIHZnaWNfcmVnX3VwZGF0ZQo+ PiBpbXBsZW1lbnRhdGlvbik6IHRoZSByZWdpc3RlciBpcyBmaXJzdCBtYXNrZWQsIHRoZSB0aGUg cHJpb3JpdHkgc2V0Lgo+Pgo+PiBTbyB5b3UgbWF5IGVuZCB1cCB0byByZWFkIDAgKHdoaWNoIGlz IHRoZSBoaWdoZXIgcHJpb3JpdHkpIGJ5IG1pc3Rha2UuCj4+Cj4+IFdlIHNob3VsZCBwcm9iYWJs eSB0aGluayB0byBtYWtlIHZnaWNfcmVnXyogaGVscGVyIGF0b21pYy4KPgo+IFRoZSBwYXRjaCB5 b3Ugc2VudCB5ZXN0ZXJkYXkgbWF5IGJlIGEgYml0IG92ZXIgdGhlIHRvcCBmb3IgdGhpcy4KClBh dGNoIHdoaWNoIEkgb25seSBzZW50IGludGVybmFsbHkgdG8gZ2V0IGZlZWRiYWNrLiA7KQoKPgo+ IFdoYXQgYWJvdXQgdGhpcyBvbmUgKGluIHhlbi9hcmNoL2FybS92Z2ljLXZbMjNdLmMpOgo+Cj4g c3RhdGljIGludCB2Z2ljX3YyX2Rpc3RyX21taW9fd3JpdGUoc3RydWN0IHZjcHUgKnYsIC4uLgo+ IHsKPiAtICAgIHVpbnQzMl90ICppcHJpb3JpdHlyOwo+ICsgICAgdWludDMyX3QgKmlwcmlvcml0 eXIsIHByaW9yaXR5Owo+IC4uLi4KPiAgICAgIHZnaWNfbG9ja19yYW5rKHYsIHJhbmssIGZsYWdz KTsKPiAgICAgIGlwcmlvcml0eXIgPSAmcmFuay0+aXByaW9yaXR5cltSRUdfUkFOS19JTkRFWCg4 LAo+ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZ2ljZF9yZWcg LSBHSUNEX0lQUklPUklUWVIsCj4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICBEQUJUX1dPUkQpXTsKPiAtICAgIHZnaWNfcmVnMzJfdXBkYXRlKGlwcmlvcml0eXIs IHIsIGluZm8pOwo+ICsgICAgcHJpb3JpdHkgPSBBQ0NFU1NfT05DRSgqaXByaW9yaXR5cik7Cj4g KyAgICB2Z2ljX3JlZzMyX3VwZGF0ZSgmcHJpb3JpdHksIHIsIGluZm8pOwo+ICsgICAgQUNDRVNT X09OQ0UoKmlwcmlvcml0eXIpID0gcHJpb3JpdHk7Cj4gICAgICB2Z2ljX3VubG9ja19yYW5rKHYs IHJhbmssIGZsYWdzKTsKPiAuLi4uCgpXaGF0IHlvdSBkbyBpcyB2ZXJ5IHNpbWlsYXIgdG8gbXkg cGF0Y2ggYnV0IG9wZW4tY29kZSBpdC4gSXQgbWlnaHQgYmUgCnBvc3NpYmxlIHRvIGhhdmUgb3Ro ZXIgcGxhY2Ugd2hpY2ggY291bGQgdGFrZSBhZHZhbnRhZ2Ugb2YgdGhlIGEgZ2VuZXJpYyAKc29s dXRpb24sIHNvIEkgYW0gbm90IGNvbnZpbmNlZCB0aGlzIHdvdWxkIGJlIHRoZSByaWdodCB3YXku Cgo+Cj4gQ29uY3VycmVudCB3cml0ZXMgYXJlIHByb3RlY3RlZCBieSB0aGUgcmFuayBsb2NrLCBh bmQgcmVhZHMgYXJlCj4gZ3VhcmFudGVlZCB0byBiZSBhdG9taWMgZHVlIHRvIEFDQ0VTU19PTkNF IGFuZCB0aGUgYXJjaGl0ZWN0dXJhbAo+IGd1YXJhbnRlZSBvZiBhbiBhbGlnbmVkIHVpbnQzMl90 IGFjY2VzcyBiZWluZyBhdG9taWMuCj4gV2UgY2FuJ3QgZG8gYW55dGhpbmcgYWJvdXQgdGhlIGJl bmlnbiByYWNlIHdoZW4gdGhlIHByaW9yaXR5IGdldHMKPiBjaGFuZ2VkIHdoaWxlIHdlIHJlYWQg aXQsIGJ1dCB0aGUgYWJvdmUgc2hvdWxkIG1ha2Ugc3VyZSB0aGF0IHdlIGVpdGhlcgo+IHJlYWQg dGhlIG9sZCBvciB0aGUgbmV3IHZhbHVlIGFuZCBub3RoaW5nIGluIGJldHdlZW4uCj4gVGhlIG90 aGVyIHJlYWQgYWNjZXNzZXMgKGluIHZnaWNfdlsyM11fZGlzdHJfbW1pb19yZWFkKCkgYW5kIGlu IHZnaWMuYwo+IGhlcmUgaW4gdGhpcyBwYXRjaCkgZ2V0IHByb3RlY3RlZCBieSBhbiBBQ0NFU1Nf T05DRSgpLgo+Cj4gRG9lcyB0aGF0IG1ha2Ugc2Vuc2U/CgpJIHdhcyB0cnlpbmcgdG8gYWRkcmVz cyB0aGUgc3VnZ2VzdGlvbiBvZiBTdGVmYW5vIHRvIGRyb3AgdGhlIHJhbmsgbG9jayAKaW4gc29t ZSBwbGFjZSBhbmQgYWxzbyBtYWtlIHRoZSBzb2x1dGlvbiBnZW5lcmljLgoKSSBmYWlsZWQgdG8g YWRkcmVzcyBwcm9wZXJseSB0aGUgbG9jayBkcm9wLiBBbmQgaGF2ZSBzb21lIGlkZWEgaG93IHRv IGRvIGl0LgoKQ2hlZXJzLAoKLS0gCkp1bGllbiBHcmFsbAoKX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2 ZWxAbGlzdHMueGVuLm9yZwpodHRwczovL2xpc3RzLnhlbi5vcmcveGVuLWRldmVsCg==