No, it can not use relaxed memory ordering. Looking at disassembly of relaxed atomic operations, they are just normal loads and stores with no memory barriers

No, it can not use relaxed memory ordering. Looking at disassembly of relaxed atomic operations, they are just normal loads and stores with no memory barriers or special instructions. That is not enough to make this algorithm guard a critical section.