All of lore.kernel.org
 help / color / mirror / Atom feed
From: Joel Fernandes <joel@joelfernandes.org>
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 10:21:39 -0500	[thread overview]
Message-ID: <20190221152139.GB19213@google.com> (raw)
In-Reply-To: <20190221091805.GX32477@hirez.programming.kicks-ass.net>

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().

thanks,

 - Joel


WARNING: multiple messages have this Message-ID (diff)
From: Joel Fernandes <joel@joelfernandes.org>
To: Peter Zijlstra <peterz@infradead.org>
Cc: 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,
	"Paul E. McKenney" <paulmck@linux.ibm.com>,
	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 10:21:39 -0500	[thread overview]
Message-ID: <20190221152139.GB19213@google.com> (raw)
In-Reply-To: <20190221091805.GX32477@hirez.programming.kicks-ass.net>

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().

thanks,

 - Joel


  reply	other threads:[~2019-02-21 15:21 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     ` Joel Fernandes [this message]
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         ` [Intel-wired-lan] " Paul E. McKenney
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=20190221152139.GB19213@google.com \
    --to=joel@joelfernandes.org \
    --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.