From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by smtp.lore.kernel.org (Postfix) with ESMTP id 5AAA1E732E6 for ; Thu, 28 Sep 2023 15:30:04 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231847AbjI1PaD (ORCPT ); Thu, 28 Sep 2023 11:30:03 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:41360 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S231384AbjI1P37 (ORCPT ); Thu, 28 Sep 2023 11:29:59 -0400 Received: from desiato.infradead.org (desiato.infradead.org [IPv6:2001:8b0:10b:1:d65d:64ff:fe57:4e05]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 77D27B7; Thu, 28 Sep 2023 08:29:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=desiato.20200630; h=In-Reply-To:Content-Type:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=jd8dYp7Pt8k7CilbcSNgX/vhKFjZi5YS/kaYrGpcaOg=; b=Tho9mKtJbnXYlt4hSYEACcM56G q45VTY9HK9+1l97sJufYzPbUu6F26LTsmKIlv02ZgfCOTqDNynlWvidyGUafGQfqxp3OIhR61LmWx 9tbndOmSa2gdFN5XG8O01QNBbVRo68zOUf98BfbZxLCZHCz4t3pHsOpZxgtDKyWAV0p6YZBdvfN/q QSAvWJENsjxFyojQAK1eobn6RjO+jkz0eb3KQe/lGS0e+/9EDiHcxiSNoJxoEiO/KbZ6ogx3JKneS QeSQZ9xW0tj5fZNxSh0/7TxWKUvYkdn5KxPNckXqmJ2KDMGAXmEyODk9iE2vlUVmC14OV3PAGHCJM kRGDIkLQ==; Received: from j130084.upc-j.chello.nl ([24.132.130.84] helo=noisy.programming.kicks-ass.net) by desiato.infradead.org with esmtpsa (Exim 4.96 #2 (Red Hat Linux)) id 1qlsxR-0058br-2J; Thu, 28 Sep 2023 15:29:43 +0000 Received: by noisy.programming.kicks-ass.net (Postfix, from userid 1000) id CEEC63002E3; Thu, 28 Sep 2023 17:29:42 +0200 (CEST) Date: Thu, 28 Sep 2023 17:29:42 +0200 From: Peter Zijlstra To: Boqun Feng Cc: Sebastian Andrzej Siewior , linux-kernel@vger.kernel.org, rcu@vger.kernel.org, "Paul E. McKenney" , Frederic Weisbecker , Ingo Molnar , Joel Fernandes , John Ogness , Josh Triplett , Lai Jiangshan , Mathieu Desnoyers , Neeraj Upadhyay , Steven Rostedt , Thomas Gleixner , Waiman Long , Will Deacon , Zqiang Subject: Re: [RFC PATCH] srcu: Use try-lock lockdep annotation for NMI-safe access. Message-ID: <20230928152942.GE27245@noisy.programming.kicks-ass.net> References: <20230927160231.XRCDDSK4@linutronix.de> <20230928080900.GF9829@noisy.programming.kicks-ass.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Sep 28, 2023 at 07:54:10AM -0700, Boqun Feng wrote: > On Thu, Sep 28, 2023 at 10:09:00AM +0200, Peter Zijlstra wrote: > > On Wed, Sep 27, 2023 at 11:06:09PM -0700, Boqun Feng wrote: > > > > > I think this is a "side-effect" of commit f0f44752f5f6 ("rcu: Annotate > > > SRCU's update-side lockdep dependencies"). In verify_lock_unused(), i.e. > > > the checking for NMI lock usages, the logic is that > > > > I think I'm having a problem with this commit -- that is, by adding > > lockdep you're adding tracepoint, which rely on RCU being active. > > > > The result is that SRCU is now no longer usable from !RCU regions. > > > > Interesting > > > Was this considered and intended? > > > > No, I don't think I have considered this before, I think I may still > miss something here, maybe you or Paul can provide an example for such > a case? The whole trace_.*_rcuidle() machinery. Which I thought I had fully eradicated, but apparently still exists (with *one* user) :-/ Search for rcuidle in include/linux/tracepoint.h Also, git grep trace_.*_rcuidle