lkml.org 
[lkml]   [2016]   [Jun]   [29]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH 0/5] Implement bitlock map allocator
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

\
 
 \ /
  Last update: 2016-06-29 15:21    [W:0.090 / U:0.580 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site