Re: [RFC][PATCH] lockdep: Introduce wait-type checks

From: Dave Jones
Date: Thu Jan 09 2014 - 12:35:22 EST


On Thu, Jan 09, 2014 at 12:15:16PM +0100, Peter Zijlstra wrote:
> Subject: lockdep: Introduce wait-type checks
> From: Peter Zijlstra <peterz@xxxxxxxxxxxxx>
> Date: Tue, 19 Nov 2013 21:45:48 +0100
>
> This patch extends lockdep to validate lock wait-type context.

ooh, a new toy.

*boom*

[ 0.298629] =============================
[ 0.298732] [ BUG: Invalid wait context ]
[ 0.298834] 3.13.0-rc7+ #15 Not tainted
[ 0.298935] -----------------------------
[ 0.299038] swapper/0/1 is trying to lock:
[ 0.299135] (&n->list_lock){......}-{3:3}, at: [<ffffffff816dea54>] get_partial_node.isra.49+0x4d/0x228
[ 0.299453]
stack backtrace:
[ 0.299608] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 3.13.0-rc7+ #15
[ 0.299983] 0000000000000001 ffff880243f37a00 ffffffff816dfe5b 0000000000000014
[ 0.300302] ffff880243f37a78 ffffffff8109f1f7 0000000000000000 ffff880243f37a78
[ 0.300611] 0000000000000046 ffffffff81189ae3 ffffffff00000000 0000000000000046
[ 0.300927] Call Trace:
[ 0.301028] [<ffffffff816dfe5b>] dump_stack+0x4e/0x7a
[ 0.301128] [<ffffffff8109f1f7>] __lock_acquire.isra.28+0x3d7/0xd80
[ 0.301238] [<ffffffff81189ae3>] ? deactivate_slab+0x3c3/0x740
[ 0.301345] [<ffffffff810a030d>] lock_acquire+0x8d/0x120
[ 0.302971] [<ffffffff816dea54>] ? get_partial_node.isra.49+0x4d/0x228
[ 0.303077] [<ffffffff816e9e3b>] _raw_spin_lock+0x3b/0x50
[ 0.303183] [<ffffffff816dea54>] ? get_partial_node.isra.49+0x4d/0x228
[ 0.303290] [<ffffffff816dea54>] get_partial_node.isra.49+0x4d/0x228
[ 0.303397] [<ffffffff810cd482>] ? __module_text_address+0x12/0x60
[ 0.303502] [<ffffffff810d35ff>] ? is_module_text_address+0x2f/0x50
[ 0.303610] [<ffffffff81074548>] ? __kernel_text_address+0x58/0x80
[ 0.303717] [<ffffffff816dedfc>] __slab_alloc+0x1cd/0x562
[ 0.303821] [<ffffffff812e86ff>] ? alloc_cpumask_var_node+0x1f/0x90
[ 0.303929] [<ffffffff8118ab6a>] kmem_cache_alloc_node_trace+0xda/0x290
[ 0.304037] [<ffffffff812e86ff>] ? alloc_cpumask_var_node+0x1f/0x90
[ 0.304145] [<ffffffff812e86ff>] alloc_cpumask_var_node+0x1f/0x90
[ 0.304250] [<ffffffff812e879e>] alloc_cpumask_var+0xe/0x10
[ 0.304357] [<ffffffff81030990>] __assign_irq_vector+0x40/0x340
[ 0.304462] [<ffffffff810324a1>] __create_irqs+0x151/0x210
[ 0.304567] [<ffffffff810325a2>] create_irq+0x22/0x30
[ 0.304674] [<ffffffff815ab25d>] dmar_set_interrupt+0x2d/0xd0
[ 0.304784] [<ffffffff81d6a532>] enable_drhd_fault_handling+0x24/0x66
[ 0.304890] [<ffffffff81d6bc7f>] irq_remap_enable_fault_handling+0x26/0x30
[ 0.304999] [<ffffffff81d2f3e0>] bsp_end_local_APIC_setup+0x18/0x1a
[ 0.305106] [<ffffffff81d2d44a>] native_smp_prepare_cpus+0x35c/0x3d3
[ 0.305215] [<ffffffff81d20f93>] kernel_init_freeable+0x124/0x26c
[ 0.305321] [<ffffffff816d6d4e>] ? kernel_init+0xe/0x130
[ 0.305427] [<ffffffff816d6d40>] ? rest_init+0xd0/0xd0
[ 0.305529] [<ffffffff816d6d4e>] kernel_init+0xe/0x130
[ 0.305627] [<ffffffff816f23ac>] ret_from_fork+0x7c/0xb0
[ 0.305731] [<ffffffff816d6d40>] ? rest_init+0xd0/0xd0
[ 0.305836]
other info that might help us debug this:
[ 0.305993] 1 lock held by swapper/0/1:
[ 0.306093] #0: (vector_lock){......}-{2:2}, at: [<ffffffff8103245c>] __create_irqs+0x10c/0x210
[ 0.306444]
stack backtrace:
[ 0.306599] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 3.13.0-rc7+ #15
[ 0.306972] 0000000000000001 ffff880243f37a00 ffffffff816dfe5b 0000000000000014
[ 0.307282] ffff880243f37a78 ffffffff8109f220 0000000000000000 ffff880243f37a78
[ 0.307594] 0000000000000046 ffffffff81189ae3 ffffffff00000000 0000000000000046
[ 0.307903] Call Trace:
[ 0.307999] [<ffffffff816dfe5b>] dump_stack+0x4e/0x7a
[ 0.308103] [<ffffffff8109f220>] __lock_acquire.isra.28+0x400/0xd80
[ 0.308209] [<ffffffff81189ae3>] ? deactivate_slab+0x3c3/0x740
[ 0.308316] [<ffffffff810a030d>] lock_acquire+0x8d/0x120
[ 0.308422] [<ffffffff816dea54>] ? get_partial_node.isra.49+0x4d/0x228
[ 0.308529] [<ffffffff816e9e3b>] _raw_spin_lock+0x3b/0x50
[ 0.308631] [<ffffffff816dea54>] ? get_partial_node.isra.49+0x4d/0x228
[ 0.308735] [<ffffffff816dea54>] get_partial_node.isra.49+0x4d/0x228
[ 0.308843] [<ffffffff810cd482>] ? __module_text_address+0x12/0x60
[ 0.308949] [<ffffffff810d35ff>] ? is_module_text_address+0x2f/0x50
[ 0.309055] [<ffffffff81074548>] ? __kernel_text_address+0x58/0x80
[ 0.309161] [<ffffffff816dedfc>] __slab_alloc+0x1cd/0x562
[ 0.309265] [<ffffffff812e86ff>] ? alloc_cpumask_var_node+0x1f/0x90
[ 0.309372] [<ffffffff8118ab6a>] kmem_cache_alloc_node_trace+0xda/0x290
[ 0.309479] [<ffffffff812e86ff>] ? alloc_cpumask_var_node+0x1f/0x90
[ 0.309586] [<ffffffff812e86ff>] alloc_cpumask_var_node+0x1f/0x90
[ 0.309692] [<ffffffff812e879e>] alloc_cpumask_var+0xe/0x10
[ 0.309799] [<ffffffff81030990>] __assign_irq_vector+0x40/0x340
[ 0.309906] [<ffffffff810324a1>] __create_irqs+0x151/0x210
[ 0.310005] [<ffffffff810325a2>] create_irq+0x22/0x30
[ 0.310109] [<ffffffff815ab25d>] dmar_set_interrupt+0x2d/0xd0
[ 0.310215] [<ffffffff81d6a532>] enable_drhd_fault_handling+0x24/0x66
[ 0.310321] [<ffffffff81d6bc7f>] irq_remap_enable_fault_handling+0x26/0x30
[ 0.310429] [<ffffffff81d2f3e0>] bsp_end_local_APIC_setup+0x18/0x1a
[ 0.310536] [<ffffffff81d2d44a>] native_smp_prepare_cpus+0x35c/0x3d3
[ 0.310644] [<ffffffff81d20f93>] kernel_init_freeable+0x124/0x26c
[ 0.310746] [<ffffffff816d6d4e>] ? kernel_init+0xe/0x130
[ 0.310852] [<ffffffff816d6d40>] ? rest_init+0xd0/0xd0
[ 0.310955] [<ffffffff816d6d4e>] kernel_init+0xe/0x130
[ 0.311058] [<ffffffff816f23ac>] ret_from_fork+0x7c/0xb0
[ 0.311164] [<ffffffff816d6d40>] ? rest_init+0xd0/0xd0


nitpick: Why is the backtrace printed twice ?

Dave

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/