> On Feb 22, 2023, at 9:40 AM, Taylor R Campbell
> wrote:
>
> I believe this is guaranteed as rwlock(9) is currently implemented.
> (Whether it is _intended_ to be guaranteed, I'm not sure.)
That guarantee certainly falls in line with the principle of least
astonishment. We should
Questions about rwlock(9) memory ordering semantics:
1. Is rw_tryupgrade an acquire operation, so that all prior reader
critical sections happen-before anything sequenced after it?
Or does it only order stores issued by the caller, while loads in
the following write section can be
