All of lore.kernel.org
 help / color / mirror / Atom feed
From: Paul E. McKenney <paulmck@linux.ibm.com>
To: intel-wired-lan@osuosl.org
Subject: [Intel-wired-lan] [PATCH RFC 3/5] sched/cpufreq: Fix incorrect RCU API usage
Date: Thu, 21 Feb 2019 07:52:18 -0800	[thread overview]
Message-ID: <20190221155218.GZ11787@linux.ibm.com> (raw)
In-Reply-To: <20190221153117.GT32494@hirez.programming.kicks-ass.net>

On Thu, Feb 21, 2019 at 04:31:17PM +0100, Peter Zijlstra wrote:
> On Thu, Feb 21, 2019 at 10:21:39AM -0500, Joel Fernandes wrote:
> > On Thu, Feb 21, 2019 at 10:18:05AM +0100, Peter Zijlstra wrote:
> > > On Thu, Feb 21, 2019 at 12:49:40AM -0500, Joel Fernandes (Google) wrote:
> > > > @@ -34,8 +34,12 @@ void cpufreq_add_update_util_hook(int cpu, struct update_util_data *data,
> > > >  	if (WARN_ON(!data || !func))
> > > >  		return;
> > > >  
> > > > -	if (WARN_ON(per_cpu(cpufreq_update_util_data, cpu)))
> > > > +	rcu_read_lock();
> > > > +	if (WARN_ON(rcu_dereference(per_cpu(cpufreq_update_util_data, cpu)))) {
> > > > +		rcu_read_unlock();
> > > >  		return;
> > > > +	}
> > > > +	rcu_read_unlock();
> > > >  
> > > >  	data->func = func;
> > > >  	rcu_assign_pointer(per_cpu(cpufreq_update_util_data, cpu), data);
> > > 
> > > This doesn't make any kind of sense to me.
> > > 
> > 
> > As per the rcu_assign_pointer() line, I inferred that
> > cpufreq_update_util_data is expected to be RCU protected. Reading the pointer
> > value of RCU pointers generally needs to be done from RCU read section, and
> > using rcu_dereference() (or using rcu_access()).
> > 
> > In this patch, I changed cpufreq_update_util_data to be __rcu annotated to
> > avoid the sparse error thrown by rcu_assign_pointer().
> > 
> > Instead of doing that, If your intention here is RELEASE barrier, should I
> > just replace in this function:
> > 	rcu_assign_pointer(per_cpu(cpufreq_update_util_data, cpu), data);
> > with:
> > 	smp_store_release(per_cpu(cpufreq_update_util_data, cpu), data))
> > ?
> > 
> > It would be nice IMO to be explicit about the intention of release/publish
> > semantics by using smp_store_release().
> 
> No, it is RCU managed, it should be RCU. The problem is that the hunk
> above is utter crap.
> 
> All that does is read the pointer, it never actually dereferences it.

For whatever it is worth, in that case it could use rcu_access_pointer().
And this primitive does not do the lockdep check for being within an RCU
read-side critical section.  As Peter says, if there is no dereferencing,
there can be no use-after-free bug, so the RCU read-side critical is
not needed.

Good eyes, Peter!  ;-)

							Thanx, Paul


