lkml.org 
[lkml]   [2011]   [Jan]   [27]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: [PATCH 2/2] consolidate writes in smp_call_funtion_interrupt
From
Date
On Thu, 27 Jan 2011 about 17:22:40 +0100, Peter Zijlstra wrote:
> On Tue, 2011-01-18 at 15:06 -0600, Milton Miller wrote:
> > Index: common/kernel/smp.c
> > =====================================================================
> > --- common.orig/kernel/smp.c 2011-01-17 20:16:18.000000000 -0600
> > +++ common/kernel/smp.c 2011-01-17 20:17:50.000000000 -0600
> > @@ -193,6 +193,7 @@ void generic_smp_call_function_interrupt
> > */
> > list_for_each_entry_rcu(data, &call_function.queue, csd.list) {
> > int refs;
> > + void (*func) (void *info);
> >
> > /*
> > * Since we walk the list without any locks, we might
> > @@ -212,24 +213,32 @@ void generic_smp_call_function_interrupt
> > if (atomic_read(&data->refs) == 0)
> > continue;
> >
> > + func = data->csd.func; /* for later warn */
> > data->csd.func(data->csd.info);
> >
> > + /*
> > + * If the cpu mask is not still set then it enabled interrupts,
> > + * we took another smp interrupt, and executed the function
> > + * twice on this cpu. In theory that copy decremented refs.
> > + */
> > + if (!cpumask_test_and_clear_cpu(cpu, data->cpumask)) {
> > + WARN(1, "%pS enabled interrupts and double executed\n",
> > + func);
> > + continue;
> > + }
> > +
> > refs = atomic_dec_return(&data->refs);
> > WARN_ON(refs < 0);
> >
> > if (refs)
> > continue;
> >
> > + WARN_ON(!cpumask_empty(data->cpumask));
> > +
> > + raw_spin_lock(&call_function.lock);
> > + list_del_rcu(&data->csd.list);
> > + raw_spin_unlock(&call_function.lock);
> > +
> > csd_unlock(&data->csd);
> > }
> >
>
>
> So after this we have:
>
> list_for_each_entry_rcu()
> rbd
> !->cpumask ->cpumask =
> rmb wmb
> !->refs ->refs =
> ->func() wmb
> mb list_add_rcu()
> ->refs--
> if (!->refs)
> list_del_rcu()
>
> So even if we see it as an old-ref, when we see a valid cpumask, valid
> ref, we execute the function clear our cpumask bit and decrement the ref
> and delete the entry, even though it might not yet be added?
>
>
> (old-ref)
> ->cpumask =
> if (!->cpumask)
> ->refs =
> if (!->refs)
>
> ->func()
> ->refs--
> if (!->refs)
> list_del_rcu()
> list_add_rcu()
>
> Then what happens?

The item remains on the queue unlocked. If we are lucky all entries
after it are serviced before we try to reuse it. If not, when we
do the list_add_rcu while still in the list all entries after it
get lost from the service queue and will hang.

This is a further scenerio exposed by the lock removal. Good spotting.

A simple fix would be to add to the queue before setting refs. I can
try to work on that tomorrow, hopefully the test machine is available.

The next question is can/should we use the lock & unlock to put the
entry on the queue in place of the wmb() between setting cpu mask and
setting refs? We still need the rmb() in _interrupt.

milton


\
 
 \ /
  Last update: 2011-01-27 23:01    [W:0.121 / U:7.420 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site