Re: [PATCH v2 00/13] kernel/locking: qspinlock improvements

On Wed, Apr 11, 2018 at 07:01:07PM +0100, Will Deacon wrote: > * Spin for a bounded duration while lock is observed in the > pending->locked transition FWIW, I updated my model [1] to include the bounded handover loop and, as expected, it passes the liveness check (well, assuming fairness of

[PATCH v2 00/13] kernel/locking: qspinlock improvements

Hi all, Here's v2 of the qspinlock patches I posted last week: https://lkml.org/lkml/2018/4/5/496 Changes since v1 include: * Use WRITE_ONCE to clear the pending bit if we set it erroneously * Report pending and slowpath acquisitions via the qspinlock stat mechanism [Waiman Long] * S