WARNING: multiple messages have this Message-ID (diff)
From: "Paul E. McKenney" <paulmck@linux.ibm.com>
To: Peter Zijlstra <peterz@infradead.org>
Cc: Joel Fernandes <joel@joelfernandes.org>,
	linux-kernel@vger.kernel.org, Alexei Starovoitov <ast@kernel.org>,
	Christian Brauner <christian@brauner.io>,
	Daniel Borkmann <daniel@iogearbox.net>,
	David Ahern <dsahern@gmail.com>,
	"David S. Miller" <davem@davemloft.net>,
	Ido Schimmel <idosch@mellanox.com>,
	Ingo Molnar <mingo@redhat.com>,
	"moderated list:INTEL ETHERNET DRIVERS" 
	<intel-wired-lan@lists.osuosl.org>,
	Jakub Kicinski <jakub.kicinski@netronome.com>,
	Jeff Kirsher <jeffrey.t.kirsher@intel.com>,
	Jesper Dangaard Brouer <hawk@kernel.org>,
	John Fastabend <john.fastabend@gmail.com>,
	Josh Triplett <josh@joshtriplett.org>,
	keescook@chromium.org, Lai Jiangshan <jiangshanlai@gmail.com>,
	Martin KaFai Lau <kafai@fb.com>,
	Mathieu Desnoyers <mathieu.desnoyers@efficios.com>,
	netdev@vger.kernel.org, rcu@vger.kernel.org,
	Song Liu <songliubraving@fb.com>,
	Steven Rostedt <rostedt@goodmis.org>,
	xdp-newbies@vger.kernel.org, Yonghong Song <yhs@fb.com>
Subject: Re: [PATCH RFC 3/5] sched/cpufreq: Fix incorrect RCU API usage
Date: Thu, 21 Feb 2019 07:52:18 -0800	[thread overview]
Message-ID: <20190221155218.GZ11787@linux.ibm.com> (raw)
In-Reply-To: <20190221153117.GT32494@hirez.programming.kicks-ass.net>

On Thu, Feb 21, 2019 at 04:31:17PM +0100, Peter Zijlstra wrote:
> On Thu, Feb 21, 2019 at 10:21:39AM -0500, Joel Fernandes wrote:
> > On Thu, Feb 21, 2019 at 10:18:05AM +0100, Peter Zijlstra wrote:
> > > On Thu, Feb 21, 2019 at 12:49:40AM -0500, Joel Fernandes (Google) wrote:
> > > > @@ -34,8 +34,12 @@ void cpufreq_add_update_util_hook(int cpu, struct update_util_data *data,
> > > >  	if (WARN_ON(!data || !func))
> > > >  		return;
> > > >  
> > > > -	if (WARN_ON(per_cpu(cpufreq_update_util_data, cpu)))
> > > > +	rcu_read_lock();
> > > > +	if (WARN_ON(rcu_dereference(per_cpu(cpufreq_update_util_data, cpu)))) {
> > > > +		rcu_read_unlock();
> > > >  		return;
> > > > +	}
> > > > +	rcu_read_unlock();
> > > >  
> > > >  	data->func = func;
> > > >  	rcu_assign_pointer(per_cpu(cpufreq_update_util_data, cpu), data);
> > > 
> > > This doesn't make any kind of sense to me.
> > > 
> > 
> > As per the rcu_assign_pointer() line, I inferred that
> > cpufreq_update_util_data is expected to be RCU protected. Reading the pointer
> > value of RCU pointers generally needs to be done from RCU read section, and
> > using rcu_dereference() (or using rcu_access()).
> > 
> > In this patch, I changed cpufreq_update_util_data to be __rcu annotated to
> > avoid the sparse error thrown by rcu_assign_pointer().
> > 
> > Instead of doing that, If your intention here is RELEASE barrier, should I
> > just replace in this function:
> > 	rcu_assign_pointer(per_cpu(cpufreq_update_util_data, cpu), data);
> > with:
> > 	smp_store_release(per_cpu(cpufreq_update_util_data, cpu), data))
> > ?
> > 
> > It would be nice IMO to be explicit about the intention of release/publish
> > semantics by using smp_store_release().
> 
> No, it is RCU managed, it should be RCU. The problem is that the hunk
> above is utter crap.
> 
> All that does is read the pointer, it never actually dereferences it.

For whatever it is worth, in that case it could use rcu_access_pointer().
And this primitive does not do the lockdep check for being within an RCU
read-side critical section.  As Peter says, if there is no dereferencing,
there can be no use-after-free bug, so the RCU read-side critical is
not needed.

Good eyes, Peter!  ;-)

							Thanx, Paul


  reply	other threads:[~2019-02-21 15:52 UTC|newest]

