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, 2 Feb 2022 01:33:27 +0000 (17:33 -0800)
commitffe7d0072594c456cba2af94608db4898b36b496
tree87d00af58afb51d9602e0474fb22c8a1df658517
parente2b665f612ca2ddc61c3d54817a3a780aee6b251
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]