On Mon, Jun 20, 2016 at 01:55:10PM +0900, Byungchul Park wrote: > Currently, bit-based lock e.g. bit_spin_lock cannot use the lock > correctness validator using lockdep. However, it would be useful if > the validator supports for even bit-based lock as well. > > Therefore, this patch provides interface for allocation and freeing > lockdep_map for bit-based lock so that the bit-based lock can also use > the lock correctness validator with the lockdep_map, allocated for each > bit address. > > This patch can be applied to any bit_spin_lock user except slab > allocator where I am not sure if using kmalloc is safe. Anyway I chose > two example to apply bitlock map allocator, zram and buffer head. > And applied it and included it in this patch set.
What do you think this proposal to make bit-based lock can use lockdep? > > Byungchul Park (5): > lockdep: Implement bitlock map allocator > lockdep: Apply bitlock to bit_spin_lock > lockdep: Apply bit_spin_lock lockdep to zram > fs/buffer.c: Remove trailing white space > lockdep: Apply bit_spin_lock lockdep to BH_Uptodate_Lock > > drivers/block/zram/zram_drv.c | 10 +++ > fs/buffer.c | 24 +++---- > include/linux/bit_spinlock.h | 57 ++++++++++++++-- > include/linux/bitlock.h | 20 ++++++ > kernel/locking/Makefile | 1 + > kernel/locking/bitlock_map.c | 147 > ++++++++++++++++++++++++++++++++++++++++++ > lib/Kconfig.debug | 10 +++ > 7 files changed, 252 insertions(+), 17 deletions(-) > create mode 100644 include/linux/bitlock.h > create mode 100644 kernel/locking/bitlock_map.c > > -- > 1.9.1
