- 论坛徽章:
- 2
|
我知道gcc提供了如下内建函数,
__sync_bool_compare_and_swap, 在x86上会编译成 lock cmpxchg指令
可对内存进行原子访问。
这个函数的原型是
bool __sync_bool_compare_and_swap (type *ptr, type oldval type newval, ...)
type是整数,比如int。
如果用C来表示这个函数做的事情,应该是这样的:
- bool __sync_bool_compare_and_swap(int* ptr, int oldval, int newval) {
- if (*ptr == oldval) {
- *ptr = newval;
- return true;
- } else return false;
- }
复制代码 这也是通常的CAS实现的语义。这个函数可以用来实现无锁。
在C++11中,有一个atomic库,里面的atomic<T>模板类,
其中有方法叫 compare_exchange_weak/strong.
关于weak和strong的差别我理解了,可以看这里 http://www.cplusplus.com/referen ... are_exchange_strong。
我的问题是,这个方法的语义看起来和 CAS不太一样。
这个方法的运行结果用C表示大概是这样的:
- bool atomic_compare_exchange(int* ptr, int* oldval, int newval) {
- if (*ptr == *oldval) {
- *ptr = newval;
- return true;
- } else {
- *oldval = *ptr;
- return false;
- }
- }
复制代码 我看了后很困惑,我查了一些资料,也是说这个方法是用来实现无锁的,通常放在一个while中循环直到返回true.
问题是,这个方法如果第一次调用是false的话,第二次调用肯定是true了。
|
|