Received: by 2002:ab2:68c1:0:b0:1fd:9a81:d0e4 with SMTP id e1csp328556lqp; Sat, 8 Jun 2024 20:11:13 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCXasCrWG3FvF87lB1ooiJAahAmeRc+Vvullg7119gJ178oHrIlYEDlXQeSz02JmBR4GOJr4voHAnRAsv4CDmfanm8f0IrYAWh+5he0CrA== X-Google-Smtp-Source: AGHT+IFBjJQVfszWqQHB1mnGIkgcpwep5lyeNhH2AtB1M95Zz7iQjgVfacnAKdXfX41Q4J4FUEhH X-Received: by 2002:a05:6e02:218b:b0:374:a667:fc06 with SMTP id e9e14a558f8ab-37580309f62mr82713435ab.8.1717902673280; Sat, 08 Jun 2024 20:11:13 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1717902673; cv=pass; d=google.com; s=arc-20160816; b=Zm7FROM+H7A8y8OR0bzUrRb7ASd2UZV80rWEo619HcGmsLNzUdPaV8Mf+vPUFr27+k MHGQ9+Ef3K2HdrVguMeIOzlDXU5JKd9dc6rbbhvi0DB0UoAw+BUj2eEcXf6ngCn56zmY lirRiTDGLvtBPpT4rQoNUGVMoL/3lg5nWzIngRTySw9Fc9g3V4FPocUyW+HY1sOLRHpt 4ilPlCFvYCip7GHTbwqRvdwYbjVaPWoTwLTx0UiNh3Us+AxInEPk1DJBRdnr3bDjcCp2 4gVJFJg92TZsAmxTCa5tYlh8rgm+MTFGfronADQIBUzfkht6Qd7Kyb+5tdlal6BpBBol L34A== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=in-reply-to:content-disposition:mime-version:list-unsubscribe :list-subscribe:list-id:precedence:references:reply-to:message-id :subject:cc:to:from:date:dkim-signature; bh=8RwP5NJwEsV9zVPDAkqZGNLcl0BC9753lVwpidIRxvc=; fh=tcLEjavUnBLw6FigXw66RQX9YuxcSdivw5I0eVUhD5Q=; b=QAKVJ7NC1S71lBUp4friiLKtYggsM7ZPladxK58jYQkTz8uH+S9+Rmrk7oX7QQN6M6 fOh1ngosWYeCxxASjjVlkE2TFpatzjwHq5Pg/GbFPrPKhzlXamCGqbzx02g0CRYNs7eN iO3FLmMef6HX2rLoqUsvsf5d4SLpYwSA+6HtFBPxDPWUbVIQ3F9rhm8xZhwkLi99zS2y UKKdUU/Olwuv/I1yaifv1YoVXrXBTvygvozMCEVqWAXi4fv8CGhV/8PuxuVvH3ZuIWeT R+bBQr0GifZcefTj1kD6aYMIgAq/EACs36grnaX/uP75UEVQueZS3Do2rtu20Kou6ZXd tVfQ==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=ZXyQR9NU; arc=pass (i=1 dkim=pass dkdomain=kernel.org); spf=pass (google.com: domain of linux-kernel+bounces-207242-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.48.161 as permitted sender) smtp.mailfrom="linux-kernel+bounces-207242-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from sy.mirrors.kernel.org (sy.mirrors.kernel.org. [147.75.48.161]) by mx.google.com with ESMTPS id 41be03b00d2f7-6de20831bc2si3020143a12.139.2024.06.08.20.11.12 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 08 Jun 2024 20:11:13 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel+bounces-207242-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.48.161 as permitted sender) client-ip=147.75.48.161; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=ZXyQR9NU; arc=pass (i=1 dkim=pass dkdomain=kernel.org); spf=pass (google.com: domain of linux-kernel+bounces-207242-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.48.161 as permitted sender) smtp.mailfrom="linux-kernel+bounces-207242-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org 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 sy.mirrors.kernel.org (Postfix) with ESMTPS id E31DFB21386 for ; Sun, 9 Jun 2024 03:11:07 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id 4F254BE4F; Sun, 9 Jun 2024 03:11:00 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b="ZXyQR9NU" Received: from smtp.kernel.org (aws-us-west-2-korg-mail-1.web.codeaurora.org [10.30.226.201]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 723334C79; Sun, 9 Jun 2024 03:10:58 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=10.30.226.201 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1717902659; cv=none; b=XYWQOmdC+RrjW2424jN94bdWFlNHhIIxED8vPLGMT+dLcvWuL+KbnMPDyRQQSDQ6mXMldEwPjWxLGtC4/De4dN3kJZ4c4h510KiNevXAerVYqVAWXeh5H9XC4PYmYH8ZK2oAC0RcnuMbP7C/atKNfAdBHrBwK0wAKzEUF93ezQ0= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1717902659; c=relaxed/simple; bh=5D9tJLK8Yxi2FMWVVXhn5pe1Qnp5Kh/4GRapemA6eRg=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=YouEPp5cNGwD+DpqeDgPTsUbh56PBN3RPKCSzxl7CBeSv/X1SwjIVmHBLlLwmP+r2QhUJWRGMGnPYuJrvuCrPNhWaE7OXdnynjfNhOPqvD84A5+8ccOUow3K4UWh286j4tQHhMx59SYvA1S/TvmhloSwQRaoU0H2oH2PirEXP/U= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b=ZXyQR9NU; arc=none smtp.client-ip=10.30.226.201 Received: by smtp.kernel.org (Postfix) with ESMTPSA id BEA42C4AF1C; Sun, 9 Jun 2024 03:10:58 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1717902658; bh=5D9tJLK8Yxi2FMWVVXhn5pe1Qnp5Kh/4GRapemA6eRg=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=ZXyQR9NUUiCecQY26AiSDvnRho0aiOSYjN69b9ADzgqWzIzf+elOuL87JEbD0BYR3 cP4kipaKzxodyHO5BAfc/dzGzUb/h3D8epa8eLmLplmB0vSCHtEaM5hKz0Z3rOYqS6 rUoJKXLlzQejoQN1Un8ffsY3JpWN0vag8uJHkZu1AirTO1JOyXWnsE/3KUaLeuOuz9 1GN63VTrTCNIVZucSqO6ICkpv+FYdKzN4+QSgoJIk1L6maCZismCYIhNyOVJfEO5sY zcU2DwL7cO0hMPQrQ8if7X4K9dKYp17GVy7ZJTClN9Bv693OLWnLcaVESzByPP3AFM k5jS7GfwUhMpQ== Received: by paulmck-ThinkPad-P17-Gen-1.home (Postfix, from userid 1000) id 5AB57CE0F92; Sat, 8 Jun 2024 20:10:58 -0700 (PDT) Date: Sat, 8 Jun 2024 20:10:58 -0700 From: "Paul E. McKenney" To: Akira Yokosawa 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, Marco Elver , Daniel Lustig , Joel Fernandes Subject: Re: [PATCH memory-model 3/3] tools/memory-model: Add KCSAN LF mentorship session citation Message-ID: Reply-To: paulmck@kernel.org References: <20240604221419.2370127-3-paulmck@kernel.org> <42fa4660-b3bf-4d09-bbad-064f9d4cc727@gmail.com> <3c5a53e2-b5a9-4197-97a3-247abb7f3061@gmail.com> <6bb5f789-f143-493c-a804-62b7c81dabb0@paulmck-laptop> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: On Sun, Jun 09, 2024 at 09:04:14AM +0900, Akira Yokosawa wrote: > On 2024/06/09 0:48, Paul E. McKenney wrote: > > On Sat, Jun 08, 2024 at 08:38:12AM +0900, Akira Yokosawa wrote: > >> On 2024/06/05 13:02, Paul E. McKenney wrote: > >>> On Wed, Jun 05, 2024 at 10:57:27AM +0900, Akira Yokosawa wrote: > >>>> On Tue, 4 Jun 2024 15:14:19 -0700, 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 > >>>>> 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 > >>>> > >>>> Paul, > >>>> > >>>> While reviewing this, I noticed that > >>>> tools/memory-model/Documentation/README has no mention of > >>>> access-marking.txt. > >>>> > >>>> It has no mention of glossary.txt or locking.txt, either. > >>>> > >>>> I'm not sure where are the right places in README for them. > >>>> Can you update it in a follow-up change? > >>>> > >>>> Anyway, for this change, > >>>> > >>>> Reviewed-by: Akira Yokosawa > >>> > >>> Thank you, and good catch! Does the patch below look appropriate? > >> > >> Well, I must say this is not what I expected. > >> Please see below. > > > > OK, I was clearly in way too much of a hurry when doing this, and please > > accept my apologies for my inattention. I am therefore going to do > > what I should have done in the first place, which is to ask you if you > > would like to send a patch fixing this. If so, I would be quite happy > > to replace mine with yours. > > OK. > I think I can submit a draft patch after fixing perfbook's build error > caused by changes in core LaTeX packages released last week. Ouch! Thank you for keeping up with this! > Can you wait for a while ? No hurry here. It has been this way for some years, so a little while longer is not a disaster. Thanx, Paul