|
@@ -52,6 +52,7 @@
|
|
|
#include <linux/prefetch.h>
|
|
|
#include <linux/delay.h>
|
|
|
#include <linux/stop_machine.h>
|
|
|
+#include <linux/random.h>
|
|
|
|
|
|
#include "rcutree.h"
|
|
|
#include <trace/events/rcu.h>
|
|
@@ -1087,6 +1088,10 @@ static int rcu_gp_init(struct rcu_state *rsp)
|
|
|
rnp->level, rnp->grplo,
|
|
|
rnp->grphi, rnp->qsmask);
|
|
|
raw_spin_unlock_irq(&rnp->lock);
|
|
|
+#ifdef CONFIG_PROVE_RCU_DELAY
|
|
|
+ if ((random32() % (rcu_num_nodes * 8)) == 0)
|
|
|
+ schedule_timeout_uninterruptible(2);
|
|
|
+#endif /* #ifdef CONFIG_PROVE_RCU_DELAY */
|
|
|
cond_resched();
|
|
|
}
|
|
|
|