Received: by 2002:a05:7412:2a8c:b0:e2:908c:2ebd with SMTP id u12csp3226068rdh; Thu, 28 Sep 2023 06:22:20 -0700 (PDT) X-Google-Smtp-Source: AGHT+IESbUtMyiodRcp3fuqWTa1LCbF4jwK6nEkJ9X/01L3Jask6gldyIuIX+RFOTvDhaK6xIanl X-Received: by 2002:a05:6830:124b:b0:6bd:ba2c:fbbd with SMTP id s11-20020a056830124b00b006bdba2cfbbdmr1256885otp.20.1695907340275; Thu, 28 Sep 2023 06:22:20 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1695907340; cv=none; d=google.com; s=arc-20160816; b=G1xkeDXfNkwr+ucE3K1EWS6vizYK7fgJIKAL6ODoAQ5OxabWgy9Juxzi9jilNexJql 6m1puobB96PBHQYgW3WkgmMoHNDAD7Gbkg+Q3qEqcvmyLWsn6V3qh+DijOCaSXU4m1pa gLTB/T+zsHgx5cDyHiAagUggIkuUtnQn8DB2EL5sbs3L1+KBJ/V/KiKpy0jP4PHRc6XK kbz4eI3s2E+V8t0106hub6Y+TJnEekRiQ93z/ZScyfX48vtk7KdKOcMe1+BJpFdllSGa oyex58rd+XVm/eXYHNSpUEbwaPZocqBJVzzQkmyLJMGgxalPZv962Vmaoudp96q3x0AV 23eg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:dkim-signature; bh=LekBj6wTZxTMKdeALQa2ROWFF95ATjADykPA+v1SjL0=; fh=oelvOC+fdbzRoKt4V/Y+8Nyeq7D+/y4SF8aIaBWZCKc=; b=d0zH/3M5J0sXltfrcHTjNAfdX2zAu954+MKTQe7B4P/G70zcePfhE/T6vBlT1FOblV oigLy5MkTyUAOds38stP5vDpEYTcZrieJWSZAmNVYOD5qa4ddjofiK5Z+rlTPWP8Ybg/ lH+Gy0Y5VN0sO9+67l5qitfRjkrXYoJBvknSZ8eEuiykAjHqvTj97OFJOEfbxvwtap7o Jk5xrWcrJoLdS5S9Ty6H9xdTUWg2EkURrdJDA02DMLbWrzzZpQmGT7SBNDt8QEd+2s4p fGONGgFVtCYrn9wniv/axmaehjGK7GrYeJHiKXR/19sk8yuFj+vZDSGdLkqyRoFCr3Vv Yadw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=IjxmehA4; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.35 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from groat.vger.email (groat.vger.email. [23.128.96.35]) by mx.google.com with ESMTPS id m9-20020a654389000000b00565e39e7b80si18243722pgp.678.2023.09.28.06.22.19 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 28 Sep 2023 06:22:20 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.35 as permitted sender) client-ip=23.128.96.35; Authentication-Results: mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=IjxmehA4; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.35 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by groat.vger.email (Postfix) with ESMTP id 87EC080A8BB5; Thu, 28 Sep 2023 01:07:48 -0700 (PDT) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.10 at groat.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231191AbjI1IHD (ORCPT + 99 others); Thu, 28 Sep 2023 04:07:03 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:33924 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S231408AbjI1IGw (ORCPT ); Thu, 28 Sep 2023 04:06:52 -0400 Received: from casper.infradead.org (casper.infradead.org [IPv6:2001:8b0:10b:1236::1]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 3FD0D1BB; Thu, 28 Sep 2023 01:06:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=casper.20170209; 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=LekBj6wTZxTMKdeALQa2ROWFF95ATjADykPA+v1SjL0=; b=IjxmehA4a27eBfQLGua9QdyZ5Q YSVrMtlAbpx1XLo74atalEjDdTWhnS5WPkkqkP3ETGwsFNV/6/YOM6M/PofwR5bqSA+p7UTZAXVfa YbsUqz9ek8arGRXsb5qOEZZ9+P7RHTrWpqXtjv1XuykXaGxK4Z486HBPmDKOpjqgVo/P+YoLTnmdo wfHsfDrUPb369rrxSLsvNQV2vgzoB5EEuhjGDUeZY6CpZP7msqjGl/YUaAcReuwMbAfWP+7F9shrg Upnwol5EU3GFH6z1Sc7Rg8b7Ixn7nCIB3qlYGnSFDb9vSXPhk1UsmER5qu4P8/TrzFezhnp7i7ezI 6vGs+DQQ==; Received: from j130084.upc-j.chello.nl ([24.132.130.84] helo=noisy.programming.kicks-ass.net) by casper.infradead.org with esmtpsa (Exim 4.94.2 #2 (Red Hat Linux)) id 1qlm20-001JyD-Mt; Thu, 28 Sep 2023 08:05:56 +0000 Received: by noisy.programming.kicks-ass.net (Postfix, from userid 1000) id 48408300454; Thu, 28 Sep 2023 10:05:56 +0200 (CEST) Date: Thu, 28 Sep 2023 10:05:56 +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: <20230928080556.GE9829@noisy.programming.kicks-ass.net> References: <20230927160231.XRCDDSK4@linutronix.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on groat.vger.email Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (groat.vger.email [0.0.0.0]); Thu, 28 Sep 2023 01:07:48 -0700 (PDT) On Wed, Sep 27, 2023 at 11:06:09PM -0700, Boqun Feng wrote: > diff --git a/kernel/locking/lockdep.c b/kernel/locking/lockdep.c > index e85b5ad3e206..1af8d44e5eb4 100644 > --- a/kernel/locking/lockdep.c > +++ b/kernel/locking/lockdep.c > @@ -5727,8 +5727,9 @@ void lock_acquire(struct lockdep_map *lock, unsigned int subclass, > return; > > if (unlikely(!lockdep_enabled())) { > + /* Only do NMI context checking if it's a check lock */ > /* XXX allow trylock from NMI ?!? */ > - if (lockdep_nmi() && !trylock) { > + if (check && lockdep_nmi() && !trylock) { > struct held_lock hlock; > > hlock.acquire_ip = ip; > > Peter, thoughts? > I think I prefer the trylock one. Fundamentally trylock conveys the 'we wont block' thing. Making 'lock' sometimes work for NMI is just confusing.