From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1759922AbdKPP3i (ORCPT ); Thu, 16 Nov 2017 10:29:38 -0500 Received: from mx0a-001b2d01.pphosted.com ([148.163.156.1]:45086 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752910AbdKPP3c (ORCPT ); Thu, 16 Nov 2017 10:29:32 -0500 Date: Thu, 16 Nov 2017 07:29:22 -0800 From: "Paul E. McKenney" To: Michal Hocko Cc: "Reshetova, Elena" , Peter Zijlstra , "linux-kernel@vger.kernel.org" , "gregkh@linuxfoundation.org" , "keescook@chromium.org" , "tglx@linutronix.de" , "mingo@redhat.com" , "ishkamiel@gmail.com" , Will Deacon , "stern@rowland.harvard.edu" , "parri.andrea@gmail.com" , "boqun.feng@gmail.com" , "dhowells@redhat.com" , "david@fromorbit.com" Subject: Re: [PATCH] refcount: provide same memory ordering guarantees as in atomic_t Reply-To: paulmck@linux.vnet.ibm.com References: <1508756984-18980-1-git-send-email-elena.reshetova@intel.com> <20171023131224.GC3165@worktop.lehotels.local> <2236FBA76BA1254E88B949DDB74E612B802B6A2E@IRSMSX102.ger.corp.intel.com> <20171027135624.GY3165@worktop.lehotels.local> <2236FBA76BA1254E88B949DDB74E612B802B89B8@IRSMSX102.ger.corp.intel.com> <20171102135742.7o4urtltgvhr6dku@hirez.programming.kicks-ass.net> <2236FBA76BA1254E88B949DDB74E612B802BC4BA@IRSMSX102.ger.corp.intel.com> <20171116134430.kbc2x2yryx7546z6@dhcp22.suse.cz> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20171116134430.kbc2x2yryx7546z6@dhcp22.suse.cz> User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 x-cbid: 17111615-0008-0000-0000-000002A21F66 X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00008074; HX=3.00000241; KW=3.00000007; PH=3.00000004; SC=3.00000240; SDB=6.00946745; UDB=6.00477922; IPR=6.00727037; BA=6.00005694; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00018046; XFM=3.00000015; UTC=2017-11-16 15:29:26 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 17111615-0009-0000-0000-000037541DA7 Message-Id: <20171116152922.GS3624@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2017-11-16_06:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 impostorscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1709140000 definitions=main-1711160208 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Nov 16, 2017 at 02:44:30PM +0100, Michal Hocko wrote: > On Mon 13-11-17 09:09:57, Reshetova, Elena wrote: > > > > > > > Note that there's work done on better documents and updates to this one. > > > One document that might be good to read (I have not in fact had time to > > > read it myself yet :-(): > > > > > > https://github.com/aparri/memory- > > > model/blob/master/Documentation/explanation.txt > > > > > > > I have just finished reading over this and must say that this is excellent. > > I fully second this. The main problem with > Documentation/memory-barriers.txt is that it jumps from "easy to follow" > to "blow your head" parts is just too quick. On the other hand the above > explanation builds the picture from basics and piles up new layers on > top of previous. So I found it much more easier to grasp. I cannot > really speak for the correctness in all aspects but it certainly makes a > lot of sense to me. If you are really interested then feel free to add. > Acked-by: Michal Hocko Thank you, props to Alan for the writing, and I have applied your ack! Thanx, Paul