rcu: Add assertions verifying blocked-tasks list
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Wed, 12 Jul 2017 04:52:31 +0000 (21:52 -0700)
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Thu, 17 Aug 2017 14:26:23 +0000 (07:26 -0700)
commit2dee9404fa8c4384453a5f3a15ad74ab9480f2d6
treeef942d70822fab59415526d87b08fc68ef90660c
parent35fe723bda12c25f4ac20a4fb91e345cacf568f7
rcu: Add assertions verifying blocked-tasks list

This commit adds assertions verifying the consistency of the rcu_node
structure's ->blkd_tasks list and its ->gp_tasks, ->exp_tasks, and
->boost_tasks pointers.  In particular, the ->blkd_tasks lists must be
empty except for leaf rcu_node structures.

Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
kernel/rcu/tree.c
kernel/rcu/tree_plugin.h