Received: by 10.213.65.68 with SMTP id h4csp2843619imn; Mon, 9 Apr 2018 09:54:52 -0700 (PDT) X-Google-Smtp-Source: AIpwx4+1YM4WXnRKSbwX6JhR1BdAo4VG7XbAdx4Bxvd2H+2AhiCaNE4CIVUZnmF+dCG2GTV2ukA2 X-Received: by 2002:a17:902:8348:: with SMTP id z8-v6mr38942322pln.311.1523292892397; Mon, 09 Apr 2018 09:54:52 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1523292892; cv=none; d=google.com; s=arc-20160816; b=JR10pAnn3RTJgVP3G8U22LUfqAQFFNP+kUHrchzJn67QXpWIXqPXCzbHvpON2d0s0i zDtH/S499BWnTSeBRWWwbOTL83I56hoqBNYA2s9u+t/amQ8g2IjLS5V1zGHDsCOgWci/ /bwO43yP5bQjRp+tjnXYT8RnRq9s/1yezt8xqFiskyFWuks21evOAFc2FSyvb3ZngHGs 1EHYdytp5ejlEBGubFcH1v8beripOkUXRVvp+0yP3H9gcggCHttnjeEg3ylRb6I6bS3y 2XKis0xlu3fXASVfbG/IRpe6MyjjM4cOrJ4+32PKsGX7C9ruaOVllBee+Rf9kThzM1YV wCNA== 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=53CkgCzjaJ+uT8nMqnHEO8xy/Ro7I0hKhM6UVhQF+r0=; b=NZrMRPGmg8mAhnxNKKYq6hixp7sFwXzwSEIfY2VJeBxUCFkcLrM7vrjC/EOdzL8ywj YkWu8mRE73eoK/Gqvb+Qy6kd8AyqECjZgP0L5CjZvg99qVyFtaCrrYtSP6G/wdtOUKqf J+a1qIvzgWY5pjZVFiFIpVdvW53IKheh49E/zqNn9EMaGiizAG9Cg+Acr+vpEz4H84dy 9dNweuaqttulabR/wkLMDs/rBDzDwWP4ybhT96s/WL3JtYSv7dFcJVVX41wpXf7ZVtvM /0BpMds48/UtwU2W69yVKtLEY+NumnA+1xyN0fcwjM+bhSBafdPqtFLdWFmgR+ELArGm hCwg== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@gmail.com header.s=20161025 header.b=IZc4naMn; 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=fail (p=NONE sp=NONE dis=NONE) header.from=redhat.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id a4si473916pfi.226.2018.04.09.09.54.14; Mon, 09 Apr 2018 09:54:52 -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=fail header.i=@gmail.com header.s=20161025 header.b=IZc4naMn; 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=fail (p=NONE sp=NONE dis=NONE) header.from=redhat.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753412AbeDIQuX (ORCPT + 99 others); Mon, 9 Apr 2018 12:50:23 -0400 Received: from mail-wm0-f66.google.com ([74.125.82.66]:34196 "EHLO mail-wm0-f66.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753089AbeDIQuW (ORCPT ); Mon, 9 Apr 2018 12:50:22 -0400 Received: by mail-wm0-f66.google.com with SMTP id w2so18444732wmw.1 for ; Mon, 09 Apr 2018 09:50:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:from:to:cc:subject:date:message-id; bh=53CkgCzjaJ+uT8nMqnHEO8xy/Ro7I0hKhM6UVhQF+r0=; b=IZc4naMnbDOYfiyVi5FzIsOQn1HEbu9IgjiYtCpAGIcPVp0PQ7pwr+GLAZ+VtDApVW +CuE0ONXsGvkAX1bCUcToO5Kc1CcRaQLAo1qikQEnx7dWUjlcDmGPIzPGkLdtq46R//C seVTtnDiaCJ448Z7Mk7sIzlnK2sd1fsEQNKxj0ZOk+7ObIC4F7HjvtIvHQuV+9JzeHxr wo4p/xYEBbY+GF2rQltdptjIU9AOqhCR/iTr7X5v9CmimwOkmZ0TCvnfzZxPRns+KmfW 8bDyZ4ITUePYDmhE8jmHMaRiLPqWt7fypwfhgEa4DcS8Lzh7WzcUanJYg8JdbToZEk/z C0NQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:from:to:cc:subject:date:message-id; bh=53CkgCzjaJ+uT8nMqnHEO8xy/Ro7I0hKhM6UVhQF+r0=; b=CSDF1INiLv9BFDk+A1T/DwWwMwmSNp7ye85wcDpOkQB09WF8zjhtW2qymXZVnF8hYg 638LxjMq7Yn1B2leVWuySTLbVivIK/5nNhjIOLZOg8PDsJEAVaGPDiE4ZmDISpt9Y16D j9ayQmdUq8UaVBQN4gIlE8IYILDSSMoE/I7nhrNSSP/n6K545UP7tqq2pnjtdIpSJ16n 6E9PgLq3Z+Q5CrK6URyzSg2d+GMNS4+ddgZaolbNkpEKI2NfcLGAteTSd4VZCBNlODYj zbT0rYuoZEuyUByiztqaBfKlVa/lIvhBIXLfYSZFvNbSxgHnLhnntIKLM9o4Y4bvWvxp g0bA== X-Gm-Message-State: ALQs6tBibWeNPxc+9asVPr98xH9qR4f5wzfyubaMSAsT3ia9kQk+Sib+ VkepxAvO42hZSJ7ejIGFN4pSHOmP X-Received: by 10.28.63.136 with SMTP id m130mr528306wma.69.1523292621235; Mon, 09 Apr 2018 09:50:21 -0700 (PDT) Received: from 640k.lan (94-36-194-48.adsl-ull.clienti.tiscali.it. [94.36.194.48]) by smtp.gmail.com with ESMTPSA id y191sm1567391wme.14.2018.04.09.09.50.19 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 09 Apr 2018 09:50:20 -0700 (PDT) From: Paolo Bonzini To: linux-kernel@vger.kernel.org Cc: Alan Stern , Andrea Parri , Will Deacon , Peter Zijlstra , Boqun Feng , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , "Paul E. McKenney" , Akira Yokosawa , Paolo Bonzini Subject: [PATCH] memory-model: fix cheat sheet typo Date: Mon, 9 Apr 2018 18:50:15 +0200 Message-Id: <1523292618-10207-1-git-send-email-pbonzini@redhat.com> X-Mailer: git-send-email 1.8.3.1 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org "RWM" should be "RMW", and that's more or less the extent to which I can claim to change the document. :) In particular, "Self" is not documented and the difference between "Self" and "SV" is not clear to me. Signed-off-by: Paolo Bonzini --- tools/memory-model/Documentation/cheatsheet.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/memory-model/Documentation/cheatsheet.txt b/tools/memory-model/Documentation/cheatsheet.txt index 956b1ae4aafb..c0eafdaddfa4 100644 --- a/tools/memory-model/Documentation/cheatsheet.txt +++ b/tools/memory-model/Documentation/cheatsheet.txt @@ -1,6 +1,6 @@ Prior Operation Subsequent Operation --------------- --------------------------- - C Self R W RWM Self R W DR DW RMW SV + C Self R W RMW Self R W DR DW RMW SV -- ---- - - --- ---- - - -- -- --- -- Store, e.g., WRITE_ONCE() Y Y -- 1.8.3.1