标签:key 行修改 设置 extern odi 过程 使用 style 失败
1 extern int g_var; 2 3 mutex_lock; 4 g_var ++; 5 mutex_unlock;
使用锁会导致其他线程block,使用不当还有可能造成死锁,以下介绍无锁编程相关概念。
1、LL/SC操作
MIPS等RISC cpu支持LL(Load Link)/SC(Store Conditional)操作,主要原理为:
1. LL t0, lock_key # LL从内存中读取数据到寄存器中,实现接下来的 RMW(Read-Modify-Write) 操作中的Read。处理器会记住 LL 指令的这次操作(会在 CPU 的寄存器中设置一个不可见的 bit 位),同时 LL 指令读取的地址lock_key也会保存在处理器的寄存器中。 2. SC t0, lock_key # SC 指令的功能是向内存中写入一个字,以完成前面的 RMW 操作中Write。会检查上次 LL 指令执行后的 RMW 操作是否是原子操作(即不存在其它对这个地址的操作),如果是原子操作,则 t0 的值将会被更新至内存中,同时 t0 的值也会变为1,表示操作成功;反之,如果 RMW 的操作不是原子操作(即存在其它对这个地址的访问冲突),则 t 的值不会被更新至内存中,且 t 的值也会变为0,表示操作失败。
SC 指令执行失败的原因有两种:
(1)在 LL/SC 操作序列的过程中,发生了一个异常(或中断),这些异常(或中断)可能会打乱 RMW 操作的原子性。
(2)在多核处理器中,一个核在进行 RMW 操作时,别的核试图对同样的地址也进行操作,这会导致 SC 指令执行的失败。
通过CPU支持的LL/SC操作,可以实现无锁对变量进行修改。
2、CAS操作
CAS(Compare And Swap): It compares the contents of a memory location to a given value and, only if they are the same, modifies the contents of that memory location to a given new value.
在 x86 下的指令CMPXCHG实现了CAS,前置LOCK既可以达到原子性操作, CAS 伪代码:
1 int compare_and_swap(int* reg, int oldval, int newval) 2 { 3 ATOMIC(); 4 int old_reg_val = *reg; 5 if (old_reg_val == oldval) 6 *reg = newval; 7 END_ATOMIC(); 8 return old_reg_val; 9 }
当寄存器中的值old_reg_val等于oldval时,才更新寄存器的值。
标签:key 行修改 设置 extern odi 过程 使用 style 失败
原文地址:http://www.cnblogs.com/ym65536/p/6417708.html