C++ std :: atomic vs. Boost atomic

Question

在我的应用程序中,我有一个int和一个bool变量,由多个线程访问(多次写/读).目前,我使用两个互斥锁,一个用于int,一个用于bool来保护这些变量.

我听说过使用原子变量和运算符来编写无锁多线程程序.我的问题是

1. 原子变量和运算符的定义是什么？
2. std :: atomic和 boost/atomic.hpp之间的主要区别是什么？哪一个更标准或更受欢迎？
3. 这些库是否依赖于平台？我目前在Linux上使用gnu gcc 4.6,但理想情况下它应该是跨平台的.我听说"原子"的定义实际上也取决于硬件.任何人都可以解释一下吗？
4. 在多个线程中共享bool变量的最佳方法是什么？我宁愿不使用" volatile "关键字.

这些代码是否是线程安全的？

double double_m; // double_m is only accessed by current thread.
std::atomic<bool> atomic_bool_x;
atomic_bool_x = true && (double_m > 12.5);

int int_n; // int_n is only accessed by current thread.
std::atomic<int> atomic_int_x;
std::atomic<int> atomic_int_y;
atomic_int_y = atomic_int_x * int_n;

Answer 1

我不是专家或其他任何人,但这就是我所知道的:

1. std::atomic简单地说,同时调用load和store(以及其他一些操作)是明确定义的.原子操作是不可分割的 - 在它们之间不会发生任何事情.
2. 我假设std::atomic是基于boost::atomic.如果可以,请使用std,否则使用boost.
3. 它们都是可移植的,std完全如此,但是你的编译器需要支持C++ 11
4. 可能std::atomic_bool.你不应该使用volatile.

此外,我相信load/ store不同于operator=/ operator T 仅load/ store是原子.

没关系.我检查了标准,似乎运算符是根据load/ store/ etc 定义的,但它们可能会返回不同的东西.

进一步阅读:

• http://en.cppreference.com/w/cpp/atomic/atomic
• C++ 11标准
• 行动中的C++并发

Answer 2

易失性与用于实现原子的方法正交.在C++中,它告诉编译器确定使用该变量执行优化是不安全的.Herb Sutters说出来:

为了安全地编写在不使用锁的情况下在线程之间进行通信的无锁代码,更喜欢使用有序的原子变量:Java/.NET volatile,C++ 0x atomic和C兼容的atomic_T.

要安全地与具有异常语义的特殊硬件或其他内存通信,请使用不可优化的变量:ISO C/C++ volatile.但请记住,这些变量的读写不一定是原子的.

最后,为了表达一个变量,它既有不寻常的语义,又具有无锁编码所需的任何或全部原子性和/或排序保证,只有ISO C++ 0x草案标准提供了拼写它的直接方法:volatile atomic .

(来自http://drdobbs.com/article/print?articleId=212701484&siteSectionName=parallel)