编译器栅栏的概念经常在我阅读有关内存模型、障碍、排序、原子等方面的内容时出现,但通常它也是在的上下文中正如人们所期望的那样,em>与CPU围栏配对。不过,我偶尔会读到仅适用于编译器的栅栏结构。这方面的一个例子是C++11std::atomic_signal_fence函数,它声明为cppreference.com:std::atomic_signal_fenceisequivalenttostd::atomic_thread_fence,exceptnoCPUinstructionsformemoryorderingareissued.Onlyreorderingoftheinstru
多年来我一直在使用volatilebool进行线程执行控制,效果很好//inmyclassdeclarationvolatileboolstop_;-----------------//Inthethreadfunctionwhile(!stop_){do_things();}现在,由于C++11增加了对原子操作的支持,我决定尝试一下//inmyclassdeclarationstd::atomicstop_;-----------------//Inthethreadfunctionwhile(!stop_){do_things();}但它比volatilebool慢几个数量级!我编
Thedefinitionsforstd::atomic似乎对原始类型或POD类型显示出明显的用处。你什么时候会用它来上课?什么时候应该避免在类里面使用它? 最佳答案 操作std::atomic在任何可简单复制的类型上可用是非常基本的。你可以build和摧毁atomic,你可以询问类型is_lock_free(),您可以加载和存储T的拷贝,您可以交换T的值以各种方式。如果这足以满足您的目的,那么您最好这样做而不是持有显式锁定。如果这些操作还不够,例如,如果您需要直接对值自动执行序列操作,或者如果对象足够大以至于复制成本很高,那么您可
谁能解释一下std::memory_order是什么?用简单的英语,以及如何将它们与std::atomic一起使用?我在这里找到了引用资料和几个例子,但根本不明白。http://en.cppreference.com/w/cpp/atomic/memory_order 最佳答案 std::memory_order值允许您对原子操作提供的内存排序指定细粒度约束。如果您正在从多个线程修改和访问原子变量,那么将std::memory_order值传递给您的操作允许您放松编译器和处理器上关于对这些原子变量的操作对其他线程可见的顺序,以及这些
如果一个数据结构中有多个元素,它的原子版本不能(总是)是无锁的。有人告诉我,这对于较大的类型是正确的,因为CPU不能在不使用某种锁的情况下原子地更改数据。例如:#include#includestructfoo{doublea;doubleb;};std::atomicvar;intmain(){std::cout输出(Linux/gcc)是:01616自原子和foo大小相同,我不认为锁存储在原子中。我的问题是:如果原子变量使用锁,它存储在哪里,这对于该变量的多个实例意味着什么? 最佳答案 回答此类问题的最简单方法通常是查看生成的程
根据我从HerbSutter中读到的内容和others你会认为volatile和并发编程是完全正交的概念,至少就C/C++而言。然而,在GCCimplementation全部std::atomic的成员函数有volatile限定符。AnthonyWilliams的implementation也是如此。的std::atomic.那么有什么关系,做我的atomic变量需要volatile还是不行? 最佳答案 总结别人写的正确:C/C++volatile用于硬件访问和中断。C++11atomic用于线程间通信(例如,在无锁代码中)。这两个
这个问题在这里已经有了答案:Canaboolread/writeoperationbenotatomiconx86?[duplicate](3个回答)DoIhavetouseatomicfor"exit"boolvariable?(3个回答)关闭9年前。不是atomic多余的,因为bool本质上是原子的吗?我认为不可能有部分修改的bool值。我什么时候真的需要使用atomic而不是bool? 最佳答案 NoC++中的类型“本质上是原子的”,除非它是std::atomic*-某物。那是因为标准是这样说的。实际上,为操作std::ato
boolcompare_exchange_weak(T&expected,Tval,..);compare_exchange_weak()是C++11中提供的比较交换原语之一。它是弱从某种意义上说,即使对象的值等于expected,它也会返回false。.这是由于虚假故障在一些使用一系列指令(而不是x86上的指令)来实现它的平台上。在这样的平台上,上下文切换、另一个线程重新加载相同地址(或缓存行)等可能会使原语失败。它是spurious因为它不是操作失败的对象的值(不等于expected)。相反,这是一种时间问题。但令我困惑的是C++11标准(ISO/IEC14882)中所说的,29.
我了解std::atomic是一个原子对象。但是原子到什么程度呢?据我了解,操作可以是原子的。使对象原子化究竟是什么意思?例如,如果有两个线程同时执行以下代码:a=a+12;那么整个操作(比如add_twelve_to(int))是原子的吗?还是对变量atomic进行了更改(所以operator=())? 最佳答案 std::atomic的每个实例化和完全特化表示不同线程可以同时操作(它们的实例)的类型,而不会引发未定义的行为:ObjectsofatomictypesaretheonlyC++objectsthatarefreefr
我最近尝试编译一个较旧的Xcode项目(以前编译得很好),现在我看到了很多这种形式的错误:error:writableatomicproperty'someProperty'cannotpairasynthesizedsetter/getterwithauserdefinedsetter/getter导致这些错误的代码模式总是如下所示://Interface:@property(retain)NSObject*someProperty;//Implementation:@synthesizesomeProperty;//toprovidethegetter-(void)setSomeP