diff options
| author | Boqun Feng <[email protected]> | 2021-10-25 22:54:16 +0800 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2021-11-30 17:47:08 -0800 |
| commit | c438b7d860b4c1acb4ebff6d8d946d593ca5fe1e (patch) | |
| tree | 5e86d66c4635958dbc2b9ee277e6234a9f055fc1 /net/lapb/lapb_in.c | |
| parent | b47c05ecf60bd8743ad8c0ee510d3e1c060529d7 (diff) | |
tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) ordering
The memory model has been updated to provide a stronger ordering
guarantee for unlock(A)+lock(B) on the same CPU/thread. Therefore add
two litmus tests describing this new guarantee, these tests are simple
yet can clearly show the usage of the new guarantee, also they can serve
as the self tests for the modification in the model.
Co-developed-by: Alan Stern <[email protected]>
Signed-off-by: Alan Stern <[email protected]>
Signed-off-by: Boqun Feng <[email protected]>
Acked-by: Peter Zijlstra (Intel) <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'net/lapb/lapb_in.c')
0 files changed, 0 insertions, 0 deletions