Skip to content

locking/rwsem: Rework reader optimistic spinning

Waiman Long lkml 2 versions – Applied

Status from this message: The following commit has been merged into the locking/core branch of tip:

Get series with b4
b4 am [email protected]

Versions newest first · linked by author and title

  1. v2 Latest5 patches 8 repliesApplied
  2. v15 patches 17 repliesSuperseded

Changes in v2 from the cover letter

- Update some commit logs to incorporate review comments.
- Patch 2: remove unnecessary comment.
- Patch 3: rename osq_is_empty() to rwsem_no_spinners() as suggested.
- Patch 4: correctly handle HANDOFF clearing.
- Patch 5: fix !CONFIG_RWSEM_SPIN_ON_OWNER compilation errors.

Patches in v2 Applied

#Subject and filesSizeRepliesApplied
1/5locking/rwsem: Pass the current atomic count to rwsem_down_read_slowpath()kernel/locking/rwsem.c+12 -80 replies
2/5locking/rwsem: Prevent potential lock starvationkernel/locking/rwsem.c+13 -20 replies
3/5locking/rwsem: Enable reader optimistic lock stealingkernel/locking/lock_events_list.h kernel/locking/rwsem.c+29 -00 replies
4/5locking/rwsem: Wake up all waiting readers if RWSEM_WAKE_READ_OWNEDkernel/locking/rwsem.c+14 -60 replies
5/5locking/rwsem: Remove reader optimistic spinningkernel/locking/lock_events_list.h kernel/locking/rwsem.c+48 -2354 replies

Reviews trailers per patch

1 of 5 patches has a Reviewed-by or Acked-by.

PatchDavidlohr Bueso
1/5
2/5
3/5
4/5
5/5R-b

Trailers given in replies are filled; those carried in the patches from earlier versions are outlined with dashes.

Read the v2 thread

Cover letter [PATCH v2 0/5] locking/rwsem: Rework reader optimistic spinning

v2:
- Update some commit logs to incorporate review comments.
- Patch 2: remove unnecessary comment.
- Patch 3: rename osq_is_empty() to rwsem_no_spinners() as suggested.
- Patch 4: correctly handle HANDOFF clearing.
- Patch 5: fix !CONFIG_RWSEM_SPIN_ON_OWNER compilation errors.

A recent report of SAP certification failure caused by increased system time due to rwsem reader optimistic spinning led me to reexamine the code to see the pro and cons of doing it. This led me to discover a potential lock starvation scenario as explained in patch 2. That patch does reduce reader spinning to avoid this potential problem. Patches 3 and 4 are further optimizations of the current code.

Then there is the issue of reader fragmentation that can potentially reduce performance in some heavily contented cases. Two different approaches are attempted:
1) further reduce reader optimistic spinning
2) disable reader spinning

See the performance shown in patch 5.

This patch series adopts the second approach by dropping reader spinning for now as it simplifies the code. However, writers are still allowed to spin on a reader-owned rwsem for a limited time.

Waiman Long (5):
locking/rwsem: Pass the current atomic count to
rwsem_down_read_slowpath()
locking/rwsem: Prevent potential lock starvation locking/rwsem: Enable reader optimistic lock stealing locking/rwsem: Wake up all waiting readers if RWSEM_WAKE_READ_OWNED locking/rwsem: Remove reader optimistic spinning

 kernel/locking/lock_events_list.h |   6 +-
 kernel/locking/rwsem.c            | 293 ++++++++----------------------
 2 files changed, 82 insertions(+), 217 deletions(-)
Signature · 1 line
2.18.1