Received: by 10.223.176.5 with SMTP id f5csp503767wra; Fri, 2 Feb 2018 01:16:12 -0800 (PST) X-Google-Smtp-Source: AH8x225Fvc2brpyoRvL9r5g9mST3q2lrIYvvOZawKe5hZ2XmZh+8/bcmM1JYyFlhnTiroz8Bi3ng X-Received: by 2002:a17:902:b20b:: with SMTP id t11-v6mr3853726plr.348.1517562972347; Fri, 02 Feb 2018 01:16:12 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1517562972; cv=none; d=google.com; s=arc-20160816; b=TC5l51RV3BQsoPt2hwpFII/+8GjG95DLpSOxqO1E+dWPfefbwlrgRRj0xsFIn/z3ag oiBIv1bkG9FCWassk1Yp57dQCIUcIyhKR0BLGiWTeLk8BSAyKNgESa+VhCpTru+a1gHV sFoIKvFSlsav40OhhWNn3YuYSBIblJz3K5x0cKsyMGaJ2uiBPOdFU3Ja07i8yHEaCzH+ d3ksnbC8iKkhaOshUNmBnJZoNG1DZKnQHL1eAIpvbz32K4LCcivn7ff9jiE//UNu93XD 2/IKkXfo2yLQXjITkbEPNp9gSc3Q6vW5Ey29LOaJweW2EoSh3EXtwlOWyMDno+IdbNAV z31w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:date:subject:cc:to:from :dkim-signature:arc-authentication-results; bh=nsCeuZEguSAzFMXJjcWSFKB6TY21Q6cjFl1jVbAbsZA=; b=bg2qZgP5Js8Id79bQUi4g/mkDj68PwVDOLiIIr0XAwBOHKXa+++phrLZEkM+4PtLYP OEkS4OwR8QtITZ4xpGlF+R3agrPg5nW9IjcUWnL4KpvElixYdlmMO6Aj1v/7PXhdg9Cf YEzzqCYoRbTWGpIqcc5h5F5emv1E/+/UIO/76A4NZgPGVh2Qo5GdfIcVTj4gnXvBIKWR WnuDAPOqw5hGsFEfIxuql9B7srXr34SiwYeHwvhjzqlQspA/LoRDSATrvSFcEV/YbRlW XTLEGJw+H3EkdGy8XCjiH7JdlkJkvjnDjk2X2b2eBphMy/LpL9q9j+4jz0JUrr9gKPI8 iXTw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=PEoADdRI; 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; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id f15si729305pgu.742.2018.02.02.01.15.46; Fri, 02 Feb 2018 01:16:12 -0800 (PST) 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=@gmail.com header.s=20161025 header.b=PEoADdRI; 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; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751873AbeBBJNb (ORCPT + 99 others); Fri, 2 Feb 2018 04:13:31 -0500 Received: from mail-wm0-f65.google.com ([74.125.82.65]:38555 "EHLO mail-wm0-f65.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751017AbeBBJNW (ORCPT ); Fri, 2 Feb 2018 04:13:22 -0500 Received: by mail-wm0-f65.google.com with SMTP id 141so10789220wme.3; Fri, 02 Feb 2018 01:13:22 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id; bh=nsCeuZEguSAzFMXJjcWSFKB6TY21Q6cjFl1jVbAbsZA=; b=PEoADdRItg4vqMEmx6AjpV5FgMnlJdWbHFYe1JepM3lD5xZr7B19SA68/x//dsS0vS ozbisNBhA675Egz6BcBBylMDiJ8DboVdijRLBUC5u2U2sakWh2EJZNxttxDknrKhpUNS sTEq/IR+LBQNs1TVqexTKo3Wt0T+Agd2U8aUodbLx2nX3vrtMFEo0rbN9DIdwqf4Do/G qRxqEwIa7GOqzqTaAEMLEVNZ1s3QVNLGskAh4NrRPE9Mq+ur0NmrdU2SzDRFMICDQgGa DZgWHO1Q8ah35u6LaHGiWxhbQUHgvcirXEekdwWP6EvsPYdsyzG9V36PSJOMk/EQ3wbu jslA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id; bh=nsCeuZEguSAzFMXJjcWSFKB6TY21Q6cjFl1jVbAbsZA=; b=OJ3Bl42WK9DbidsHHLJSyuctOLDo1xzvq7ekkIFOOIfx1XfehXczI35Dc4ZSoPPcxs NMCLjO21/PSQG4RWN7y7D56yl8HjW9tLCsgufD/9i3WC63UFNeHOTFrJtUg5LTNExVEk U09eYS+2jGB61VTTJa6Ki38UMYl6WatENOolTGSmi7lB3cDuiff858u87zZ8UqcxJ80q 0/TMomMoaHWIW98QCc6R4YA6DOWN2pKy4rdUPZwC7hECV4QU0FhzJWo29fuNkbeI0Tid QUYMXeqhJxXwA6CaeK5wriJJfWEs96MYT40LUFoKQSVpVH4a0vHmxaIrzfgx+P6y58lC xYZA== X-Gm-Message-State: AKwxytdITlyYjtfhnbFAdPBfVVwtInhJOf3Um/srQtjsuyWEqKDRr832 lUFptZ7mTZ9GhYi0Wzvtb7c= X-Received: by 10.28.150.86 with SMTP id y83mr22233137wmd.42.1517562801422; Fri, 02 Feb 2018 01:13:21 -0800 (PST) Received: from andrea.amarulasolutions.com (85.100.broadband17.iol.cz. [109.80.100.85]) by smtp.gmail.com with ESMTPSA id y6sm805282wmy.14.2018.02.02.01.13.20 (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Fri, 02 Feb 2018 01:13:20 -0800 (PST) From: Andrea Parri To: corbet@lwn.net, dhowells@redhat.com, paulmck@linux.vnet.ibm.com, will.deacon@arm.com, peterz@infradead.org Cc: linux-kernel@vger.kernel.org, linux-doc@vger.kernel.org, stern@rowland.harvard.edu, boqun.feng@gmail.com, npiggin@gmail.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, Andrea Parri Subject: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/" Date: Fri, 2 Feb 2018 10:12:48 +0100 Message-Id: <1517562768-6238-1-git-send-email-parri.andrea@gmail.com> X-Mailer: git-send-email 2.7.4 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Recent efforts led to the specification of a memory consistency model for the Linux kernel [1], which "can (roughly speaking) be thought of as an automated version of memory-barriers.txt" and which is (in turn) "accompanied by extensive documentation on its use and its design". Make sure that the (occasional) reader of memory-barriers.txt will be aware of these developments. [1] https://marc.info/?l=linux-kernel&m=151687290114799&w=2 Signed-off-by: Andrea Parri --- Documentation/memory-barriers.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Documentation/memory-barriers.txt b/Documentation/memory-barriers.txt index a863009849a3b..8cc3f098f4a7d 100644 --- a/Documentation/memory-barriers.txt +++ b/Documentation/memory-barriers.txt @@ -17,7 +17,9 @@ meant as a guide to using the various memory barriers provided by Linux, but in case of any doubt (and there are many) please ask. To repeat, this document is not a specification of what Linux expects from -hardware. +hardware. For such a specification, in the form of a memory consistency +model, and for documentation about its usage and its design, the reader is +referred to "tools/memory-model/". The purpose of this document is twofold: -- 2.7.4