tools/memory-model: Document locking corner cases
authorPaul E. McKenney <paulmck@kernel.org>
Fri, 14 Aug 2020 23:14:34 +0000 (16:14 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Wed, 1 Dec 2021 01:48:14 +0000 (17:48 -0800)
commitabd31b53c4d2a112302e417d59f420b2c8478e49
tree4560757626a95a7358bea8b010044745d1aba477
parentc438b7d860b4c1acb4ebff6d8d946d593ca5fe1e
tools/memory-model:  Document locking corner cases

Most Linux-kernel uses of locking are straightforward, but there are
corner-case uses that rely on less well-known aspects of the lock and
unlock primitives.  This commit therefore adds a locking.txt and litmus
tests in Documentation/litmus-tests/locking to explain these corner-case
uses.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Documentation/litmus-tests/locking/DCL-broken.litmus [new file with mode: 0644]
Documentation/litmus-tests/locking/DCL-fixed.litmus [new file with mode: 0644]
Documentation/litmus-tests/locking/RM-broken.litmus [new file with mode: 0644]
Documentation/litmus-tests/locking/RM-fixed.litmus [new file with mode: 0644]
tools/memory-model/Documentation/locking.txt [new file with mode: 0644]