The code is executed by a single thread. Everything retires in program order. There is no need for a memory barrier between starting the critical section and its body.
The code is executed by a single thread. Everything retires in program order. There is no need for a memory barrier between starting the critical section and its body.