ZBLOG

bool __sync_bool_cas(int *ptr, int oldval, int newval) { bool result; __asm__ __volatile__ ( "hwsync\n" "1: lwarx %0, 0, %2\n\t" "cmpw %0, %3\n\t" "bne- 2f\n\t"

这是一个使用嵌入汇编实现的原子比较并交换(compare-and-swap,简称CAS)函数。

CAS 是一种经常用于实现并发数据结构的同步原语。它可以保证一个共享变量的原子性操作,避免多个线程同时修改导致的竞争条件。

该函数将传入的指针 ptr 所指向的 int 类型变量与 oldval 进行比较,如果相等,则用 newval 替换其值,并返回 true;否则返回 false。

具体实现过程如下:

  1. hwsync:在 PowerPC 平台上,hwsync 指令作为内存栅栏,保证之前的所有内存访问都已完成。
  2. lwarx:从内存中读取 ptr 所指向的 int 类型变量的值,并将其储存在寄存器 %0 中。
  3. cmpw:将寄存器 %0 和 oldval 进行比较。
  4. bne- 2f:如果两者不相等,则跳转到标号 2 处。
  5. stwcx.:将新值 newval 存储到 ptr 所指向的内存位置,并将结果保存在条件寄存器中。
  6. bne- 1b:如果存储失败,则跳回标号 1 处继续尝试。
  7. li %0, 1:若存储成功,则将 %0 置为 1。
  8. isync:在 PowerPC 平台上,isync 指令作为内存栅栏,保证之后的所有内存访问都已完成。
  9. 返回结果。

这个函数使用了一些特殊的汇编指令和语法,例如 volatile、register 约束、输入输出约束等。它在编译时会被嵌入到调用它的代码中,以保证原子性操作,避免竞争条件。

本站部分文章来源于网络,版权归原作者所有,如有侵权请联系站长删除。
转载请注明出处:https://sdn.0voice.com/?id=413

分享:
扫描分享到社交APP
上一篇
下一篇
发表列表
游客 游客
此处应有掌声~
评论列表

还没有评论,快来说点什么吧~

联系我们

在线咨询: 点击这里给我发消息

微信号:3007537140

上班时间: 10:30-22:30

关注我们
x

注册

已经有帐号?