共享内存的原子操作LOCK前缀

blackoil

共享内存的原子操作，是否只需在汇编指令前加上LOCK前缀就OK了？缓存一致性有没有问题？

1. #atomic int a,b;
   
2. 
   
3. int main()
   
4. {
   
5.         a+=1;
   
6.         b-=1;
   
7. }

复制代码

1. section .code align=4
   
2. bits 32
   
3. _main:
   
4. push    ebp
   
5. mov     ebp, esp
   
6. lock    add     [ _a ], dword 0x1
   
7. lock    sub     [ _b ], dword 0x1
   
8. mov     esp, ebp
   
9. pop     ebp
   
10. ret

复制代码

egmkang

lock是用来锁总线的.
如果数据在cache line中,这个lock就没有任何用;否则cpu会锁住总线然后load到cache里面去

liuiang

加lock即可。

blackoil

回复 2# egmkang
根据手册，处理器会自动锁缓存或者LOCK#共享内存区。只要不会#UD就可以了。

   

liuiang

事实上我也没想明白，对于非对齐访问加lock是什么行为！！！

blackoil

READ MODIFY WRITE操作是会分解为2次存取内存的操作，在并发环境中这2次操作中有可能不是连贯的。所以要加锁，这个应该不关是否对齐的问题。

liuiang

我就说我无法理解么，专门查了一下，对于lock前缀的指令，访问的memroy必须满足对齐的要求。

blackoil

The integrity of the LOCK prefix is not affected by the alignment of the memory field. Memory locking is observed
for arbitrarily misaligned fields.

好像是说不对齐都可以，我没理解错吧

liuiang

多谢楼上，确实是，是我理解的有问题，大体看了一下，没看仔细，因为看了紧接着一堆描述对齐的情况，所以想当然认为是对齐的。

刚才写了个程序测试，确实不对齐也可以用lock前缀访问，包括跨cache line和跨page，都可以不对齐访问。

The LOCK semantics are followed for as many bus cycles as necessary to update the entire operand.

猜测：many bus cycles除了指一些协议的锁操作，也包括关于不对齐的处理。

blackoil

应该就是访问不对齐的内存操作数需要2个以上总线周期，这些周期都要被锁定。