AI智能
改变未来

Android原子操作——android_atomic_cmpxchg

网络给我们带来了很多方便,查阅我们目前认知范围外的道理。但是,凡事也要学会分辨,不然可能会误导你。

话说,最近的一个项目(Mercury-Project),接近尾声中。然而,在调试一个demo时,却遇到了问题。

理一下问题由来:

1.目标:将Android下的一些基础工具移植到纯Linux平台环境上用。

2.移植RefBase时,用到了原子操作:

android_atomic_cmpxchg(curCount, curCount+1, &impl->mStrong)

怎么办呢?因为这个api是Android实现的一套底层原子操作(应付并发场景下比较+交换操作的原子性要求),因此需要寻找通用Linux平台所对应的api。

是什么呢?这个:__sync_bool_compare_and_swap(),其原型为:bool __sync_bool_compare_and_swap (type *ptr, type oldval, type newval)

需要注意的是,这个是gcc提供的api,而非OS提供的。

3.如何替换?

分析gcc的CAS的原型:bool __sync_bool_compare_and_swap(type *ptr, type oldval, type newval)

这个CAS函数,功能为:比较oldval与*ptr的值,如何相等,则用newval更新*ptr的值,否则不更新;当更新时,返回true,不跟新时,返回false。

Android的这个api原型:int android_atomic_cmpxchg(int32_t oldvalue, int32_t newvalue, volatile int32_t* addr)

然而,这个函数,网上一大片错的!估计都没验证过,就抄过来抄过去。呵呵。。。

截取网上找到的两段:

我也天真的相信了,移植时,将如下代码:

if (android_atomic_cmpxchg(curCount, curCount+1, &impl->mStrong) == 0)

修改为了:

if (__sync_bool_compare_and_swap(&impl->mStrong, curCount, curCount+1) == 0)

4.问题出现:

在跑demo,验证RefBase时,将对象进行promote时,等待了近一分钟,才执行完!

回来查问题,才定位到,是这个CAS函数替换引入的!

5.api真正的功能是什么?

参考api说明:http://androidxref.com/4.4.4_r1/xref/system/core/include/cutils/atomic.h#115

以及实现:http://androidxref.com/4.4.4_r1/xref/system/core/include/cutils/atomic-arm.h#108

截下来:

如果看不懂汇编,看最后一行的return语句,也猜的八九不离十:相等时,返回0;不等时,返回1。

这一段API接口说明要仔细读:

110-112行说,这个两个接口是新API(android_atomic_release_cas)的别名,在将来可能被移除掉,不建议再用此API。

再看95-96行的说明,返回zero,只有在*addr==oldvalue时,才发生!!!

第98行,补充说,在其他平台(非ARM平台)上,根据具体的实现,返回值是反的。

赞(0) 打赏
未经允许不得转载:爱站程序员基地 » Android原子操作——android_atomic_cmpxchg