tree 6a579d483f8f799b352e39b972a7e03cc6204fc1
parent b2c0710c464ede15e1fc52fb1e7ee9ba54cea186
author Paul E. McKenney <paul.mckenney@linaro.org> 1285633523 -0700
committer Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1291096914 -0800

rcu: priority boosting for TINY_PREEMPT_RCU

Add priority boosting, but only for TINY_PREEMPT_RCU.  This is enabled
by the default-off RCU_BOOST kernel parameter.  The priority to which to
boost preempted RCU readers is controlled by the RCU_BOOST_PRIO kernel
parameter (defaulting to real-time priority 1) and the time to wait
before boosting the readers blocking a given grace period is controlled
by the RCU_BOOST_DELAY kernel parameter (defaulting to 500 milliseconds).

Signed-off-by: Paul E. McKenney <paul.mckenney@linaro.org>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>