From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH v11 01/34] ARM: vGIC: avoid rank lock when reading priority Date: Wed, 14 Jun 2017 19:32:42 +0100 Message-ID: References: <20170609174141.5068-1-andre.przywara@arm.com> <20170609174141.5068-2-andre.przywara@arm.com> <8d68dcb4-6025-9611-9579-4989335ef85d@arm.com> <5bf277b9-67ce-30ee-2aaf-2a2148e60fd2@arm.com> <5fd71a4e-28e1-a0bb-67c1-c7cbb19d7946@arm.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Return-path: Received: from mail6.bemta6.messagelabs.com ([193.109.254.103]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dLD60-0004Cx-Np for xen-devel@lists.xenproject.org; Wed, 14 Jun 2017 18:32:48 +0000 In-Reply-To: Content-Language: en-US List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Stefano Stabellini Cc: Vijay Kilari , Manish Jaggi , Andre Przywara , Vijaya Kumar K , xen-devel@lists.xenproject.org, nd@arm.com, Shanker Donthineni List-Id: xen-devel@lists.xenproject.org SGkgU3RlZmFubywKCk9uIDA2LzE0LzIwMTcgMDc6MTUgUE0sIFN0ZWZhbm8gU3RhYmVsbGluaSB3 cm90ZToKPiBPbiBXZWQsIDE0IEp1biAyMDE3LCBKdWxpZW4gR3JhbGwgd3JvdGU6Cj4+Pj4+PiBJ biBhbnkgY2FzZSwgYWxsIHRob3NlIG1hY3JvcyBkb2VzIG5vdCBwcmV2ZW50IHJlLW9yZGVyaW5n IGF0IHRoZQo+Pj4+Pj4gcHJvY2Vzc29yCj4+Pj4+PiBsZXZlbCBub3IgcmVhZC93cml0ZSBhdG9t aWNpdHkgaWYgdGhlIHZhcmlhYmxlIGlzIG1pc2FsaWduZWQuCj4+Pj4+Cj4+Pj4+IE15IHVuZGVy c3RhbmRpbmcgaXMgdGhhdCB0aGUgdW53cml0dGVuIGFzc3VtcHRpb24gaW4gWGVuIGlzIHRoYXQK Pj4+Pj4gdmFyaWFibGVzIGFyZSBhbHdheXMgYWxpZ25lZC4gWW91IGFyZSByaWdodCBhYm91dCBw cm9jZXNzb3IgbGV2ZWwKPj4+Pj4gcmVvcmRlcmluZywgaW4gZmFjdCB3aGVuIG5lZWRlZCB3ZSBo YXZlIHRvIGhhdmUgYmFycmllcnMKPj4+Pj4KPj4+Pj4gSSBoYXZlIHJlYWQgQW5kcmUncyB3ZWxs IHdyaXR0ZW4gUkVBRE1FLmF0b21pYywgYW5kIGhlIGVuZHMgdGhlCj4+Pj4+IGRvY3VtZW50IHN0 YXRpbmcgdGhlIGZvbGxvd2luZzoKPj4+Pj4KPj4+Pj4KPj4+Pj4+IFRoaXMgbWFrZXMgcmVhZCBh bmQgd3JpdGUgYWNjZXNzZXMgdG8gaW50cyBhbmQgbG9uZ3MgKGFuZCB0aGVpcgo+Pj4+Pj4gcmVz cGVjdGl2ZQo+Pj4+Pj4gdW5zaWduZWQgY291bnRlciBwYXJ0cykgbmF0dXJhbGx5IGF0b21pYy4K Pj4+Pj4+IEhvd2V2ZXIgaXQgd291bGQgYmUgYmVuZWZpY2lhbCB0byB1c2UgYXRvbWljIHByaW1p dGl2ZXMgYW55d2F5IHRvCj4+Pj4+PiBhbm5vdGF0ZQo+Pj4+Pj4gdGhlIGNvZGUgYXMgYmVpbmcg Y29uY3VycmVudCBhbmQgdG8gcHJldmVudCBzaWxlbnQgYnJlYWthZ2Ugd2hlbgo+Pj4+Pj4gY2hh bmdpbmcKPj4+Pj4+IHRoZSBjb2RlCj4+Pj4+Cj4+Pj4+IHdpdGggd2hpY2ggSSBjb21wbGV0ZWx5 IGFncmVlCj4+Pj4KPj4+PiBXaGljaCBtZWFucyB5b3UgYXJlIGhhcHB5IHRvIHVzZSBlaXRoZXIg QUNDRVNTX09OQ0Ugb3IKPj4+PiByZWFkX2F0b21pYy93cml0ZV9hdG9taWMgYXMgdGhleSBpbi1m aW5lIGV4YWN0bHkgdGhlIHNhbWUgb24gdGhlIGNvbXBpbGVyCj4+Pj4gd2UKPj4+PiBzdXBwb3J0 Lgo+Pj4KPj4+IEkgZG8gdW5kZXJzdGFuZCB0aGF0IGJvdGggb2YgdGhlbSB3aWxsIHByb2R1Y2Ug dGhlIHNhbWUgb3V0cHV0LAo+Pj4gdGhlcmVmb3JlLCBib3RoIHdvcmsgZm9yIHRoaXMgdXNlLWNh c2UuCj4+Pgo+Pj4gSSBkb24ndCB1bmRlcnN0YW5kIHdoeSBhbnlib2R5IHdvdWxkIHByZWZlciBB Q0NFU1NfT05DRSBvdmVyCj4+PiByZWFkL3dyaXRlX2F0b21pYywgZ2l2ZW4gdGhhdCB3aXRoIEFD Q0VTU19PTkNFIGFzIGEgY29udHJpYnV0b3IvcmV2aWV3ZXIKPj4+IHlvdSBhZGRpdGlvbmFsbHkg bmVlZCB0byByZW1lbWJlciB0byBjaGVjayB3aGV0aGVyIHRoZSBhcmd1bWVudCBpcyBhCj4+PiBu YXRpdmUgZGF0YSB0eXBlLiBCYXNpY2FsbHksIEkgc2VlIEFDQ0VTU19PTkNFIGFzICJtb3JlIHdv cmsiIGZvciBtZS4KPj4+IFdoeSBkbyB5b3UgdGhpbmsgdGhhdCBBQ0NFU1NfT05DRSBpcyAiYmV0 dGVyIj8KPj4KPj4gSGF2ZSB5b3UgbG9va2VkIGF0IHRoZSBpbXBsZW1lbnRhdGlvbiBvZiBBQ0NF U1NfT05DRT8gWW91IGRvbid0IGhhdmUgdG8gY2hlY2sKPj4gdGhlIGRhdGEgdHlwZSB3aGVuIHVz aW5nIEFDQ0VTU19PTkNFLiBUaGVyZSBhcmUgc2FmZXR5IGNoZWNrIHRvIGF2b2lkIG1pc3VzaW5n Cj4+IGl0Lgo+IAo+IEl0IGNoZWNrcyBmb3IgYSBzY2FsYXIgdHlwZSwgbm90IGZvciBuYXRpdmUg ZGF0YSB0eXBlLiBUaGV5IGFyZSBub3QKPiBhbHdheXMgdGhlIHNhbWUgdGhpbmcgYnV0IEkgdGhp bmsgdGhleSBhcmUgb24gYXJtLgpUaGF0J3MgdGhlIGdvYWwgb2Ygc3BlY2lmaWNhdGlvbiAoc3Vj aCBhcyBBQVBDUykuCgo+PiBXaGF0IEkgd2FudCB0byBhdm9pZCBpcyB0aGlzIHNwbGl0IG1pbmQg d2UgY3VycmVudGx5IGhhdmUgYWJvdXQgYXRvbWljLgo+PiBUaGV5IGFyZSBlaXRoZXIgYWxsIHNh ZmUgb3Igbm90Lgo+IAo+IFdoYXQgc3BsaXQgbWluZD8gRG8geW91IG1lYW4gQUNDRVNTX09OQ0Ug dnMuIHJlYWQvd3JpdGVfYXRvbWljPyBTbyBmYXIsCj4gdGhlcmUgYXJlIG5vIGluc3RhbmNlcyBv ZiBBQ0NFU1NfT05DRSBpbiB4ZW4vYXJjaC9hcm0uCgpOby4gSSBtZWFuIHRoZXJlIGFyZSBwbGFj ZXMgd2l0aCBleGFjdCBzYW1lIGNvbnN0cnVjdCBidXQgc29tZXRpbWVzIApjb25zaWRlciB3ZSBj b25zaWRlciBzYWZlLCBzb21ldGltZXMgbm90LiBXZSBzaG91bGQgaGF2ZSBhIGNsZWFyIGNvbW1v biAKYW5zd2VyIHJhdGhlciB0aGFuIGFyZ3VpbmcgZGlmZmVyZW50bHkgZXZlcnkgdGltZS4KCj4+ IEFzIEFuZHJlIHN1Z2dlc3RlZCwgd2Ugc2hvdWxkIHByb2JhYmx5IGltcG9ydCBhIGxpZ2h0ZXIg dmVyc2lvbiBvZgo+PiBXUklURV9PTkNFL1JFQURfT05DRS4gVGhleSBhcmUgZmlyc3QgZWFzaWVy IHRvIHVuZGVyc3RhbmQgdGhhbgo+PiByZWFkX2F0b21pYy93cml0ZV9hdG9taWMgdGhhdCBjb3Vs ZCBiZSBjb25mdXNlZCB3aXRoIGF0b21pY19yZWFkL2F0b21pY193cml0ZQo+PiAoSUlSQyBKYW4g YWdyZWVkIGhlcmUpLgo+Pgo+PiBUaGUgbWFpbiBnb2FsIGlzIHRvIGF2b2lkIGFzc2VtYmx5IGNv ZGUgd2hlbiBpdCBpcyBkZWVtIG5vdCBuZWNlc3NhcnkuCj4gCj4gQWxsIHJpZ2h0LCB0aGlzIGlz IG9uZSByZWFzb24uIFNvcnJ5IGlmIEkgc2VlbSB1bm5lY2Vzc2FyaWx5IGNvbnRyYXJpYW4sCj4g YnV0IHRoaXMgaXMgdGhlIGZpcnN0IHRpbWUgSSByZWFkIGEgcmVhc29uIGZvciB0aGlzIHJlY2Vu dCBwdXNoIGZvciB1c2luZwo+IEFDQ0VTU19PTkNFLiBZb3Ugd3JvdGUgdGhhdCB5b3UgcHJlZmVy cmVkIHRoZSByZWFkL3dyaXRlX2F0b21pYwo+IGZ1bmN0aW9ucyB5b3Vyc2VsZiBvbiBNb25kYXku CgpJIHByZWZlcnJlZCB7cmVhZCx3cml0ZX1fYXRvbWljIGJlY2F1c2UgdGhlIHByb3RvdHlwZSBp cyBuaWNlciB0byB1c2UgCnRoYW4gQUNDRVNTX09OQ0UuIEluIHRoZSBpZGVhbCB3ZSBzaG91bGQg aW50cm9kdWNlIFdSSVRFX09OQ0UvUkVBRF9PTkNFIAppbXByb3ZpbmcgdGhlIG5hbWluZyBhbmQg YWxzbyBoYXZpbmcgYSBuaWNlIHByb3RvdHlwZS4KCi0tIApKdWxpZW4gR3JhbGwKCl9fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fClhlbi1kZXZlbCBtYWlsaW5n IGxpc3QKWGVuLWRldmVsQGxpc3RzLnhlbi5vcmcKaHR0cHM6Ly9saXN0cy54ZW4ub3JnL3hlbi1k ZXZlbAo=