On Thu Feb 2 14:14:24 2023 +0000, Jinoh Kang wrote:
Technically, this constitutes a data race since we're accessing a shared variable (concurrent access from `heap_free_block_lfh`) without volatile semantics. You should at least mark it volatile and load it to a local variable explicitly.
"volatile semantics" aren't really correct here. This is what ReadNoFence() is for.