On Wed, Jun 24, 2015 at 11:31:02AM +0200, Peter Zijlstra wrote:
> On Wed, Jun 24, 2015 at 10:32:57AM +0200, Peter Zijlstra wrote:
> > +   s = atomic_long_read(&rsp->expedited_done);
> > +   if (ULONG_CMP_GE((ulong)s, (ulong)snap)) {
> > +           /* ensure test happens before caller kfree */
> > +           smp_mb__before_atomic(); /* ^^^ */
> 
> FWIW isn't that guaranteed by the control dep?

For trailing stores, yes, but not for trailing loads.  Of course,
trailing loads don't matter in the pure kfree case, but do matter in
other situations.  And this isn't anywhere near a fastpath, so I
am not all that worried about the extra memory barrier.

                                                        Thanx, Paul

> > +           atomic_long_inc(&rsp->expedited_workdone1);
> > +           goto unlock;
> > +   }
> 

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to