Crossrelease feature calls a lock which is releasable by a different context from the context having acquired the lock, crosslock. For crosslock, all locks having been held in the context unlocking the crosslock, until eventually the crosslock will be unlocked, have dependency with the crosslock. That's a key idea to implement crossrelease feature.
Crossrelease feature introduces 2 new data structures. 1. pend_lock (== plock) This is for keeping locks waiting to commit those so that an actual dependency chain is built, when commiting a crosslock. Every task_struct has an array of this pending lock to keep those locks. These pending locks will be added whenever lock_acquire() is called for normal(non-crosslock) lock and will be flushed(committed) at proper time. 2. cross_lock (== xlock) This keeps some additional data only for crosslock. There is one cross_lock per one lockdep_map for crosslock. lockdep_init_map_crosslock() should be used instead of lockdep_init_map() to use the lock as a crosslock. Acquiring and releasing sequence for crossrelease feature: 1. Acquire All validation check is performed for all locks. 1) For non-crosslock (normal lock) The hlock will be added not only to held_locks of the current's task_struct, but also to pend_lock array of the task_struct, so that a dependency chain can be built with the lock when doing commit. 2) For crosslock The hlock will be added only to the cross_lock of the lock's lockdep_map instead of held_locks, so that a dependency chain can be built with the lock when doing commit. And this lock is added to the xlocks_head list. 2. Commit (only for crosslock) This establishes a dependency chain between the lock unlocking it now and all locks having held in the context unlocking it since the lock was held, even though it tries to avoid building a chain unnecessarily as far as possible. 3. Release 1) For non-crosslock (normal lock) No change. 2) For crosslock Just Remove the lock from xlocks_head list. Release operation should be used with commit operation together for crosslock, in order to build a dependency chain properly. Byungchul Park (12): lockdep: Refactor lookup_chain_cache() lockdep: Add a function building a chain between two hlocks lockdep: Make check_prev_add can use a stack_trace of other context lockdep: Make save_trace can copy from other stack_trace lockdep: Implement crossrelease feature lockdep: Apply crossrelease to completion pagemap.h: Remove trailing white space lockdep: Apply crossrelease to PG_locked lock cifs/file.c: Remove trailing white space mm/swap_state.c: Remove trailing white space lockdep: Call lock_acquire(release) when accessing PG_locked manually x86/dumpstack: Optimize save_stack_trace arch/x86/include/asm/stacktrace.h | 1 + arch/x86/kernel/dumpstack.c | 2 + arch/x86/kernel/dumpstack_32.c | 2 + arch/x86/kernel/stacktrace.c | 7 + fs/cifs/file.c | 6 +- include/linux/completion.h | 121 +++++- include/linux/irqflags.h | 16 +- include/linux/lockdep.h | 139 +++++++ include/linux/mm_types.h | 9 + include/linux/pagemap.h | 104 ++++- include/linux/sched.h | 5 + kernel/fork.c | 4 + kernel/locking/lockdep.c | 846 +++++++++++++++++++++++++++++++++++--- kernel/sched/completion.c | 55 +-- lib/Kconfig.debug | 30 ++ mm/filemap.c | 10 +- mm/ksm.c | 1 + mm/migrate.c | 1 + mm/page_alloc.c | 3 + mm/shmem.c | 2 + mm/swap_state.c | 12 +- mm/vmscan.c | 1 + 22 files changed, 1255 insertions(+), 122 deletions(-) -- 1.9.1