[lkml]   [2018]   [Apr]   [5]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
Subject[PATCH 00/10] kernel/locking: qspinlock improvements
Hi all,

I've been kicking the tyres further on qspinlock and with this set of patches
I'm happy with the performance and fairness properties. In particular, the
locking algorithm now guarantees forward progress whereas the implementation
in mainline can starve threads indefinitely in cmpxchg loops.

Catalin has also implemented a model of this using TLA to prove that the
lock is fair, although this doesn't take the memory model into account:

I'd still like to get more benchmark numbers and wider exposure before
enabling this for arm64, but my current testing is looking very promising.
This series, along with the arm64-specific patches, is available at:




Jason Low (1):
locking/mcs: Use smp_cond_load_acquire() in mcs spin loop

Will Deacon (9):
locking/qspinlock: Don't spin on pending->locked transition in
locking/qspinlock: Remove unbounded cmpxchg loop from locking slowpath
locking/qspinlock: Kill cmpxchg loop when claiming lock from head of
locking/qspinlock: Use atomic_cond_read_acquire
barriers: Introduce smp_cond_load_relaxed and atomic_cond_read_relaxed
locking/qspinlock: Use smp_cond_load_relaxed to wait for next node
locking/qspinlock: Merge struct __qspinlock into struct qspinlock
locking/qspinlock: Make queued_spin_unlock use smp_store_release
locking/qspinlock: Elide back-to-back RELEASE operations with

arch/x86/include/asm/qspinlock.h | 19 ++-
arch/x86/include/asm/qspinlock_paravirt.h | 3 +-
include/asm-generic/barrier.h | 27 ++++-
include/asm-generic/qspinlock.h | 2 +-
include/asm-generic/qspinlock_types.h | 32 ++++-
include/linux/atomic.h | 2 +
kernel/locking/mcs_spinlock.h | 10 +-
kernel/locking/qspinlock.c | 191 ++++++++++--------------------
kernel/locking/qspinlock_paravirt.h | 34 ++----
9 files changed, 141 insertions(+), 179 deletions(-)


 \ /
  Last update: 2018-04-05 18:59    [W:0.213 / U:0.728 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site