这个函数是在 PowerPC 64 位架构下实现的一个原子比较并交换(CAS)操作,可以用于并发编程中保证多线程访问共享变量的正确性。
函数接受三个参数:
- var_ptr:指向要操作的变量的指针;
- oldval:期望的旧值;
- newval:新值。
该函数返回一个 uint128_u 类型的变量 old,表示执行 CAS 操作之前 var_ptr 所指向的变量的值。
函数实现中,首先声明一个 uint128_u 类型的变量 old,将 var_ptr 所指向的变量的值赋给它。然后使用 inline assembly 内嵌汇编语句,将 newval 的高位和低位分别存放到寄存器 r8 和 r9 中,并从 oldval 中读取需要比较的旧值的高位和低位,存放到变量 oldv0 和 oldv1 中。
紧接着,执行以下操作:
- 使用 lwsync 指令确保之前所有的写操作都已完成;
- 使用 lqarx 指令将 var_ptr 所指向的变量的值读入寄存器 prev0 中;
- 使用 cmpd 指令比较 prev0 和 oldv0 的值,如果不相等跳转到标号 1 处;
- 继续使用 cmpd 指令比较 prev1 和 oldv1 的值,如果不相等跳转到标号 1 处;
- 使用 stqcx. 指令将 newv0 和 newv1 的值存入 var_ptr 所指向的变量中,并检查是否成功,如果不成功跳转到标号 1 处;
- 标号 1 处执行 isync 指令确保所有之前的读写操作都已完成。
最后返回旧值 old。整个过程是原子的,能够保证多线程访问共享变量时的正确性。