Searched hist:"7 e7eb5ae4e4cd482a1ebc6a82ea8a04c5ead62ee" (Results 1 – 5 of 5) sorted by relevance
| /openbmc/linux/Documentation/litmus-tests/locking/ |
| H A D | RM-broken.litmus | 7e7eb5ae4e4cd482a1ebc6a82ea8a04c5ead62ee Fri Aug 14 18:14:34 CDT 2020 Paul E. McKenney <paulmck@kernel.org> 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.
[ paulmck: Apply Andrea Parri feedback for klitmus7. ]
[ paulmck: Apply Akira Yokosawa example-consistency feedback. ]
Reviewed-by: Akira Yokosawa <akiyks@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
|
| H A D | DCL-broken.litmus | 7e7eb5ae4e4cd482a1ebc6a82ea8a04c5ead62ee Fri Aug 14 18:14:34 CDT 2020 Paul E. McKenney <paulmck@kernel.org> 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.
[ paulmck: Apply Andrea Parri feedback for klitmus7. ]
[ paulmck: Apply Akira Yokosawa example-consistency feedback. ]
Reviewed-by: Akira Yokosawa <akiyks@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
|
| H A D | RM-fixed.litmus | 7e7eb5ae4e4cd482a1ebc6a82ea8a04c5ead62ee Fri Aug 14 18:14:34 CDT 2020 Paul E. McKenney <paulmck@kernel.org> 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.
[ paulmck: Apply Andrea Parri feedback for klitmus7. ]
[ paulmck: Apply Akira Yokosawa example-consistency feedback. ]
Reviewed-by: Akira Yokosawa <akiyks@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
|
| H A D | DCL-fixed.litmus | 7e7eb5ae4e4cd482a1ebc6a82ea8a04c5ead62ee Fri Aug 14 18:14:34 CDT 2020 Paul E. McKenney <paulmck@kernel.org> 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.
[ paulmck: Apply Andrea Parri feedback for klitmus7. ]
[ paulmck: Apply Akira Yokosawa example-consistency feedback. ]
Reviewed-by: Akira Yokosawa <akiyks@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
|
| /openbmc/linux/tools/memory-model/Documentation/ |
| H A D | locking.txt | 7e7eb5ae4e4cd482a1ebc6a82ea8a04c5ead62ee Fri Aug 14 18:14:34 CDT 2020 Paul E. McKenney <paulmck@kernel.org> 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.
[ paulmck: Apply Andrea Parri feedback for klitmus7. ]
[ paulmck: Apply Akira Yokosawa example-consistency feedback. ]
Reviewed-by: Akira Yokosawa <akiyks@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
|