diff options
| author | riastradh <riastradh@NetBSD.org> | 2023-05-01 12:18:08 +0000 |
|---|---|---|
| committer | riastradh <riastradh@NetBSD.org> | 2023-05-01 12:18:08 +0000 |
| commit | 11a8cfaf055205e9a89e0431fe4c8fe75c8c218c (patch) | |
| tree | 2ccf230c0296eed6e1974af39ad78011fde35460 /sys/dev | |
| parent | 24226a1d3bc5734a3c7d2578ccee3b8a80a1f99d (diff) | |
mutex(9): Write comments in terms of ordering semantics.
Phrasing things in terms of implementation details like `acquiring
and locking cache lines' both suggests a particular cache coherency
protocol, paints an incomplete picture for more involved protocols,
and doesn't really help to prove theorems the way ordering relations
do.
No functional change intended.
Diffstat (limited to 'sys/dev')
0 files changed, 0 insertions, 0 deletions
