Received: by 2002:a25:8b12:0:0:0:0:0 with SMTP id i18csp177448ybl; Wed, 21 Aug 2019 17:07:15 -0700 (PDT) X-Google-Smtp-Source: APXvYqxXoA4cG7SfYtLQLkKjXMHZsj2Eflg/p527J3TT2CbQRjiQGjS5EtjKWbLZAWzJ88oonv+S X-Received: by 2002:a17:902:d917:: with SMTP id c23mr36550719plz.248.1566432435114; Wed, 21 Aug 2019 17:07:15 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1566432435; cv=none; d=google.com; s=arc-20160816; b=NyX7SXcUH/6LVaYdL8tNOBXzpvZKJeX0iCVNjfSQLzigk+IVQpBdF7hKhRYwzE7VO4 +mtpeE9BHv8dWUkp3DaS+aV0LNXTdK/3Ay7D+lZ4dl0pU/ofKATa7dXeNDonzpEIv1Ni Zn/O2wcC4b6nev/5Q/sKjeVwBAhtdJ4RzCRG3hGKlV88Vy8E1IL/MjK+IXwX40fDevw3 i7HcXqL6Woc3iHuBB7nd3d1lBg2ZODImkfwr/XFm/PbS7o1iylcNOnS+06F5fdybcSR2 6cVRvK9gmu694TTBmDlNjMIwc020dZkEobW2t1hsFqYoA/N4wIXGkQFNJWd3uV9R8AFz X9+Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:reply-to:message-id :subject:cc:to:from:date; bh=VQIxN41HDqR4sBv3+eeOsvjfnCp5r2ut9hdgBEB4YfI=; b=obGSOQEuTQW2ibZOiwHyD1Wsn+Dse69aWcQBDkkWnh/4tGUqEHRWWUMOvJNywvF3JU 96ocPQ0rG5KyBNqERSL5FboVwzaF4xGQdM1d4uupROpag80MFSalO+Yoi1QQ4bHJiMKl XFM6cG6d8suIrXjNUG8kFkX503BzbfjdLga+B3MIKlrVHXlRwIHJeyC7rUEnb8hP1LvR 4SsWE3rs/M3QKIU+5b3u2Zwx8u9xEYQgW9XFXcRZ2X0azlGPTqutsUEH/EoVOlpUkF6k u7yeD3i/Y9tDVIP06mgkvnNiXAH/9gXeoWBmDPdLEZF2knvbgfLdjuUfwIFpXoKDhXe0 hIPQ== ARC-Authentication-Results: i=1; mx.google.com; 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=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id e18si15195411pgv.139.2019.08.21.17.06.59; Wed, 21 Aug 2019 17:07:15 -0700 (PDT) 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; 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=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1730332AbfHUXeK (ORCPT + 99 others); Wed, 21 Aug 2019 19:34:10 -0400 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:27592 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1727629AbfHUXeK (ORCPT ); Wed, 21 Aug 2019 19:34:10 -0400 Received: from pps.filterd (m0098413.ppops.net [127.0.0.1]) by mx0b-001b2d01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id x7LNWPsn049903; Wed, 21 Aug 2019 19:34:00 -0400 Received: from pps.reinject (localhost [127.0.0.1]) by mx0b-001b2d01.pphosted.com with ESMTP id 2uhekchyt8-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 21 Aug 2019 19:34:00 -0400 Received: from m0098413.ppops.net (m0098413.ppops.net [127.0.0.1]) by pps.reinject (8.16.0.27/8.16.0.27) with SMTP id x7LNXxvJ054492; Wed, 21 Aug 2019 19:33:59 -0400 Received: from ppma04wdc.us.ibm.com (1a.90.2fa9.ip4.static.sl-reverse.com [169.47.144.26]) by mx0b-001b2d01.pphosted.com with ESMTP id 2uhekchysy-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 21 Aug 2019 19:33:59 -0400 Received: from pps.filterd (ppma04wdc.us.ibm.com [127.0.0.1]) by ppma04wdc.us.ibm.com (8.16.0.27/8.16.0.27) with SMTP id x7LNUcJN007069; Wed, 21 Aug 2019 23:33:59 GMT Received: from b01cxnp22035.gho.pok.ibm.com (b01cxnp22035.gho.pok.ibm.com [9.57.198.25]) by ppma04wdc.us.ibm.com with ESMTP id 2ufye0d701-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 21 Aug 2019 23:33:59 +0000 Received: from b01ledav003.gho.pok.ibm.com (b01ledav003.gho.pok.ibm.com [9.57.199.108]) by b01cxnp22035.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id x7LNXwmN43319718 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 21 Aug 2019 23:33:58 GMT Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id A0CCBB205F; Wed, 21 Aug 2019 23:33:58 +0000 (GMT) Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 6BBE2B2065; Wed, 21 Aug 2019 23:33:58 +0000 (GMT) Received: from paulmck-ThinkPad-W541 (unknown [9.85.200.24]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP; Wed, 21 Aug 2019 23:33:58 +0000 (GMT) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id 1A56D16C65BA; Wed, 21 Aug 2019 16:33:58 -0700 (PDT) Date: Wed, 21 Aug 2019 16:33:58 -0700 From: "Paul E. McKenney" To: Scott Wood Cc: Sebastian Andrzej Siewior , linux-rt-users@vger.kernel.org, linux-kernel@vger.kernel.org, Joel Fernandes , Thomas Gleixner , Peter Zijlstra , Juri Lelli , Clark Williams Subject: Re: [PATCH RT v2 1/3] rcu: Acquire RCU lock when disabling BHs Message-ID: <20190821233358.GU28441@linux.ibm.com> Reply-To: paulmck@linux.ibm.com References: <20190821231906.4224-1-swood@redhat.com> <20190821231906.4224-2-swood@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20190821231906.4224-2-swood@redhat.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-GCONF: 00 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:,, definitions=2019-08-21_08:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1011 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1906280000 definitions=main-1908210231 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, Aug 21, 2019 at 06:19:04PM -0500, Scott Wood wrote: > A plain local_bh_disable() is documented as creating an RCU critical > section, and (at least) rcutorture expects this to be the case. However, > in_softirq() doesn't block a grace period on PREEMPT_RT, since RCU checks > preempt_count() directly. Even if RCU were changed to check > in_softirq(), that wouldn't allow blocked BH disablers to be boosted. > > Fix this by calling rcu_read_lock() from local_bh_disable(), and update > rcu_read_lock_bh_held() accordingly. Cool! Some questions and comments below. Thanx, Paul > Signed-off-by: Scott Wood > --- > Another question is whether non-raw spinlocks are intended to create an > RCU read-side critical section due to implicit preempt disable. Hmmm... Did non-raw spinlocks act like rcu_read_lock_sched() and rcu_read_unlock_sched() pairs in -rt prior to the RCU flavor consolidation? If not, I don't see why they should do so after that consolidation in -rt. > If they > are, then we'd need to add rcu_read_lock() there as well since RT doesn't > disable preemption (and rcutorture should explicitly test with a > spinlock). If not, the documentation should make that clear. True enough! > include/linux/rcupdate.h | 4 ++++ > kernel/rcu/update.c | 4 ++++ > kernel/softirq.c | 12 +++++++++--- > 3 files changed, 17 insertions(+), 3 deletions(-) > > diff --git a/include/linux/rcupdate.h b/include/linux/rcupdate.h > index 388ace315f32..d6e357378732 100644 > --- a/include/linux/rcupdate.h > +++ b/include/linux/rcupdate.h > @@ -615,10 +615,12 @@ static inline void rcu_read_unlock(void) > static inline void rcu_read_lock_bh(void) > { > local_bh_disable(); > +#ifndef CONFIG_PREEMPT_RT_FULL > __acquire(RCU_BH); > rcu_lock_acquire(&rcu_bh_lock_map); > RCU_LOCKDEP_WARN(!rcu_is_watching(), > "rcu_read_lock_bh() used illegally while idle"); > +#endif Any chance of this using "if (!IS_ENABLED(CONFIG_PREEMPT_RT_FULL))"? We should be OK providing a do-nothing __maybe_unused rcu_bh_lock_map for lockdep-enabled -rt kernels, right? > } > > /* > @@ -628,10 +630,12 @@ static inline void rcu_read_lock_bh(void) > */ > static inline void rcu_read_unlock_bh(void) > { > +#ifndef CONFIG_PREEMPT_RT_FULL > RCU_LOCKDEP_WARN(!rcu_is_watching(), > "rcu_read_unlock_bh() used illegally while idle"); > rcu_lock_release(&rcu_bh_lock_map); > __release(RCU_BH); > +#endif Ditto. > local_bh_enable(); > } > > diff --git a/kernel/rcu/update.c b/kernel/rcu/update.c > index 016c66a98292..a9cdf3d562bc 100644 > --- a/kernel/rcu/update.c > +++ b/kernel/rcu/update.c > @@ -296,7 +296,11 @@ int rcu_read_lock_bh_held(void) > return 0; > if (!rcu_lockdep_current_cpu_online()) > return 0; > +#ifdef CONFIG_PREEMPT_RT_FULL > + return lock_is_held(&rcu_lock_map) || irqs_disabled(); > +#else > return in_softirq() || irqs_disabled(); > +#endif And globally. > } > EXPORT_SYMBOL_GPL(rcu_read_lock_bh_held); > > diff --git a/kernel/softirq.c b/kernel/softirq.c > index d16d080a74f7..6080c9328df1 100644 > --- a/kernel/softirq.c > +++ b/kernel/softirq.c > @@ -115,8 +115,10 @@ void __local_bh_disable_ip(unsigned long ip, unsigned int cnt) > long soft_cnt; > > WARN_ON_ONCE(in_irq()); > - if (!in_atomic()) > + if (!in_atomic()) { > local_lock(bh_lock); > + rcu_read_lock(); > + } > soft_cnt = this_cpu_inc_return(softirq_counter); > WARN_ON_ONCE(soft_cnt == 0); > current->softirq_count += SOFTIRQ_DISABLE_OFFSET; > @@ -151,8 +153,10 @@ void _local_bh_enable(void) > #endif > > current->softirq_count -= SOFTIRQ_DISABLE_OFFSET; > - if (!in_atomic()) > + if (!in_atomic()) { > + rcu_read_unlock(); > local_unlock(bh_lock); > + } > } > > void _local_bh_enable_rt(void) > @@ -185,8 +189,10 @@ void __local_bh_enable_ip(unsigned long ip, unsigned int cnt) > WARN_ON_ONCE(count < 0); > local_irq_enable(); > > - if (!in_atomic()) > + if (!in_atomic()) { > + rcu_read_unlock(); > local_unlock(bh_lock); > + } The return from in_atomic() is guaranteed to be the same at local_bh_enable() time as was at the call to the corresponding local_bh_disable()? I could have sworn that I ran afoul of this last year. Might these added rcu_read_lock() and rcu_read_unlock() calls need to check for CONFIG_PREEMPT_RT_FULL? > current->softirq_count -= SOFTIRQ_DISABLE_OFFSET; > preempt_check_resched(); > -- > 1.8.3.1 >