atomic 内存序_c – 使用atomic_flag自旋锁定进行内存排序

我试图熟悉c 11的新记忆排序概念,并且相信我对它们有很好的掌握,直到我偶然发现了旋转锁的这种实现：

#include

namespace JayZ

{

namespace Tools

{

class SpinLock

{

private:

std::atomic_flag spin_lock;

public:

inline SpinLock( void ) : atomic_flag( ATOMIC_FLAG_INIT ) {}

inline void lock( void )

{

while( spin_lock.test_and_set( std::memory_order_acquire ) )

;

}

inline void unlock( void )

{

lock.clear( std::memory_order_release );

}

};

}

}

但我只是不明白它为什么会起作用！

想象一下,线程1调用lock(),test_and_set()返回0作为旧值 – >线程1已获得锁定.

但随后线程2出现并尝试相同.现在因为没有发生“存储同步”(release,seq_cst_acq_rel),所以线程1的spin_lock存储应该是轻松的类型.

但是由此得出它不能与线程2的spin_lock读取同步.这应该使线程2能够从spin_lock读取值0,从而获得锁定.

我的错误在哪里？