locking: contended_release tracepoint instrumentation
Subsystems (9)
v5 cover locking: contended_release tracepoint instrumentation
The existing contention_begin/contention_end tracepoints fire on the waiter side. The lock holder's identity and stack can be captured at contention_begin time (e.g. perf lock contention --lock-owner), but this reflects the holder's state when a waiter arrives, not when the lock is actually released.
This series adds a contended_release tracepoint that fires on the holder side when a lock with waiters is released. This provides:
- Hold time estimation: when the holder's own acquisition was contended, its contention_end (acquisition) and contended_release can be correlated to measure how long the lock was held under contention.
- The holder's stack at release time, which may differ from what perf lock contention --lock-owner captures if the holder does significant work between the waiter's arrival and the unlock.
Note: for reader/writer locks, the tracepoint fires for every reader releasing while a writer is waiting, not only for the last reader.
v4 -> v5:
- Split the combined spinning locks patch into separate qspinlock and qrwlock patches (Paul E. McKenney).
- Factor out __queued_read_unlock()/__queued_write_unlock() as a separate preparatory commit, mirroring the queued_spin_release() split (Paul E. McKenney).
- Updated binary size numbers for qspinlock-only change.
- Added Acked-by and Reviewed-by tags where appropriate.
v3 -> v4:
- Fix spurious events in __percpu_up_read(): guard with rcuwait_active(&sem->writer) to avoid tracing during the RCU grace period after a writer releases (Sashiko).
- Fix possible use-after-free in semaphore up(): move trace_contended_release() inside the sem->lock critical section (Sashiko).
- Fix build failure with CONFIG_PARAVIRT_SPINLOCKS=y: introduce queued_spin_release() as the arch-overridable unlock primitive, so queued_spin_unlock() can be a generic tracing wrapper. Convert x86 (paravirt) and MIPS overrides (Sashiko).
- Add EXPORT_TRACEPOINT_SYMBOL_GPL(contended_release) for module support (Sashiko).
- Split spinning locks patch: factor out queued_spin_release() as a separate preparatory commit (Sashiko).
- Make read unlock tracepoint behavior consistent across all reader/writer lock types: fire for every reader releasing while a writer is waiting (rwsem, rwbase_rt were previously last-reader only).
v2 -> v3:
- Added new patch: extend contended_release tracepoint to queued spinlocks and queued rwlocks (marked as RFC, requesting feedback). This is prompted by Matthew Wilcox's suggestion to try to come up with generic instrumentation, instead of instrumenting each "special" lock manually. See [1] for the discussion.
- Reworked tracepoint placement to fire before the lock is released and before the waiter is woken where possible, for consistency with spinning locks where there is no explicit wake (inspired by Usama Arif's suggestion).
- Remove unnecessary linux/sched.h include from trace/events/lock.h.
RFC -> v2:
- Add trace_contended_release_enabled() guard before waiter checks that exist only for the tracepoint (Steven Rostedt).
- Rename __percpu_up_read_slowpath() to __percpu_up_read() (Peter Zijlstra).
- Add extern for __percpu_up_read() (Peter Zijlstra).
- Squashed tracepoint introduction and usage commits (Masami Hiramatsu).
v4: https://lore.kernel.org/all/[email protected]/
v3: https://lore.kernel.org/all/[email protected]/
v2: https://lore.kernel.org/all/[email protected]/
RFC: https://lore.kernel.org/all/[email protected]/
[1]: https://lore.kernel.org/all/[email protected]/
Dmitry Ilvokhin (7):
tracing/lock: Remove unnecessary linux/sched.h include locking/percpu-rwsem: Extract __percpu_up_read()
locking: Add contended_release tracepoint to sleepable locks
locking: Factor out queued_spin_release()
locking: Add contended_release tracepoint to qspinlock
locking: Factor out __queued_read_unlock()/__queued_write_unlock()
locking: Add contended_release tracepoint to qrwlock
arch/mips/include/asm/spinlock.h | 6 ++-- arch/x86/include/asm/paravirt-spinlock.h | 6 ++-- include/asm-generic/qrwlock.h | 38 ++++++++++++++++++++++-- include/asm-generic/qspinlock.h | 33 ++++++++++++++++++-- include/linux/percpu-rwsem.h | 15 ++-------- include/trace/events/lock.h | 18 ++++++++++- kernel/locking/mutex.c | 4 +++ kernel/locking/percpu-rwsem.c | 29 ++++++++++++++++++ kernel/locking/qrwlock.c | 16 ++++++++++ kernel/locking/qspinlock.c | 8 +++++ kernel/locking/rtmutex.c | 1 + kernel/locking/rwbase_rt.c | 6 ++++ kernel/locking/rwsem.c | 10 +++++-- kernel/locking/semaphore.c | 4 +++ 14 files changed, 167 insertions(+), 27 deletions(-)
Signature · 1 line
2.52.0
PATCH v5 1/7 tracing/lock: Remove unnecessary linux/sched.h include
None of the trace events in lock.h reference anything from linux/sched.h. Remove the unnecessary include.
--- include/trace/events/lock.h | 1 - 1 file changed, 1 deletion(-)
include/trace/events/lock.h +0 -1
@@ -5,7 +5,6 @@#if !defined(_TRACE_LOCK_H) || defined(TRACE_HEADER_MULTI_READ )#define _TRACE_LOCK_H -#include <linux/sched.h> #include <linux/tracepoint.h> /* flags for lock:contention_begin */
Signature · 1 line
2.52.0
PATCH v5 2/7 locking/percpu-rwsem: Extract __percpu_up_read()
In reply to Dmitry IlvokhinMove the percpu_up_read() slowpath out of the inline function into a new __percpu_up_read() to avoid binary size increase from adding a tracepoint to an inlined function.
--- include/linux/percpu-rwsem.h | 15 +++------------ kernel/locking/percpu-rwsem.c | 18 ++++++++++++++++++ 2 files changed, 21 insertions(+), 12 deletions(-)
include/linux/percpu-rwsem.h +3 -12
@@ -107,6 +107,8 @@ static inline bool percpu_down_read_trylock(struct percpu_rw_semaphore *sem)return ret; } +extern void __percpu_up_read (struct percpu_rw_semaphore *sem); +static inline void percpu_up_read (struct percpu_rw_semaphore *sem) {rwsem_release (&sem->dep_map, _RET_IP_);
@@ -118,18 +120,7 @@ static inline void percpu_up_read(struct percpu_rw_semaphore *sem)if (likely (rcu_sync_is_idle (&sem->rss))) {this_cpu_dec (*sem->read_count); }else { -/* -* slowpath; reader will only ever wake a single blocked -* writer. -*/ -smp_mb ();/* B matches C */ -/* -* In other words, if they see our decrement (presumably to -* aggregate zero, as that is the only time it matters) they -* will also see our critical section. -*/ -this_cpu_dec (*sem->read_count); -rcuwait_wake_up (&sem->writer); +__percpu_up_read (sem); }preempt_enable (); }
kernel/locking/percpu-rwsem.c +18 -0
@@ -288,3 +288,21 @@ void percpu_up_write(struct percpu_rw_semaphore *sem)rcu_sync_exit (&sem->rss); }EXPORT_SYMBOL_GPL (percpu_up_write); + +void __percpu_up_read (struct percpu_rw_semaphore *sem) +{ +lockdep_assert_preemption_disabled (); +/* +* slowpath; reader will only ever wake a single blocked +* writer. +*/ +smp_mb ();/* B matches C */ +/* +* In other words, if they see our decrement (presumably to +* aggregate zero, as that is the only time it matters) they +* will also see our critical section. +*/ +this_cpu_dec (*sem->read_count); +rcuwait_wake_up (&sem->writer); +} +EXPORT_SYMBOL_GPL (__percpu_up_read);
Signature · 1 line
2.52.0
PATCH v5 3/7 locking: Add contended_release tracepoint to sleepable locks
In reply to Dmitry IlvokhinAdd the contended_release trace event. This tracepoint fires on the holder side when a contended lock is released, complementing the existing contention_begin/contention_end tracepoints which fire on the waiter side.
This enables correlating lock hold time under contention with waiter events by lock address.
Add trace_contended_release() calls to the slowpath unlock paths of sleepable locks: mutex, rtmutex, semaphore, rwsem, percpu-rwsem, and RT-specific rwbase locks.
Where possible, trace_contended_release() fires before the lock is released and before the waiter is woken. For some lock types, the tracepoint fires after the release but before the wake. Making the placement consistent across all lock types is not worth the added complexity.
For reader/writer locks, the tracepoint fires for every reader releasing while a writer is waiting, not only for the last reader.
--- include/trace/events/lock.h | 17 +++++++++++++++++ kernel/locking/mutex.c | 4 ++++ kernel/locking/percpu-rwsem.c | 11 +++++++++++ kernel/locking/rtmutex.c | 1 + kernel/locking/rwbase_rt.c | 6 ++++++ kernel/locking/rwsem.c | 10 ++++++++-- kernel/locking/semaphore.c | 4 ++++ 7 files changed, 51 insertions(+), 2 deletions(-)
include/trace/events/lock.h +17 -0
@@ -137,6 +137,23 @@ TRACE_EVENT(contention_end,TP_printk ("%p (ret=%d)" , __entry->lock_addr, __entry->ret) ); +TRACE_EVENT (contended_release, + +TP_PROTO (void *lock), + +TP_ARGS (lock), + +TP_STRUCT__entry ( + __field(void *, lock_addr) + ), + +TP_fast_assign ( + __entry->lock_addr = lock; + ), + +TP_printk ("%p" , __entry->lock_addr) +); +#endif /* _TRACE_LOCK_H */ /* This part must be outside protection */
kernel/locking/mutex.c +4 -0
@@ -997,6 +997,9 @@ static noinline void __sched __mutex_unlock_slowpath(struct mutex *lock, unsignewake_q_add (&wake_q, next); } +if (trace_contended_release_enabled () && waiter) +trace_contended_release (lock); +if (owner &MUTEX_FLAG_HANDOFF )__mutex_handoff (lock, next);
@@ -1194,6 +1197,7 @@ EXPORT_SYMBOL(ww_mutex_lock_interruptible);EXPORT_TRACEPOINT_SYMBOL_GPL (contention_begin);EXPORT_TRACEPOINT_SYMBOL_GPL (contention_end); +EXPORT_TRACEPOINT_SYMBOL_GPL (contended_release);/** * atomic_dec_and_mutex_lock - return holding mutex if we dec to 0
kernel/locking/percpu-rwsem.c +11 -0
@@ -263,6 +263,9 @@ void percpu_up_write(struct percpu_rw_semaphore *sem) {rwsem_release (&sem->dep_map, _RET_IP_); +if (trace_contended_release_enabled () &&wq_has_sleeper (&sem->waiters)) +trace_contended_release (sem); +/* * Signal the writer is done, no fast path yet. *
@@ -292,6 +295,14 @@ EXPORT_SYMBOL_GPL(percpu_up_write);void __percpu_up_read (struct percpu_rw_semaphore *sem) {lockdep_assert_preemption_disabled (); +/* +* After percpu_up_write() completes, rcu_sync_is_idle() can still +* return false during the grace period, forcing readers into this +* slowpath. Only trace when a writer is actually waiting for +* readers to drain. +*/ +if (trace_contended_release_enabled () &&rcuwait_active (&sem->writer)) +trace_contended_release (sem);/* * slowpath; reader will only ever wake a single blocked * writer.
kernel/locking/rtmutex.c +1 -0
@@ -1466,6 +1466,7 @@ static void __sched rt_mutex_slowunlock(struct rt_mutex_base *lock)raw_spin_lock_irqsave (&lock->wait_lock, flags); } +trace_contended_release (lock);/* * The wakeup next waiter path does not suffer from the above * race. See the comments there.
kernel/locking/rwbase_rt.c +6 -0
@@ -174,6 +174,8 @@ static void __sched __rwbase_read_unlock(struct rwbase_rt *rwb, static __always_inline void rwbase_read_unlock(struct rwbase_rt *rwb,unsigned int state) { +if (trace_contended_release_enabled () &&rt_mutex_owner (&rwb->rtmutex)) +trace_contended_release (rwb);/* * rwb->readers can only hit 0 when a writer is waiting for the * active readers to leave the critical section.
@@ -205,6 +207,8 @@ static inline void rwbase_write_unlock(struct rwbase_rt *rwb)unsigned long flags;raw_spin_lock_irqsave (&rtm->wait_lock, flags); +if (trace_contended_release_enabled () &&rt_mutex_has_waiters (rtm)) +trace_contended_release (rwb);__rwbase_write_unlock (rwb,WRITER_BIAS , flags); }
@@ -214,6 +218,8 @@ static inline void rwbase_write_downgrade(struct rwbase_rt *rwb)unsigned long flags;raw_spin_lock_irqsave (&rtm->wait_lock, flags); +if (trace_contended_release_enabled () &&rt_mutex_has_waiters (rtm)) +trace_contended_release (rwb);/* Release it and account current as reader */ __rwbase_write_unlock (rwb,WRITER_BIAS -1 , flags); }
kernel/locking/rwsem.c +8 -2
@@ -1387,6 +1387,8 @@ static inline void __up_read(struct rw_semaphore *sem)rwsem_clear_reader_owned (sem); tmp =atomic_long_add_return_release (-RWSEM_READER_BIAS , &sem->count);DEBUG_RWSEMS_WARN_ON (tmp <0 , sem); +if (trace_contended_release_enabled () && (tmp &RWSEM_FLAG_WAITERS )) +trace_contended_release (sem);if (unlikely ((tmp & (RWSEM_LOCK_MASK |RWSEM_FLAG_WAITERS )) ==RWSEM_FLAG_WAITERS )) {clear_nonspinnable (sem);
@@ -1413,8 +1415,10 @@ static inline void __up_write(struct rw_semaphore *sem)preempt_disable ();rwsem_clear_owner (sem); tmp =atomic_long_fetch_add_release (-RWSEM_WRITER_LOCKED , &sem->count); -if (unlikely (tmp &RWSEM_FLAG_WAITERS )) +if (unlikely (tmp &RWSEM_FLAG_WAITERS )) { +trace_contended_release (sem);rwsem_wake (sem); + }preempt_enable (); }
@@ -1437,8 +1441,10 @@ static inline void __downgrade_write(struct rw_semaphore *sem) tmp =atomic_long_fetch_add_release ( -RWSEM_WRITER_LOCKED +RWSEM_READER_BIAS , &sem->count);rwsem_set_reader_owned (sem); -if (tmp &RWSEM_FLAG_WAITERS ) +if (tmp &RWSEM_FLAG_WAITERS ) { +trace_contended_release (sem);rwsem_downgrade_wake (sem); + }preempt_enable (); }
kernel/locking/semaphore.c +4 -0
@@ -230,6 +230,10 @@ void __sched up(struct semaphore *sem) sem->count++; else __up(sem, &wake_q); + +if (trace_contended_release_enabled () && !wake_q_empty (&wake_q)) +trace_contended_release (sem); +raw_spin_unlock_irqrestore (&sem->lock, flags);if (!wake_q_empty (&wake_q))wake_up_q (&wake_q);
Signature · 1 line
2.52.0
PATCH v5 4/7 locking: Factor out queued_spin_release()
In reply to Dmitry IlvokhinIntroduce queued_spin_release() as an arch-overridable unlock primitive, and make queued_spin_unlock() a generic wrapper around it.
This is a preparatory refactoring for the next commit, which adds contended_release tracepoint instrumentation to queued_spin_unlock().
Rename the existing arch-specific queued_spin_unlock() overrides on x86 (paravirt) and MIPS to queued_spin_release().
No functional change.
--- arch/mips/include/asm/spinlock.h | 6 +++--- arch/x86/include/asm/paravirt-spinlock.h | 6 +++--- include/asm-generic/qspinlock.h | 15 ++++++++++++--- 3 files changed, 18 insertions(+), 9 deletions(-)
arch/mips/include/asm/spinlock.h +3 -3
@@ -13,12 +13,12 @@#include <asm-generic/qspinlock_types.h> -#define queued_spin_unlock queued_spin_unlock +#define queued_spin_release queued_spin_release/** -* queued_spin_unlock - release a queued spinlock +* queued_spin_release - release a queued spinlock * @lock : Pointer to queued spinlock structure */ -static inline void queued_spin_unlock (struct qspinlock *lock) +static inline void queued_spin_release (struct qspinlock *lock) {/* This could be optimised with ARCH_HAS_MMIOWB */ mmiowb ();
arch/x86/include/asm/paravirt-spinlock.h +3 -3
@@ -49,9 +49,9 @@ static __always_inline bool pv_vcpu_is_preempted(long cpu) ALT_NOT(X86_FEATURE_VCPUPREEMPT)); } -#define queued_spin_unlock queued_spin_unlock +#define queued_spin_release queued_spin_release/** -* queued_spin_unlock - release a queued spinlock +* queued_spin_release - release a queued spinlock * @lock : Pointer to queued spinlock structure * * A smp_store_release() on the least-significant byte.
@@ -66,7 +66,7 @@ static inline void queued_spin_lock_slowpath(struct qspinlock *lock, u32 val)pv_queued_spin_lock_slowpath (lock, val); } -static inline void queued_spin_unlock (struct qspinlock *lock) +static inline void queued_spin_release (struct qspinlock *lock) {kcsan_release ();pv_queued_spin_unlock (lock);
include/asm-generic/qspinlock.h +12 -3
@@ -115,12 +115,12 @@ static __always_inline void queued_spin_lock(struct qspinlock *lock) }#endif -#ifndef queued_spin_unlock +#ifndef queued_spin_release/** -* queued_spin_unlock - release a queued spinlock +* queued_spin_release - release a queued spinlock * @lock : Pointer to queued spinlock structure */ -static __always_inline void queued_spin_unlock(struct qspinlock *lock) +static __always_inline void queued_spin_release(struct qspinlock *lock) {/* * unlock() needs release semantics:
@@ -129,6 +129,15 @@ static __always_inline void queued_spin_unlock(struct qspinlock *lock) }#endif +/** +* queued_spin_unlock - unlock a queued spinlock +* @lock : Pointer to queued spinlock structure +*/ +static __always_inline void queued_spin_unlock(struct qspinlock *lock) +{ +queued_spin_release (lock); +} +#ifndef virt_spin_lock static __always_inline bool virt_spin_lock(struct qspinlock *lock) {
Signature · 1 line
2.52.0
PATCH v5 5/7 locking: Add contended_release tracepoint to qspinlock
In reply to Dmitry IlvokhinUse the arch-overridable queued_spin_release(), introduced in the previous commit, to ensure the tracepoint works correctly across all architectures, including those with custom unlock implementations (e.g. x86 paravirt).
When the tracepoint is disabled, the only addition to the hot path is a single NOP instruction (the static branch). When enabled, the contention check, trace call, and unlock are combined in an out-of-line function to minimize hot path impact, avoiding the compiler needing to preserve the lock pointer in a callee-saved register across the trace call.
Binary size impact (x86_64, defconfig):
uninlined unlock (common case): +680 bytes (+0.00%)
inlined unlock (worst case): +83659 bytes (+0.21%)
The inlined unlock case could not be achieved through Kconfig options on x86_64 as PREEMPT_BUILD unconditionally selects UNINLINE_SPIN_UNLOCK on x86_64. The UNINLINE_SPIN_UNLOCK guards were manually inverted to force inline the unlock path and estimate the worst case binary size increase.
In practice, configurations with UNINLINE_SPIN_UNLOCK=n have already opted against binary size optimization, so the inlined worst case is unlikely to be a concern.
Architectures with fully custom qspinlock implementations (e.g. PowerPC) are not covered by this change.
--- include/asm-generic/qspinlock.h | 18 ++++++++++++++++++ kernel/locking/qspinlock.c | 8 ++++++++ 2 files changed, 26 insertions(+)
include/asm-generic/qspinlock.h +18 -0
@@ -41,6 +41,7 @@#include <asm-generic/qspinlock_types.h> #include <linux/atomic.h> +#include <linux/tracepoint-defs.h> #ifndef queued_spin_is_locked/**
@@ -129,12 +130,29 @@ static __always_inline void queued_spin_release(struct qspinlock *lock) }#endif +DECLARE_TRACEPOINT (contended_release); + +extern void queued_spin_release_traced (struct qspinlock *lock); +/** * queued_spin_unlock - unlock a queued spinlock * @lock : Pointer to queued spinlock structure +* +* Generic tracing wrapper around the arch-overridable +* queued_spin_release(). */ static __always_inline void queued_spin_unlock(struct qspinlock *lock) { +/* +* Trace and release are combined in queued_spin_release_traced() so +* the compiler does not need to preserve the lock pointer across the +* function call, avoiding callee-saved register save/restore on the +* hot path. +*/ +if (tracepoint_enabled (contended_release)) { +queued_spin_release_traced (lock); +return ; + }queued_spin_release (lock); }
kernel/locking/qspinlock.c +8 -0
@@ -104,6 +104,14 @@ static __always_inline u32 __pv_wait_head_or_lock(struct qspinlock *lock,#define queued_spin_lock_slowpath native_queued_spin_lock_slowpath#endif +void __lockfunc queued_spin_release_traced(struct qspinlock *lock) +{ +if (queued_spin_is_contended (lock)) +trace_contended_release (lock); +queued_spin_release (lock); +} +EXPORT_SYMBOL (queued_spin_release_traced); +#endif /* _GEN_PV_LOCK_SLOWPATH */ /**
Signature · 1 line
2.52.0
Re: [PATCH v5 5/7] locking: Add contended_release tracepoint to qspinlock
Quoted 20 lines · Dmitry Ilvokhin
Use the arch-overridable
queued_spin_release(), introduced in the previous commit, to ensure the tracepoint works correctly across all architectures, including those with custom unlock implementations (e.g. x86 paravirt).When the tracepoint is disabled, the only addition to the hot path is a single NOP instruction (the static branch). When enabled, the contention check, trace call, and unlock are combined in an out-of-line function to minimize hot path impact, avoiding the compiler needing to preserve the lock pointer in a callee-saved register across the trace call.
Binary size impact (
x86_64, defconfig):
uninlined unlock (common case): +680 bytes (+0.00%)
inlined unlock (worst case): +83659 bytes (+0.21%)The inlined unlock case could not be achieved through
Kconfigoptions onx86_64asPREEMPT_BUILDunconditionally selectsUNINLINE_SPIN_UNLOCKonx86_64. TheUNINLINE_SPIN_UNLOCKguards were manually inverted to force inline the unlock path and estimate the worst case binary size increase.
Quoted 8 lines
In practice, configurations with UNINLINE_SPIN_UNLOCK=n have already opted against binary size optimization, so the inlined worst case is unlikely to be a concern.
Architectures with fully custom qspinlock implementations (e.g. PowerPC) are not covered by this change.
Signed-off-by Dmitry Ilvokhin <[email protected]>
Much nicer split out!
Quoted 69 lines
--- include/asm-generic/qspinlock.h | 18 ++++++++++++++++++ kernel/locking/qspinlock.c | 8 ++++++++ 2 files changed, 26 insertions(+)include/asm-generic/qspinlock.h +18
-0@@ -41,6 +41,7 @@#include <asm-generic/qspinlock_types.h> #include <linux/atomic.h> +#include <linux/tracepoint-defs.h> #ifndef queued_spin_is_locked/** @@ -129,12 +130,29 @@ static __always_inline void queued_spin_release(struct qspinlock *lock) }#endif +DECLARE_TRACEPOINT (contended_release); + +extern void queued_spin_release_traced (struct qspinlock *lock); +/** * queued_spin_unlock - unlock a queued spinlock * @lock : Pointer to queued spinlock structure +* +* Generic tracing wrapper around the arch-overridable +* queued_spin_release(). */ static __always_inline void queued_spin_unlock(struct qspinlock *lock) { +/* +* Trace and release are combined in queued_spin_release_traced() so +* the compiler does not need to preserve the lock pointer across the +* function call, avoiding callee-saved register save/restore on the +* hot path. +*/ +if (tracepoint_enabled (contended_release)) { +queued_spin_release_traced (lock); +return ; + }queued_spin_release (lock); }kernel/locking/qspinlock.c +8
-0@@ -104,6 +104,14 @@ static __always_inline u32 __pv_wait_head_or_lock(struct qspinlock *lock,#define queued_spin_lock_slowpath native_queued_spin_lock_slowpath#endif +void __lockfunc queued_spin_release_traced(struct qspinlock *lock) +{ +if (queued_spin_is_contended (lock)) +trace_contended_release (lock); +queued_spin_release (lock); +} +EXPORT_SYMBOL (queued_spin_release_traced); +#endif /* _GEN_PV_LOCK_SLOWPATH */ /** Signature · 1 line
2.52.0
PATCH v5 6/7 locking: Factor out __queued_read_unlock()/__queued_write_unlock()
In reply to Dmitry IlvokhinThis is a preparatory refactoring for the next commit, which adds contended_release tracepoint instrumentation and needs to call the unlock from both traced and non-traced paths.
No functional change.
--- include/asm-generic/qrwlock.h | 20 +++++++++++++++----- 1 file changed, 15 insertions(+), 5 deletions(-)
include/asm-generic/qrwlock.h +15 -5
@@ -101,16 +101,26 @@ static inline void queued_write_lock(struct qrwlock *lock)queued_write_lock_slowpath (lock); } +static __always_inline void __queued_read_unlock(struct qrwlock *lock) +{ +/* +* Atomically decrement the reader count +*/ + (void )atomic_sub_return_release (_QR_BIAS, &lock->cnts); +} +/** * queued_read_unlock - release read lock of a queued rwlock * @lock : Pointer to queued rwlock structure */ static inline void queued_read_unlock (struct qrwlock *lock) { -/* -* Atomically decrement the reader count -*/ - (void )atomic_sub_return_release (_QR_BIAS, &lock->cnts); +__queued_read_unlock (lock); +} + +static __always_inline void __queued_write_unlock(struct qrwlock *lock) +{ +smp_store_release (&lock->wlocked,0 ); }/**
@@ -119,7 +129,7 @@ static inline void queued_read_unlock(struct qrwlock *lock)*/ static inline void queued_write_unlock (struct qrwlock *lock) { -smp_store_release (&lock->wlocked,0 ); +__queued_write_unlock (lock); }/**
Signature · 1 line
2.52.0
Re: [PATCH v5 6/7] locking: Factor out __queued_read_unlock()/__queued_write_unlock()
Quoted 7 lines · Dmitry Ilvokhin
This is a preparatory refactoring for the next commit, which adds
contended_releasetracepoint instrumentation and needs to call the unlock from both traced and non-traced paths.No functional change.
Signed-off-by Dmitry Ilvokhin <[email protected]>
Quoted 51 lines
--- include/asm-generic/qrwlock.h | 20 +++++++++++++++----- 1 file changed, 15 insertions(+), 5 deletions(-)include/asm-generic/qrwlock.h +15
-5@@ -101,16 +101,26 @@ static inline void queued_write_lock(struct qrwlock *lock)queued_write_lock_slowpath (lock); } +static __always_inline void __queued_read_unlock(struct qrwlock *lock) +{ +/* +* Atomically decrement the reader count +*/ + (void )atomic_sub_return_release (_QR_BIAS, &lock->cnts); +} +/** * queued_read_unlock - release read lock of a queued rwlock * @lock : Pointer to queued rwlock structure */ static inline void queued_read_unlock (struct qrwlock *lock) { -/* -* Atomically decrement the reader count -*/ - (void )atomic_sub_return_release (_QR_BIAS, &lock->cnts); +__queued_read_unlock (lock); +} + +static __always_inline void __queued_write_unlock(struct qrwlock *lock) +{ +smp_store_release (&lock->wlocked,0 ); }/** @@ -119,7 +129,7 @@ static inline void queued_read_unlock(struct qrwlock *lock)*/ static inline void queued_write_unlock (struct qrwlock *lock) { -smp_store_release (&lock->wlocked,0 ); +__queued_write_unlock (lock); }/** Signature · 1 line
2.52.0
PATCH v5 7/7 locking: Add contended_release tracepoint to qrwlock
In reply to Dmitry IlvokhinExtend the contended_release tracepoint to queued rwlocks, using the same out-of-line traced unlock approach as queued spinlocks.
--- include/asm-generic/qrwlock.h | 22 ++++++++++++++++++++++ kernel/locking/qrwlock.c | 16 ++++++++++++++++ 2 files changed, 38 insertions(+)
include/asm-generic/qrwlock.h +22 -0
@@ -14,6 +14,7 @@#define __ASM_GENERIC_QRWLOCK_H#include <linux/atomic.h> +#include <linux/tracepoint-defs.h> #include <asm/barrier.h> #include <asm/processor.h>
@@ -35,6 +36,10 @@*/ extern void queued_read_lock_slowpath (struct qrwlock *lock);extern void queued_write_lock_slowpath (struct qrwlock *lock); +extern void queued_read_unlock_traced (struct qrwlock *lock); +extern void queued_write_unlock_traced (struct qrwlock *lock); + +DECLARE_TRACEPOINT (contended_release);/** * queued_read_trylock - try to acquire read lock of a queued rwlock
@@ -115,6 +120,17 @@ static __always_inline void __queued_read_unlock(struct qrwlock *lock)*/ static inline void queued_read_unlock (struct qrwlock *lock) { +/* +* Trace and unlock are combined in the traced unlock variant so +* the compiler does not need to preserve the lock pointer across +* the function call, avoiding callee-saved register save/restore +* on the hot path. +*/ +if (tracepoint_enabled (contended_release)) { +queued_read_unlock_traced (lock); +return ; + } +__queued_read_unlock (lock); }
@@ -129,6 +145,12 @@ static __always_inline void __queued_write_unlock(struct qrwlock *lock)*/ static inline void queued_write_unlock (struct qrwlock *lock) { +/* See comment in queued_read_unlock(). */ +if (tracepoint_enabled (contended_release)) { +queued_write_unlock_traced (lock); +return ; + } +__queued_write_unlock (lock); }
kernel/locking/qrwlock.c +16 -0
@@ -90,3 +90,19 @@ void __lockfunc queued_write_lock_slowpath(struct qrwlock *lock)trace_contention_end (lock,0 ); }EXPORT_SYMBOL (queued_write_lock_slowpath); + +void __lockfunc queued_read_unlock_traced(struct qrwlock *lock) +{ +if (queued_rwlock_is_contended (lock)) +trace_contended_release (lock); +__queued_read_unlock (lock); +} +EXPORT_SYMBOL (queued_read_unlock_traced); + +void __lockfunc queued_write_unlock_traced(struct qrwlock *lock) +{ +if (queued_rwlock_is_contended (lock)) +trace_contended_release (lock); +__queued_write_unlock (lock); +} +EXPORT_SYMBOL (queued_write_unlock_traced);
Signature · 1 line
2.52.0
I plan to rebase this series on top of Linus' tree to pick up Vineeth's patch [1], and send an updated version next week.
In the meantime, I would appreciate feedback, especially on:
- tracepoint semantics across different lock types
- overhead concerns in hot paths (e.g. qspinlock)
As a follow-up, I am also working on an RFC to extend perf lock contention to make use of the contended_release tracepoint, so feedback in that context would also be helpful.
Feedback from locking and tracing maintainers would be particularly appreciated before respinning.