On Tue, Dec 02, 2014 at 03:30:44PM -0500, Dave Jones wrote: > On Mon, Dec 01, 2014 at 12:36:34PM -0800, Linus Torvalds wrote: > > On Mon, Dec 1, 2014 at 12:28 PM, Dâniel Fraga <frag...@gmail.com> wrote: > > > > > > Hi Paul. Please, I'd like the patch, because without > > > preemption, I'm unable to trigger this bug. > > > > Ok, that's already interesting information. And yes, it would probably > > be interesting to see if CONFIG_PREEMPT=y but !CONFIG_TREE_PREEMPT_RCU > > then solves it too, to narrow it down to one but not the other.. > > That combination doesn't seem possible. TREE_PREEMPT_RCU is the only > possible choice if PREEMPT=y
Indeed, getting that combination requires a Kconfig patch, which I supplied below. Not for mainline, debugging only. Thanx, Paul ------------------------------------------------------------------------ diff --git a/init/Kconfig b/init/Kconfig index 903505e66d1d..2cf71fcd514f 100644 --- a/init/Kconfig +++ b/init/Kconfig @@ -469,7 +469,7 @@ choice config TREE_RCU bool "Tree-based hierarchical RCU" - depends on !PREEMPT && SMP + depends on SMP select IRQ_WORK help This option selects the RCU implementation that is -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/