[marginalia_nu]

You can't really know that though.

Without appropriate memory barriers, you can end up with an inconsistent view of the memory due to out-of-order execution and other weird stuff the CPU does behind the scenes.

There's significant footguns around low level concurrency primitives.

[ryao]

If you are doing locking to protect against writes occurring when reads occur, you get those barriers for free.

That said, they are using RCU to allow writers and readers to operate concurrently.