Re: [patch] lockdep: more annotations for mm/slab.c

From: Andrew Morton
Date: Thu Jul 13 2006 - 05:06:21 EST


On Thu, 13 Jul 2006 10:46:13 +0200
Ingo Molnar <mingo@xxxxxxx> wrote:

> the SLAB code can hold multiple slab locks at once,
> for example at:
>
> [<c0105dd5>] show_trace+0xd/0x10
> [<c0105def>] dump_stack+0x17/0x1c
> [<c014182e>] __lock_acquire+0x7ab/0xa0e
> [<c0141d6e>] lock_acquire+0x5e/0x80
> [<c10b0d8e>] _spin_lock_nested+0x26/0x37
> [<c017178b>] __cache_free+0x30d/0x3d2
> [<c0171200>] slab_destroy+0xfd/0x11d
> [<c0171360>] free_block+0x140/0x17d
> [<c01717dd>] __cache_free+0x35f/0x3d2
> [<c01718cd>] kfree+0x7d/0x9a
> [<c0127889>] free_task+0xe/0x24
> [<c0127ee8>] __put_task_struct+0xc2/0xc7
> [<c012bc8f>] delayed_put_task_struct+0x1e/0x20
> [<c0139d94>] __rcu_process_callbacks+0xff/0x15d
> [<c0139e1a>] rcu_process_callbacks+0x28/0x40
> [<c012f125>] tasklet_action+0x6e/0xd1
> [<c012f2c7>] __do_softirq+0x6e/0xec
> [<c01061b7>] do_softirq+0x61/0xc7
>
> so add the 'nested' parameter to the affected functions.
>
> Signed-off-by: Ingo Molnar <mingo@xxxxxxx>
> ---
> mm/slab.c | 45 +++++++++++++++++++++++++--------------------

geeze, what fuss. Can't we just tell lockdep "the locking here is correct,
so buzz off"?
-
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/