diff options
| author |   Jonas Oberhauser <jonas.oberhauser@huaweicloud.com> | 2024-09-30 12:57:08 +0200 |
|---|---|---|
| committer |   Paul E. McKenney <paulmck@kernel.org> | 2025-02-20 07:40:23 -0800 |
| commit | 29279349a566232057f52392d1a8af91772de7e1 (patch) | |
| tree | ead5bc04558159317be2a98b0d7fb050a14b2318 /scripts/generate_rust_analyzer.py | |
| parent | tools/memory-model: Define applicable tags on operation in tools/... (diff) | |
| download | wireguard-linux-29279349a566232057f52392d1a8af91772de7e1.tar.xz wireguard-linux-29279349a566232057f52392d1a8af91772de7e1.zip | |
tools/memory-model: Define effect of Mb tags on RMWs in tools/...
Herd7 transforms successful RMW with Mb tags by inserting smp_mb() fences
around them. We emulate this by considering imaginary po-edges before the
RMW read and before the RMW write, and extending the smp_mb() ordering
rule, which currently only applies to real po edges that would be found
around a really inserted smp_mb(), also to cases of the only imagined po
edges.
Reported-by: Viktor Vafeiadis <viktor@mpi-sws.org>
Suggested-by: Alan Stern <stern@rowland.harvard.edu>
Signed-off-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Reviewed-by: Boqun Feng <boqun.feng@gmail.com>
Tested-by: Boqun Feng <boqun.feng@gmail.com>
Diffstat (limited to 'scripts/generate_rust_analyzer.py')
0 files changed, 0 insertions, 0 deletions