Thread overview: 47+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-02-21  5:49 [Intel-wired-lan] [PATCH RFC 0/5] RCU fixes for rcu_assign_pointer() usage Joel Fernandes
2019-02-21  5:49 ` Joel Fernandes (Google)
2019-02-21  5:49 ` Joel Fernandes (Google)
2019-02-21  5:49 ` [Intel-wired-lan] [PATCH RFC 1/5] net: rtnetlink: Fix incorrect RCU API usage Joel Fernandes
2019-02-21  5:49   ` Joel Fernandes (Google)
2019-02-21  5:49   ` Joel Fernandes (Google)
2019-02-21  5:49 ` [Intel-wired-lan] [PATCH RFC 2/5] ixgbe: " Joel Fernandes
2019-02-21  5:49   ` Joel Fernandes (Google)
2019-02-21  5:49   ` Joel Fernandes (Google)
2019-02-21  5:49 ` [Intel-wired-lan] [PATCH RFC 3/5] sched/cpufreq: " Joel Fernandes
2019-02-21  5:49   ` Joel Fernandes (Google)
2019-02-21  5:49   ` Joel Fernandes (Google)
2019-02-21  9:18   ` [Intel-wired-lan] " Peter Zijlstra
2019-02-21  9:18     ` Peter Zijlstra
2019-02-21 15:21     ` [Intel-wired-lan] " Joel Fernandes
2019-02-21 15:21       ` Joel Fernandes
2019-02-21 15:31       ` [Intel-wired-lan] " Peter Zijlstra
2019-02-21 15:31         ` Peter Zijlstra
2019-02-21 15:52         ` Paul E. McKenney [this message]
2019-02-21 15:52           ` Paul E. McKenney
2019-02-21 16:11           ` [Intel-wired-lan] " Peter Zijlstra
2019-02-21 16:11             ` Peter Zijlstra
2019-02-21 17:13             ` [Intel-wired-lan] " Joel Fernandes
2019-02-21 17:13               ` Joel Fernandes
2019-02-21 17:29               ` [Intel-wired-lan] " Paul E. McKenney
2019-02-21 17:29                 ` Paul E. McKenney
2019-02-21 16:17   ` [Intel-wired-lan] " Steven Rostedt
2019-02-21 16:17     ` Steven Rostedt
2019-02-21 16:17     ` Steven Rostedt
2019-02-21 23:05   ` [Intel-wired-lan] " Rafael J. Wysocki
2019-02-21 23:05     ` Rafael J. Wysocki
2019-02-21  5:49 ` [Intel-wired-lan] [PATCH RFC 4/5] sched/topology: Annonate RCU pointers properly Joel Fernandes
2019-02-21  5:49   ` Joel Fernandes (Google)
2019-02-21  5:49   ` Joel Fernandes (Google)
2019-02-21  9:19   ` [Intel-wired-lan] " Peter Zijlstra
2019-02-21  9:19     ` Peter Zijlstra
2019-02-21 15:10     ` [Intel-wired-lan] " Joel Fernandes
2019-02-21 15:10       ` Joel Fernandes
2019-02-21 15:29       ` [Intel-wired-lan] " Peter Zijlstra
2019-02-21 15:29         ` Peter Zijlstra
2019-02-21 17:17         ` [Intel-wired-lan] " Joel Fernandes
2019-02-21 17:17           ` Joel Fernandes
2019-02-21  5:49 ` [Intel-wired-lan] [PATCH RFC 5/5] rcuwait: Replace rcu_assign_pointer() with WRITE_ONCE Joel Fernandes
2019-02-21  5:49   ` Joel Fernandes (Google)
2019-02-21  5:49   ` Joel Fernandes (Google)
2019-02-21  9:20   ` [Intel-wired-lan] " Peter Zijlstra
2019-02-21  9:20     ` Peter Zijlstra

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20190221155218.GZ11787@linux.ibm.com \
    --to=paulmck@linux.ibm.com \
    --cc=intel-wired-lan@osuosl.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.