[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <Pine.LNX.4.44L0.0902011246090.27579-100000@netrider.rowland.org>
Date: Sun, 1 Feb 2009 13:05:35 -0500 (EST)
From: Alan Stern <stern@...land.harvard.edu>
To: "Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>
cc: "K.Prasad" <prasad@...ux.vnet.ibm.com>,
Linux Kernel Mailing List <linux-kernel@...r.kernel.org>,
Roland McGrath <roland@...hat.com>,
Andrew Morton <akpm@...ux-foundation.org>, <mingo@...e.hu>,
<richardj_moore@...ibm.com>, <naren@...ux.vnet.ibm.com>
Subject: Re: [RFC Patch 1/10] Introducing generic hardware breakpoint handler
interfaces
On Sun, 1 Feb 2009, Paul E. McKenney wrote:
> > > Yes, indeed. With the current implementation, there's a possibility of
> > > two instances of update_this_cpu() function executing - one with an
> > > rcu_read_lock() taken (when called from load_debug_registers) while the
> > > other without (when invoked through update_all_cpus()).
> >
> > No, this isn't possible unless I have misunderstood the nature of
> > IPIs. Isn't is true that calling local_irq_save() will block delivery
> > of IPIs?
>
> Touche! ;-)
>
> But in that case, why do you need the synchronize_rcu() following the
> on_each_cpu() above? Is this needed to make sure that any concurrent
> load_debug_registers() call has completed?
No; it's needed to make sure that any concurrent
switch_to_thread_hw_breakpoint() call has completed. That's where the
important RCU read lock is taken. The routine is called not just by
update_this_cpu() (and indirectly by load_debug_registers()) but also
by __register_user_hw_breakpoint(), __unregister_user_hw_breakpoint(),
and the task-switch routine.
It's possible that the IPI from on_each_cpu() could interrupt an
instance of switch_to_thread_hw_breakpoint() -- thereby causing it to
run recursively. After the inner instance returns and the IPI is over,
the outer instance will realize what has happened and restart itself.
synchronize_rcu() insures that update_all_cpus() will wait until the
outer instance is done.
In fact, the RCU read lock in load_debug_registers() probably isn't
necessary. But it's cleaner to leave it in; it points out that the
routine accesses data structures which are protected by RCU.
Alan Stern
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists