From mboxrd@z Thu Jan 1 00:00:00 1970 From: David Laight Subject: RE: [PATCH v2] tools/memory-model/Documentation: Fix "conflict" definition Date: Mon, 2 Mar 2020 17:44:11 +0000 Message-ID: <8d5fdc95ed3847508bf0d523f41a5862@AcuMS.aculab.com> References: <20200302141819.40270-1-elver@google.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 Return-path: Received: from eu-smtp-delivery-151.mimecast.com ([207.82.80.151]:54230 "EHLO eu-smtp-delivery-151.mimecast.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727209AbgCBRoQ (ORCPT ); Mon, 2 Mar 2020 12:44:16 -0500 In-Reply-To: <20200302141819.40270-1-elver@google.com> Content-Language: en-US Sender: linux-arch-owner@vger.kernel.org List-ID: To: 'Marco Elver' Cc: "linux-kernel@vger.kernel.org" , "kasan-dev@googlegroups.com" , "stern@rowland.harvard.edu" , "parri.andrea@gmail.com" , "will@kernel.org" , "peterz@infradead.org" , "boqun.feng@gmail.com" , "npiggin@gmail.com" , "dhowells@redhat.com" , "j.alglave@ucl.ac.uk" , "luc.maranget@inria.fr" , "paulmck@kernel.org" , "akiyks@gmail.com" , "dlustig@nvidia.com" , "joel@joelfernandes.org" , "linux-arch@vger.kernel.org" RnJvbTogTWFyY28gRWx2ZXINCj4gU2VudDogMDIgTWFyY2ggMjAyMCAxNDoxOA0KPiANCj4gVGhl IGRlZmluaXRpb24gb2YgImNvbmZsaWN0IiBzaG91bGQgbm90IGluY2x1ZGUgdGhlIHR5cGUgb2Yg YWNjZXNzIG5vcg0KPiB3aGV0aGVyIHRoZSBhY2Nlc3NlcyBhcmUgY29uY3VycmVudCBvciBub3Qs IHdoaWNoIHRoaXMgcGF0Y2ggYWRkcmVzc2VzLg0KPiBUaGUgZGVmaW5pdGlvbiBvZiAiZGF0YSBy YWNlIiByZW1haW5zIHVuY2hhbmdlZC4NCj4gDQo+IFRoZSBkZWZpbml0aW9uIG9mICJjb25mbGlj dCIgYXMgd2Uga25vdyBpdCBhbmQgaXMgY2l0ZWQgYnkgdmFyaW91cw0KPiBwYXBlcnMgb24gbWVt b3J5IGNvbnNpc3RlbmN5IG1vZGVscyBhcHBlYXJlZCBpbiBbMV06ICJUd28gYWNjZXNzZXMgdG8N Cj4gdGhlIHNhbWUgdmFyaWFibGUgY29uZmxpY3QgaWYgYXQgbGVhc3Qgb25lIGlzIGEgd3JpdGU7 IHR3byBvcGVyYXRpb25zDQo+IGNvbmZsaWN0IGlmIHRoZXkgZXhlY3V0ZSBjb25mbGljdGluZyBh Y2Nlc3Nlcy4iDQoNCkknbSBwcmV0dHkgc3VyZSB0aGF0IExpbnV4IHJlcXVpcmVzIHRoYXQgdGhl IHVuZGVybHlpbmcgbWVtb3J5DQpzdWJzeXN0ZW0gcmVtb3ZlIGFueSBwb3NzaWJsZSAnY29uZmxp Y3RzJyBieSBzZXJpYWxpc2luZyB0aGUNCnJlcXVlc3RzIChpbiBhbiBhcmJpdHJhcnkgb3JkZXIp Lg0KDQpTbyAnY29uZmxpY3RzJyBhcmUgbmV2ZXIgcmVsZXZhbnQuDQoNClRoZXJlIGFyZSBtZW1v cnkgc3Vic3lzdGVtcyB3aGVyZSBjb25mbGljdHMgTVVTVCBiZSBhdm9pZGVkLg0KRm9yIGluc3Rh bmNlIHRoZSBmcGdhIEkgdXNlIGhhdmUgc29tZSBkdWFsLXBvcnRlZCBtZW1vcnkuDQpDb25jdXJy ZW50IGFjY2Vzc2VzIG9uIHRoZSB0d28gcG9ydHMgZm9yIHRoZSBzYW1lIGFkZHJlc3MNCm11c3Qg KHVzdWFsbHkpIGJlIGF2b2lkZWQgaWYgb25lIGlzIGEgd3JpdGUuDQpUd28gd3JpdGVzIHdpbGwg Z2VuZXJhdGUgY29ycnVwdCBtZW1vcnkuDQpBIGNvbmN1cnJlbnQgd3JpdGUrcmVhZCB3aWxsIGdl bmVyYXRlIGEgZ2FyYmFnZSByZWFkLg0KSW4gdGhlIHNwZWNpYWwgY2FzZSB3aGVyZSB0aGUgdHdv IHBvcnRzIHVzZSB0aGUgc2FtZSBjbG9jaw0KaXQgaXMgcG9zc2libGUgdG8gZm9yY2UgdGhlIHJl YWQgdG8gYmUgJ29sZCBkYXRhJyBidXQgdGhhdA0KY29uc3RyYWlucyB0aGUgdGltaW5ncy4NCg0K T24gc3VjaCBzeXN0ZW1zIHRoZSBjb2RlIG11c3QgYXZvaWQgY29uZmxpY3RpbmcgY3ljbGVzLg0K DQoJRGF2aWQNCg0KLQ0KUmVnaXN0ZXJlZCBBZGRyZXNzIExha2VzaWRlLCBCcmFtbGV5IFJvYWQs IE1vdW50IEZhcm0sIE1pbHRvbiBLZXluZXMsIE1LMSAxUFQsIFVLDQpSZWdpc3RyYXRpb24gTm86 IDEzOTczODYgKFdhbGVzKQ0K