std::atomic_flag
这个类型可以在两个状态间切换:设置set(flag=true)和清除clear(flag=false),必须被ATOMIC_FLAG_INIT初始化此时flag为clear状态,初始化标准为是清除状态。当你的标志对象已初始化,那么你只能做三件事情:销毁,清除或设置(查询之前的值)。这些事情对应的函数分别是:clear()成员函数,和test_and_set()成员函数。clear()和test_and_set()成员函数可以指定内存顺序。atomic_flag::test_and_set检查flag是否被设置,若被设置直接返回true,若没有设置则设置flag为true后再返回false。atomic_clear()清楚flag标志即flag=false。不支持拷贝、赋值等操作,这和所有atomic类型一样,因为两个原子类型之间操作不能保证原子化。atomic_flag的可操作性不强导致其应用局限性,还不如atomic<bool>。
实现自旋锁:
class SpinMutex
{
std::atomic_flag flag;
public:
sSpinMutex()
{
flag=ATOMIC_FLAG_INIT;
}
void lock()
{
while(flag.test_and_set(std::memory_order_acquire));
}
void unlock()
{
flag.clear(std::memory_order_release);
}
};
std::atomic<T>
支持的内置数据类型:
自定义类型T满足:
- 没有虚成员。
- 基类或其它任何非static成员都有拷贝/移动/赋值函数。(拷贝/移动/赋值函数全部定义或全部不定义)
std::atomic<T*>
原子指针类型,可以使用内置类型或自定义类型T。