From patchwork Tue Oct 30 16:04:33 2012 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "Paul E. McKenney" X-Patchwork-Id: 12579 Return-Path: X-Original-To: patchwork@peony.canonical.com Delivered-To: patchwork@peony.canonical.com Received: from fiordland.canonical.com (fiordland.canonical.com [91.189.94.145]) by peony.canonical.com (Postfix) with ESMTP id 9704E23FB0 for ; Tue, 30 Oct 2012 16:06:21 +0000 (UTC) Received: from mail-ie0-f180.google.com (mail-ie0-f180.google.com [209.85.223.180]) by fiordland.canonical.com (Postfix) with ESMTP id 461F4A18F27 for ; Tue, 30 Oct 2012 16:06:21 +0000 (UTC) Received: by mail-ie0-f180.google.com with SMTP id e10so613984iej.11 for ; Tue, 30 Oct 2012 09:06:20 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-forwarded-to:x-forwarded-for:delivered-to:received-spf:from:to:cc :subject:date:message-id:x-mailer:in-reply-to:references :x-content-scanned:x-cbid:x-ibm-iss-spamdetectors :x-ibm-iss-detailinfo:x-gm-message-state; bh=mgeVnqbUBH+iasYdtitFGvLwlRBm2O7gQi8p7q6/SLM=; b=kz48d/W7th1Gb9+zNh9K/kQKEMpWBeAXzgOK+Hlu0Ue0qwxjT1v03zRDooGO9jo65h xJ3Nr9r+Dyq82KSxe3EwT6NmxSksvj2GTJZGqlnR3FDvZIJOLCgE81GhzQGhTT0k/+Pw GaOiASQQw5dtWrSrbXCWHIbBVd2hkR/3qHiYfsk1algjUGMlAG2P5KMGKD7l3yunUoX8 7uqFOuVlFLGz/oXY7Wdpmjnn2wmhDcmYCwRK1wGkBmLE4l5qPnNDz0k1nkZFgoeNwLaW r84wOwpcweSZ/uujoq8U777tSW+uPZqMIuEIba78T0hAGY2VFRbzDQIvcghaXkJizPgw k9mg== Received: by 10.43.7.132 with SMTP id oo4mr28851274icb.6.1351613180670; Tue, 30 Oct 2012 09:06:20 -0700 (PDT) X-Forwarded-To: linaro-patchwork@canonical.com X-Forwarded-For: patch@linaro.org linaro-patchwork@canonical.com Delivered-To: patches@linaro.org Received: by 10.50.67.148 with SMTP id n20csp439916igt; Tue, 30 Oct 2012 09:06:20 -0700 (PDT) Received: by 10.42.215.144 with SMTP id he16mr28871337icb.19.1351613180338; Tue, 30 Oct 2012 09:06:20 -0700 (PDT) Received: from e33.co.us.ibm.com (e33.co.us.ibm.com. [32.97.110.151]) by mx.google.com with ESMTPS id h5si1115330ick.45.2012.10.30.09.06.20 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 30 Oct 2012 09:06:20 -0700 (PDT) Received-SPF: pass (google.com: domain of paulmck@linux.vnet.ibm.com designates 32.97.110.151 as permitted sender) client-ip=32.97.110.151; Authentication-Results: mx.google.com; spf=pass (google.com: domain of paulmck@linux.vnet.ibm.com designates 32.97.110.151 as permitted sender) smtp.mail=paulmck@linux.vnet.ibm.com Received: from /spool/local by e33.co.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Tue, 30 Oct 2012 10:06:18 -0600 Received: from d03dlp01.boulder.ibm.com (9.17.202.177) by e33.co.us.ibm.com (192.168.1.133) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; Tue, 30 Oct 2012 10:04:49 -0600 Received: from d03relay04.boulder.ibm.com (d03relay04.boulder.ibm.com [9.17.195.106]) by d03dlp01.boulder.ibm.com (Postfix) with ESMTP id 518BAC40001 for ; Tue, 30 Oct 2012 10:04:45 -0600 (MDT) Received: from d03av01.boulder.ibm.com (d03av01.boulder.ibm.com [9.17.195.167]) by d03relay04.boulder.ibm.com (8.13.8/8.13.8/NCO v10.0) with ESMTP id q9UG4jPb101712 for ; Tue, 30 Oct 2012 10:04:46 -0600 Received: from d03av01.boulder.ibm.com (loopback [127.0.0.1]) by d03av01.boulder.ibm.com (8.14.4/8.13.1/NCO v10.0 AVout) with ESMTP id q9UG4gCr016394 for ; Tue, 30 Oct 2012 10:04:44 -0600 Received: from paulmck-ThinkPad-W500 (sig-9-77-143-103.mts.ibm.com [9.77.143.103]) by d03av01.boulder.ibm.com (8.14.4/8.13.1/NCO v10.0 AVin) with ESMTP id q9UG4dQJ016044; Tue, 30 Oct 2012 10:04:40 -0600 Received: by paulmck-ThinkPad-W500 (Postfix, from userid 1000) id A3AC8E4D77; Tue, 30 Oct 2012 09:04:38 -0700 (PDT) From: "Paul E. McKenney" To: linux-kernel@vger.kernel.org Cc: mingo@elte.hu, laijs@cn.fujitsu.com, dipankar@in.ibm.com, akpm@linux-foundation.org, mathieu.desnoyers@polymtl.ca, josh@joshtriplett.org, niv@us.ibm.com, tglx@linutronix.de, peterz@infradead.org, rostedt@goodmis.org, Valdis.Kletnieks@vt.edu, dhowells@redhat.com, eric.dumazet@gmail.com, darren@dvhart.com, fweisbec@gmail.com, sbw@mit.edu, patches@linaro.org, "Paul E. McKenney" Subject: [PATCH tip/core/rcu 1/4] Documentation: Fix memory-barriers.txt example Date: Tue, 30 Oct 2012 09:04:33 -0700 Message-Id: <1351613076-22022-1-git-send-email-paulmck@linux.vnet.ibm.com> X-Mailer: git-send-email 1.7.8 In-Reply-To: <20121030160350.GA21837@linux.vnet.ibm.com> References: <20121030160350.GA21837@linux.vnet.ibm.com> X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12103016-2398-0000-0000-00000D0E0025 X-IBM-ISS-SpamDetectors: X-IBM-ISS-DetailInfo: BY=3.00000294; HX=3.00000198; KW=3.00000007; PH=3.00000001; SC=3.00000008; SDB=6.00186989; UDB=6.00042358; UTC=2012-10-30 16:06:17 X-Gm-Message-State: ALoCoQk7DblFfxsNRp7ByB+wRvMsbG+pUPpOAADUYk/LthqGLyciwoAWCxOUR1Y1azwilFv1uD7z From: "Paul E. McKenney" This commit fixes a broken example of overlapping stores in the Documentation/memory-barriers.txt file. Reported-by: Nikunj A Dadhania Signed-off-by: Paul E. McKenney --- Documentation/memory-barriers.txt | 9 +++++---- 1 files changed, 5 insertions(+), 4 deletions(-) diff --git a/Documentation/memory-barriers.txt b/Documentation/memory-barriers.txt index 2759f7c..3c4e1b3 100644 --- a/Documentation/memory-barriers.txt +++ b/Documentation/memory-barriers.txt @@ -251,12 +251,13 @@ And there are a number of things that _must_ or _must_not_ be assumed: And for: - *A = X; Y = *A; + *A = X; *(A + 4) = Y; - we may get either of: + we may get any of: - STORE *A = X; Y = LOAD *A; - STORE *A = Y = X; + STORE *A = X; STORE *(A + 4) = Y; + STORE *(A + 4) = Y; STORE *A = X; + STORE {*A, *(A + 4) } = {X, Y}; =========================