Received: by 2002:a25:8b91:0:0:0:0:0 with SMTP id j17csp5470035ybl; Tue, 14 Jan 2020 09:25:51 -0800 (PST) X-Google-Smtp-Source: APXvYqwLQ2ggyraWAFL0fU/miXjV5t4+XaEjyQOT1ra96JFLkDCcXKA4bPiProN5faft8VsSeT37 X-Received: by 2002:aca:f505:: with SMTP id t5mr17887560oih.136.1579022751821; Tue, 14 Jan 2020 09:25:51 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1579022751; cv=none; d=google.com; s=arc-20160816; b=tyLtAGHp1U8OhTV09VRSpD8MmAgtaYIpnf9vJwG/6GHKJ284s0CfWvu/sQSXFBB/BZ A7/2LWkIhfX/KScEDhWORRC5AJZMb7qBs1uQrlS236vvsdNQAPFxDhhBGznzrzI/Wp2g PeEgXF5PD2fSzUFGOfckIxeSKbwSWcsrTOTrDD4OYwhGpKVWnfkaEVm7UozilQDI1YAS XqsNFcCAnCf94+oUOIbl5pK9rlUKBXBqU4OH5tU8DG61YH5y2Nk0Iz6Rf2h8IU2eqLVt 7/XyOpnhoce9ZtnweyvI0Z5v1WZTOcyd3EFt5wzzTusCfPnra3NsYPm/Tw99rZF+9if2 hR1w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:dkim-signature; bh=m6aoFKbKaSXKUSg/Zz8IkoRTb5Zfu+nxqGB3mWWn4Q0=; b=dlOldzBIkflyvr0v9Zt2Y1DgKlZQg0pBRFVm+KBdQOuQzMbJFy1imUkKlpUjOR0rkW ixSwOZpflAu8tVFiciikeF+gwl5YLesNmV+mOZIEWGEBAiQoWGgmiUJqXJmgmLbotAzC vUbQEvYiGckpmiJ6Ma1fdG4bSBhYMKy3jyXMjEngR6WMXsuoN66Mi/b6/+A955eGiz8m 8CXUQm6X549A5F7mXBbYeWeeozwFpO5F+7ELebf62UZkLAMiC/MnCgNf6xxFYCOvwhmD ztK+lVCmwsW1ubc3KNeVvF+jxc52IvlTJO77uW2fEJLeDXNir2fL0BlnZ7CdAz4Bv+8g T5LA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b=ArcAMvR7; 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=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id u12si7816802oiv.13.2020.01.14.09.25.40; Tue, 14 Jan 2020 09:25:51 -0800 (PST) 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=pass header.i=@google.com header.s=20161025 header.b=ArcAMvR7; 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=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728699AbgANRYb (ORCPT + 99 others); Tue, 14 Jan 2020 12:24:31 -0500 Received: from mail-wm1-f66.google.com ([209.85.128.66]:54656 "EHLO mail-wm1-f66.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726053AbgANRYa (ORCPT ); Tue, 14 Jan 2020 12:24:30 -0500 Received: by mail-wm1-f66.google.com with SMTP id b19so14749428wmj.4 for ; Tue, 14 Jan 2020 09:24:29 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=m6aoFKbKaSXKUSg/Zz8IkoRTb5Zfu+nxqGB3mWWn4Q0=; b=ArcAMvR7ix2hUFG5Z2tEeErcMWOiY3d8Aa/kwMLCzY3U/FpXEFipZoTzmyk3JRh3em savlZuS1Gk1UuhGiUY4GTtsFYWCTaZPad4G516SCMOAYOcyJ2LC5nywTlTYJQdO7VISM SDJLD0WoxPv4//6zm/GpVqdr59rSuYqN+yO7y//z0sHwBu6T15NWaAFMd8yCaiZ4bv4y ThWoHvEHbao6jl3w2QiVN6kto8hpBb1lg9Hg0ann7mXu34UUkUg7l7G9As4MY3Fh8Z6k ASk1M0fvEIuUDKtqsOv9vO4iABBDwS29V6ts98xaMzSjWBtpL98P3cPHZzm9iFbJcG6G piAQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=m6aoFKbKaSXKUSg/Zz8IkoRTb5Zfu+nxqGB3mWWn4Q0=; b=VBHwasPu0yDQnTyRQeu974KmDgvBmJlXd40C5UDPlDibPG6jfabfSHnLcK+F06fnkA 1ShXxam19nUMC1l+41sM3qaTygoFzqpLXcvpjFIyxQ1HZ7LwVL49XYtZO+u7gDfCqc6N W/pyQ0rszJMBaBxPqCcjUYsnrI2HcYmNbnGxKbv2QleKUzCZjkifWcgWpGBoTwP16lcC eqsvXReBlU8kn6KTIsT0ASa+Gp8pD8JvxXoasPOSL0QN3pwudBiO13a/M39JiAOyS/YT 80raeXlHAVy04ggvGPBJPd89LPXHFC3KzdVACu7Ut/LecrY1VlUyCy6CFge/daj9lmHe IzbA== X-Gm-Message-State: APjAAAUxsu+1xNF+Oz8pvg1VXZvWtKzP/XfXpw9Kzp2sB8UbZu/NtkjW vdaUAk/gBvGjUfB5jck6s0KmOx9T0/YwMHRpSJ8W4A== X-Received: by 2002:a05:600c:246:: with SMTP id 6mr29500320wmj.122.1579022668374; Tue, 14 Jan 2020 09:24:28 -0800 (PST) MIME-Version: 1.0 References: <20200114124919.11891-1-elver@google.com> In-Reply-To: <20200114124919.11891-1-elver@google.com> From: Alexander Potapenko Date: Tue, 14 Jan 2020 18:24:17 +0100 Message-ID: Subject: Re: [PATCH -rcu] kcsan: Make KCSAN compatible with lockdep To: Marco Elver Cc: paulmck@kernel.org, Andrey Konovalov , Dmitriy Vyukov , kasan-dev , LKML , Peter Zijlstra , Ingo Molnar , will@kernel.org, Qian Cai Content-Type: text/plain; charset="UTF-8" Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org > --- a/kernel/kcsan/core.c > +++ b/kernel/kcsan/core.c > @@ -337,7 +337,7 @@ kcsan_setup_watchpoint(const volatile void *ptr, size_t size, int type) > * detection point of view) to simply disable preemptions to ensure > * as many tasks as possible run on other CPUs. > */ > - local_irq_save(irq_flags); > + raw_local_irq_save(irq_flags); Please reflect the need to use raw_local_irq_save() in the comment. > > watchpoint = insert_watchpoint((unsigned long)ptr, size, is_write); > if (watchpoint == NULL) { > @@ -429,7 +429,7 @@ kcsan_setup_watchpoint(const volatile void *ptr, size_t size, int type) > > kcsan_counter_dec(KCSAN_COUNTER_USED_WATCHPOINTS); > out_unlock: > - local_irq_restore(irq_flags); > + raw_local_irq_restore(irq_flags); Ditto