Received: by 2002:a05:6a10:206:0:0:0:0 with SMTP id 6csp3965551pxj; Tue, 11 May 2021 16:25:02 -0700 (PDT) X-Google-Smtp-Source: ABdhPJyZkKas/cNs6q+Fog0tuHAoPwKLrqkCzF9VGdoqRikOeR1q9IKPqL6L52GWW3I2g5Zf4d27 X-Received: by 2002:a4a:ab83:: with SMTP id m3mr11844111oon.2.1620775502056; Tue, 11 May 2021 16:25:02 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1620775502; cv=none; d=google.com; s=arc-20160816; b=i6DDNtQFRmQlhr0UsMxacMjJ5JAlX8y/y2KOR/HE9OLKitlYFKARi2stXDWFVt9EWE DljKlqR9dOIpH78kIK2maeKUc0dtkLBiRluMXnjwdoNP0/ZMQGNtoY4sUcmSdP1A1T7T UCA9JPuyYyFCp5FykWblazbKgnKwyZeIf50c8s4TUs4LmdjwTsHZpvOy7h67lCAZaczj IGYWYxst+hWisC0QhAtW7h30lAfRNbvhCKWqFvMTNXLAYWsP/gSW8xp/0jbGERL+I2NC o6UkZ0cn526o7auSmBPlq95LmB45WdXzHwsIOJeISDPjjHOJC/USXf1gt5ykAqvjiCTK 66AQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:mime-version :references:in-reply-to:message-id:date:subject:cc:to:from :dkim-signature; bh=A20i0SoIuLpcXbJ8LZcxNTJyjuHePkWA1xmbflWD2nc=; b=Ug8xieDCHAgXtCSqg8mQwrHC7hf/Eou7rR+OOQ0ZfUy2eXVEH29oXmz9poMySRdYb+ 3w9tG0ULVprY1EDwUTFybnbkeQMPxC1XJzr8ahYw0y9JonshuwtZAYfgJKVgqWguHB2d Bz+3hg/vlR1b0XUHHeX4UZ084EoyVnGq1bLsyN10OxYSnwF5OnmBqZkZSgjF8GzDoskp taHFJ3M0L9M6vBXUZaDoBCmzqOKdWjdtVCHfUQ+hZg39iV+i2OvE9QXkdue9iTK4XmAm r3MkqMeGOJiWJVV5oGAGcMANkhqpFCnIrhglfzLy0ys+0VRkzBKucMzchYSlHnY5Mkze 1lmA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=cekeiQ73; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id l22si1586218otd.321.2021.05.11.16.24.49; Tue, 11 May 2021 16:25:02 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=cekeiQ73; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S230145AbhEKXZS (ORCPT + 99 others); Tue, 11 May 2021 19:25:18 -0400 Received: from mail.kernel.org ([198.145.29.99]:52536 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229714AbhEKXZO (ORCPT ); Tue, 11 May 2021 19:25:14 -0400 Received: by mail.kernel.org (Postfix) with ESMTPSA id E4D5961626; Tue, 11 May 2021 23:24:06 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1620775446; bh=cCZiIKSYRe8Se7dZiI5MPDJLnFp4PsJZgVTgCrJuyaA=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=cekeiQ73wdLMfw1R5jOXmxbW9/R5auj6VHq29R0LI8+UI2tuJwhP1BFf6zD1RHJpN cnqSoWLw3OqOWK5cyWn7bcsh7cbl4e4pSEuOWyy+6AaDZ++X3W8i3DfFzNRTHAO6Fs mGl5VK2+bAaxzNtOYKZ8XvjSS+xMrKYH94AnSUIq+xUfvZPbRsaPirBbdNe440FQag HPT6omryhujJ4JCq61lAceGQUyiFVqJ79Bzy7L3LnbttUxl47mpRTQC93nNJ5ah5Aa qkrCpJGm+XK9XNdZ4SpBlL7kIqNiXrsZsmt7rWDwzUBpGfylqdEiRpLeloMYbCNnZL IsoAtrkEfRjAQ== Received: by paulmck-ThinkPad-P17-Gen-1.home (Postfix, from userid 1000) id 99CD95C0138; Tue, 11 May 2021 16:24:06 -0700 (PDT) From: "Paul E. McKenney" To: linux-kernel@vger.kernel.org, kasan-dev@googlegroups.com, kernel-team@fb.com, mingo@kernel.org Cc: elver@google.com, andreyknvl@google.com, glider@google.com, dvyukov@google.com, cai@lca.pw, boqun.feng@gmail.com, "Paul E. McKenney" , Akira Yokosawa Subject: [PATCH tip/core/rcu 01/10] kcsan: Add pointer to access-marking.txt to data_race() bullet Date: Tue, 11 May 2021 16:23:52 -0700 Message-Id: <20210511232401.2896217-1-paulmck@kernel.org> X-Mailer: git-send-email 2.31.1.189.g2e36527f23 In-Reply-To: <20210511231149.GA2895263@paulmck-ThinkPad-P17-Gen-1> References: <20210511231149.GA2895263@paulmck-ThinkPad-P17-Gen-1> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org This commit references tools/memory-model/Documentation/access-marking.txt in the bullet introducing data_race(). The access-marking.txt file gives advice on when data_race() should and should not be used. Suggested-by: Akira Yokosawa Signed-off-by: Paul E. McKenney --- Documentation/dev-tools/kcsan.rst | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Documentation/dev-tools/kcsan.rst b/Documentation/dev-tools/kcsan.rst index d85ce238ace7..80894664a44c 100644 --- a/Documentation/dev-tools/kcsan.rst +++ b/Documentation/dev-tools/kcsan.rst @@ -106,7 +106,9 @@ the below options are available: * KCSAN understands the ``data_race(expr)`` annotation, which tells KCSAN that any data races due to accesses in ``expr`` should be ignored and resulting - behaviour when encountering a data race is deemed safe. + behaviour when encountering a data race is deemed safe. Please see + ``tools/memory-model/Documentation/access-marking.txt`` in the kernel source + tree for more information. * Disabling data race detection for entire functions can be accomplished by using the function attribute ``__no_kcsan``:: -- 2.31.1.189.g2e36527f23