Received: by 2002:ab2:6d45:0:b0:1fb:d597:ff75 with SMTP id d5csp132882lqr; Wed, 5 Jun 2024 00:53:57 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCWVGkr3I3QI5REf98NAd630f/y2dc/wf6vf4DmVDL30Ajnd9NTwZDCapVl7CAxxkBNYjnSmqDDsCqrke1n+BOx0XkBWvXCe3DjX9kr7+A== X-Google-Smtp-Source: AGHT+IF6wL7R1oTtCZPGaV2Pzhgw2M3EDnSm9gGiQaVbIgY6umtdOQVTrXRlbNgc7XsOUANycjeI X-Received: by 2002:a05:620a:5dd5:b0:794:f279:6bb4 with SMTP id af79cd13be357-79523d41193mr152289385a.6.1717574037509; Wed, 05 Jun 2024 00:53:57 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1717574037; cv=pass; d=google.com; s=arc-20160816; b=mAMswYa4C4owxkKRA85MpRZzQvN98KWCQ7AP/7JFvSCWaqsAQOiIc4MOuaRWX9EMGb h18ztF+KarR7FkeIPskMF6hCnPu8jJDL3ZFwTVoo6RdBrntVeMLyX2DyOUd9UF4COtGd tVixeEv5VG+EoreA9Rhw9C7c79dMcvO44dpcYUwyYSyE7iyHNh2wJ08Supyl4m2fs32m 6oMD602xJdIVJsIXfctL3Hl/F0k+0AFuisp2B3/6GYe3tp9uH/Ik2G2HmpQbhP6elOXs KXZX70wMkUe//kZj8AQ7IxdNSTXAcqWTQXpuz6EiCPFj1fMQWLIFgOaCECtHtRG6ilel FydQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:list-unsubscribe:list-subscribe:list-id:precedence :dkim-signature; bh=dH9aFv02Wu6clD2z8MVw+PuL/jNAUoVwhNcfaDFd6Rg=; fh=yQDNpiX7C0iYr2VonLAAvgH5EHP1/TPFLdAMpu8IXc4=; b=EcV6GX3zwQcGK/EZ4+EI2mMJ21D2ZkeDdytKKkZlxAPz0PQQOPipm7F/BAcNlLUwEr zZGdLBNoHbAJYyZUj7dg7V2ffhJqyXUkgOMxW2s8ghS4Ork+xQ57xKlGyaYJc/YgVMhX LfS62METpenS8Zjzk32ybyCQnNFG5ptH+FlhoEYD9wEwaiNsoVD0gKxTBLEKX8HtxvkI GW2ZXpaTvUrBQnx/1p0aZVyUB9TJ9H1E6x/bmVgT2h3nhry0IUAMKWv+t0yABeIRnXiB 1EIs2upz3Dhu3UAr8VbhVVIVfgLr6xZ2LzJmRvLYUIpCfSjDHk1+jxe58eghIO1mTbgX 52ig==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@google.com header.s=20230601 header.b=3GSuJjCW; arc=pass (i=1 spf=pass spfdomain=google.com dkim=pass dkdomain=google.com dmarc=pass fromdomain=google.com); spf=pass (google.com: domain of linux-kernel+bounces-201912-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) smtp.mailfrom="linux-kernel+bounces-201912-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from ny.mirrors.kernel.org (ny.mirrors.kernel.org. [2604:1380:45d1:ec00::1]) by mx.google.com with ESMTPS id af79cd13be357-794f32a5b6csi1379605085a.586.2024.06.05.00.53.57 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 05 Jun 2024 00:53:57 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel+bounces-201912-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) client-ip=2604:1380:45d1:ec00::1; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20230601 header.b=3GSuJjCW; arc=pass (i=1 spf=pass spfdomain=google.com dkim=pass dkdomain=google.com dmarc=pass fromdomain=google.com); spf=pass (google.com: domain of linux-kernel+bounces-201912-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) smtp.mailfrom="linux-kernel+bounces-201912-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: from smtp.subspace.kernel.org (wormhole.subspace.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ny.mirrors.kernel.org (Postfix) with ESMTPS id 3D03D1C2111D for ; Wed, 5 Jun 2024 07:53:57 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id EA2F918F2EF; Wed, 5 Jun 2024 07:53:20 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b="3GSuJjCW" Received: from mail-vk1-f172.google.com (mail-vk1-f172.google.com [209.85.221.172]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 7716118F2C1 for ; Wed, 5 Jun 2024 07:53:18 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.221.172 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1717574000; cv=none; b=V2Jkiu/KtPpIO4VrP8xLXB6QYMGzRhrYjqju3Y8TO/nCjFiWR8jImQNBmDUy/QTAf1PmXa8Cdqbw6b7FptVGOiP/ip2uhaWhxR16selgYk0Up5dj0RmCz2f366FKb9E0Yn0hRNNDQmCK1iCycBfd0H1xIuj//oBzv7wVO/y4hBs= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1717574000; c=relaxed/simple; bh=rc0+EnOjjlcqrlZBSxhgDHouHLknnPbYCYKcXR2MDhU=; h=MIME-Version:References:In-Reply-To:From:Date:Message-ID:Subject: To:Cc:Content-Type; b=OyK9wwc+RZsbFgZICO9ez2BqV2JOOarPGRAd3bm2dPeF3SDMQ6ej5a/JXc/q27iBn5YeKfBR5pp4cCiSTO67TGhc+kEv9w4yGKoy25qgBmWk5gczRF1cVI6xv02+eUdEhVABMJiSSIwA+brEKwoTQVyiViohlNkYldmoMph8vAY= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com; spf=pass smtp.mailfrom=google.com; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b=3GSuJjCW; arc=none smtp.client-ip=209.85.221.172 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=google.com Received: by mail-vk1-f172.google.com with SMTP id 71dfb90a1353d-4eaf67ad82dso1974647e0c.1 for ; Wed, 05 Jun 2024 00:53:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1717573997; x=1718178797; darn=vger.kernel.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=dH9aFv02Wu6clD2z8MVw+PuL/jNAUoVwhNcfaDFd6Rg=; b=3GSuJjCWZAdDUAsWB3hZtLo9nCNjkW6uFnNSOnyPUik3YrmS14a19V7FO2VNL7yqap l54Q1NvpVLy7q/O8+7wcAPJf+vbq+PD5PxXgthWi/LJkMGcWQEhBvFmLeQeVWJjNRzZC d1EaHRFYlcRHpExtwIraEm+73jl5V46QAvZ5fPmKdZQqaGRJKlA/qJUArUuH4CmWhEDZ lf6cfjiN9/kKPzllFeWjWedRaFxGj2ZfkkYpyPkdiZ5XmBcYS8qB+/nILH8yqZOFA8Ho tnIooks/9yujF0UzULihCnEanle8HowmkD/zcKS5CMZPenkcYDy0z7ZyfFWgNRruMdAl x+Dw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1717573997; x=1718178797; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=dH9aFv02Wu6clD2z8MVw+PuL/jNAUoVwhNcfaDFd6Rg=; b=aLFS3bj3pZTXV++MK0I3UFhrE4vMO9OPmzJXm476vTebNR+9kBb89QbvFg2yuKqJ9w 9tF9zBGAOOenh5K8y5A4bdWNOHNk0/OFkHSekl9oaFv/Osa1KY5QCDUmo0Yt3OZbznxa cL52k4lnN+256R6A8L0vD5FtWDIc/H4/piWxOVWXPE9lZngAwgiInk6KEpYUFo+FWWxg 5tgTNI2TciWr3H5gF+3nyVimIU0Why6Y3wHR8FILUe3xrrq2MMl/mwilCjacMqzTxyU7 2rfeNh7PhnEBN9tL/ziAJTMYJ2b64C1Rvshf7vkSZhG9icRzfj/9r0rGP+F0cKlve8kU 8qpA== X-Gm-Message-State: AOJu0Yzrt/GR1jgAr+q5/QRqtV5IOJq/pn5ttTxtZiSSvsCrreAkOOBN e4mSvkHqTTUqmniXwo0CrBYc2KYOtoeHOd/SjbmDcOeGGxxg8KRkAmXpybwkx4C0ux6QwEIGBph As9XAqa0YKGxw9CoVeWyDpvvupNmWtV4oVDQ8 X-Received: by 2002:a05:6122:31a4:b0:4dc:b486:e4a5 with SMTP id 71dfb90a1353d-4eb3a27fe04mr2565829e0c.0.1717573997139; Wed, 05 Jun 2024 00:53:17 -0700 (PDT) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 References: <20240604221419.2370127-3-paulmck@kernel.org> In-Reply-To: <20240604221419.2370127-3-paulmck@kernel.org> From: Marco Elver Date: Wed, 5 Jun 2024 09:52:38 +0200 Message-ID: Subject: Re: [PATCH memory-model 3/3] tools/memory-model: Add KCSAN LF mentorship session citation To: "Paul E. McKenney" Cc: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, kernel-team@meta.com, mingo@kernel.org, stern@rowland.harvard.edu, parri.andrea@gmail.com, will@kernel.org, peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, akiyks@gmail.com, Daniel Lustig , Joel Fernandes Content-Type: text/plain; charset="UTF-8" On Wed, 5 Jun 2024 at 00:14, Paul E. McKenney wrote: > > Add a citation to Marco's LF mentorship session presentation entitled > "The Kernel Concurrency Sanitizer" > > [ paulmck: Apply Marco Elver feedback. ] > > Reported-by: Marco Elver > Signed-off-by: Paul E. McKenney Acked-by: Marco Elver Thanks for adding. > Cc: Alan Stern > Cc: Andrea Parri > Cc: Will Deacon > Cc: Peter Zijlstra > Cc: Boqun Feng > Cc: Nicholas Piggin > Cc: David Howells > Cc: Jade Alglave > Cc: Luc Maranget > Cc: Akira Yokosawa > Cc: Daniel Lustig > Cc: Joel Fernandes > Cc: > --- > tools/memory-model/Documentation/access-marking.txt | 10 +++++++--- > 1 file changed, 7 insertions(+), 3 deletions(-) > > diff --git a/tools/memory-model/Documentation/access-marking.txt b/tools/memory-model/Documentation/access-marking.txt > index 65778222183e3..f531b0837356b 100644 > --- a/tools/memory-model/Documentation/access-marking.txt > +++ b/tools/memory-model/Documentation/access-marking.txt > @@ -6,7 +6,8 @@ normal accesses to shared memory, that is "normal" as in accesses that do > not use read-modify-write atomic operations. It also describes how to > document these accesses, both with comments and with special assertions > processed by the Kernel Concurrency Sanitizer (KCSAN). This discussion > -builds on an earlier LWN article [1]. > +builds on an earlier LWN article [1] and Linux Foundation mentorship > +session [2]. > > > ACCESS-MARKING OPTIONS > @@ -31,7 +32,7 @@ example: > WRITE_ONCE(a, b + data_race(c + d) + READ_ONCE(e)); > > Neither plain C-language accesses nor data_race() (#1 and #2 above) place > -any sort of constraint on the compiler's choice of optimizations [2]. > +any sort of constraint on the compiler's choice of optimizations [3]. > In contrast, READ_ONCE() and WRITE_ONCE() (#3 and #4 above) restrict the > compiler's use of code-motion and common-subexpression optimizations. > Therefore, if a given access is involved in an intentional data race, > @@ -594,5 +595,8 @@ REFERENCES > [1] "Concurrency bugs should fear the big bad data-race detector (part 2)" > https://lwn.net/Articles/816854/ > > -[2] "Who's afraid of a big bad optimizing compiler?" > +[2] "The Kernel Concurrency Sanitizer" > + https://www.linuxfoundation.org/webinars/the-kernel-concurrency-sanitizer > + > +[3] "Who's afraid of a big bad optimizing compiler?" > https://lwn.net/Articles/793253/ > -- > 2.40.1 >