Received: by 10.192.165.148 with SMTP id m20csp534233imm; Fri, 4 May 2018 14:37:49 -0700 (PDT) X-Google-Smtp-Source: AB8JxZqCPVrRnrPcsFF4t4U+t/JOGyGiQB9btC69j/bH3QcgTZZXUgJzSUxJsSw2FjCnf/QUPus6 X-Received: by 2002:a17:902:8343:: with SMTP id z3-v6mr29530161pln.71.1525469869744; Fri, 04 May 2018 14:37:49 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1525469869; cv=none; d=google.com; s=arc-20160816; b=hS4I9o+nGEzbCH0wXBopnw/0xTyO+xvK+xPQzMGHgHCfMhs1Bp8Km1Jo8daGya4ssk UWji7iAY3T8LTkuJTj5MPOn3ff/hiMPjdikhtoN/tO+Pahom5tEFF+xfy7vRmxq8XVhq YgWXH4A2NSkQSpK8yQC3eYuv0woMcLs7LkBhUxNiT9sWOaDqiAL6mSC4V1x5O74umVPy 0Czaq/lLSSsWFfb8f0jTeVvcW9oqhLPCduyFiOCRP2jE1plgz/WSOxlmKcRhWIXNtdtK LEIgz0ojXgd3EeP05fDTnTHhZvX8Wi9Ue1LGPMXr+NqHePVvtVLoCShNxRbRPqMddi12 xxkQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date:dkim-signature:arc-authentication-results; bh=JuIk5YV9wlKqfNKLl/RPpYbRAVuoVCeHSuYUAzKsaR8=; b=OtyxikEhdgVomCBYc0prEjkbQF4ng82gUeVqRzoW19xEBsaF8zbYt77LoEQIbz0z0V fK7G8CL9mVhbORDb7UgtXplijxC3KTIJKC7REOpjSqUx1OHs86MSJY324vQckaE6V2n4 uOsoSP0BkYclHTWAdXdG472qrOV8fYY07yoMoEy0nGal6baqa7+8dcesLdNBl0yABv1Z Pb6AMuJO4PK9zBE6BSfjkrU0LcS2I7Y18Z6naLP0lX6J3VnYs0QPnCUiurCDtVMx0PcY nXiGOgan9xVz4T0CzWYkUovyqx54HLl3gSqVBgrCrZgUaCiGGuFfGXTW6ScQDGW566Jh sUkA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@amarulasolutions.com header.s=google header.b=PGZnwS0g; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id a12-v6si14174886pgd.102.2018.05.04.14.37.23; Fri, 04 May 2018 14:37:49 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@amarulasolutions.com header.s=google header.b=PGZnwS0g; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751771AbeEDVhJ (ORCPT + 99 others); Fri, 4 May 2018 17:37:09 -0400 Received: from mail-wm0-f66.google.com ([74.125.82.66]:37149 "EHLO mail-wm0-f66.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751582AbeEDVhI (ORCPT ); Fri, 4 May 2018 17:37:08 -0400 Received: by mail-wm0-f66.google.com with SMTP id l1-v6so7111339wmb.2 for ; Fri, 04 May 2018 14:37:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=amarulasolutions.com; s=google; h=date:from:to:cc:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent; bh=JuIk5YV9wlKqfNKLl/RPpYbRAVuoVCeHSuYUAzKsaR8=; b=PGZnwS0gbNnOEeKw+LzU0rAG9tfhwKMgScbRz8/9Hq7nyXFww1cM5VDH0HbMzveWEB gjjQbYXkfN1Mt/rq3w1YJE9p/219yMo1YaoqZGyhSz4VY1MysU4kfUD/TL/jokSt6bvq tlJKtLZ+fFJ/hTuIj4ZvNZQck+3S06yn2aZV0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to:user-agent; bh=JuIk5YV9wlKqfNKLl/RPpYbRAVuoVCeHSuYUAzKsaR8=; b=ak3rrRalnG9/R0cmG8azPQm5MbILONvG2iURob52nMvw9c5iy/PaGzWpJCMc03/6h/ 1xLRXnOs4kXEjtCFnLXkBLCTlRzuZoh2ovqnGPzucibxbpOlKh1U9NeDb2619z0I0d0D rQwflkXZKwTbjbj9DW0wBnIbDCJE+vdjvyfoziENU9lf56+IvKdbannIihVF39tcZlX5 xypQmepytJr4cyE18iMPToHw7Q0AVqsIDYl/SW+5VTuSSItM1F4iQoXh0gEujqjDfOgb quLP4jKH2jMPf6cdAFkbLuTrwGJu6VGZPPGwuFKmCnTYKBfIxMBKI5lTnmeZB3/b75zR I52g== X-Gm-Message-State: ALQs6tApTDVdMFaM6TPrcIKWAzDkM3ITQXxFAYiUJoHFA5o1yd5dPWBZ fH/f2h4kl8v6S5ZsT+a4F8wYyifb X-Received: by 10.28.133.12 with SMTP id h12mr20806345wmd.136.1525469826827; Fri, 04 May 2018 14:37:06 -0700 (PDT) Received: from andrea ([94.230.152.15]) by smtp.gmail.com with ESMTPSA id k82-v6sm2567143wmf.17.2018.05.04.14.37.05 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 04 May 2018 14:37:06 -0700 (PDT) Date: Fri, 4 May 2018 23:37:00 +0200 From: Andrea Parri To: Kees Cook Cc: Jonathan Corbet , Elena Reshetova , linux-doc@vger.kernel.org, LKML Subject: Re: [PATCH] Documentation: refcount-vs-atomic: Update reference to LKMM doc. Message-ID: <20180504213700.GA5628@andrea> References: <1525468309-5310-1-git-send-email-andrea.parri@amarulasolutions.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.24 (2015-08-30) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri, May 04, 2018 at 02:13:59PM -0700, Kees Cook wrote: > On Fri, May 4, 2018 at 2:11 PM, Andrea Parri > wrote: > > The LKMM project has moved to 'tools/memory-model/'. > > > > Signed-off-by: Andrea Parri > > --- > > Documentation/core-api/refcount-vs-atomic.rst | 2 +- > > 1 file changed, 1 insertion(+), 1 deletion(-) > > > > diff --git a/Documentation/core-api/refcount-vs-atomic.rst b/Documentation/core-api/refcount-vs-atomic.rst > > index 83351c258cdb9..322851bada167 100644 > > --- a/Documentation/core-api/refcount-vs-atomic.rst > > +++ b/Documentation/core-api/refcount-vs-atomic.rst > > @@ -17,7 +17,7 @@ in order to help maintainers validate their code against the change in > > these memory ordering guarantees. > > > > The terms used through this document try to follow the formal LKMM defined in > > -github.com/aparri/memory-model/blob/master/Documentation/explanation.txt > > +tools/memory-model/Documentation/explanation.txt. > > > > memory-barriers.txt and atomic_t.txt provide more background to the > > memory ordering in general and for atomic operations specifically. > > Will this get linkified by rst ? I believe not, but I'm not too familiar with rst... FWIW, I'm seeing that the above memory-barriers.txt, atomic_t.txt are not linkified. Andrea > > -Kees > > -- > Kees Cook > Pixel Security