对int变量的赋值是原子操作吗?

JohnBull

还没争完？？？？
其实就一句话：
CPU不会在一条指令执行期间响应任何中断，其余自己想想就完了。

JohnBull

原帖由 mik 于 2006-8-12 21:09 发表
呵呵~~ 若你没记错的话，那就更能说明为什么要在多CPU系统中锁总线了。

锁总线的性能是不能接受的！
现在的基于共享存储的UMA SMP设计，都是使用CACHE来回避总线占用，并采用特定手段解决缓存一致性的问题。

实际上这个帖子的主题根本牵扯不到这个问题。

dongpy

支持whyglinux的观点～

int赋值操作，不管被分解成多少个汇编指令，只要保证仅有一条指令，完成对目标操作数（即多个线程共享那个变量）的访问，那么这个赋值过程就是原子的，因为那个写操作数的指令是不会被打断的。  

赋值操作中的其余指令只不过是一些辅助操作，比如从局部变量MOV到寄存器，这些操作被中断不会影响整个操作的原子性（因为有现场保护）。

Alligator27

我觉得一个操作是否原子, 要看该操作是否需要多次使用数据总线. 而不是几条指令.

大多数int赋值(立即数)只要一次memory cycle. 是原子的. 另外象 a=b 或 a++, 也许只要一条指令, 但必需读写两个memory cycle, 不是原子的, 需要加锁.

现在的CPU向多核发展, 同步是很重要的. 但code不能依赖某些硬件的实现, 先要保证正确.

思一克

在INTELX86 LINUX 单CPU下（根据LINUX atomic.h代码可以推断在许多其它平台也一样），
应用程序的全局int的读写（无论多thread，还是多PROCESS的shmem)都是原子的。不需要LOCK，放心地使用吧。

此时，C变为一条还是多条汇编无关，原因前面说过了。

多SMP下最好有人帮实验一下。

思一克

这个程序哪位在SMP LINUX机器上帮运行一下。

gcc -lpthread atomic.c -o testa
./testa      没有参数就是用原子复制
./testa X   有任何参数就是故意不用原子复制

如果不是原子的，程序会退出，否则一直跑。还可以观察到count被其它THREAD改了的情况

1. 
   
2. # include <stdio.h>
   
3. # include <stdlib.h>
   
4. # include <pthread.h>
   
5. # include <unistd.h>
   
6. 
   
7. int not_atomic = 0;
   
8. int runFlag = 1;
   
9. int count = 0;
   
10. 
    
11. void *testa( int id );
    
12. 
    
13. int main( int argc, char **argv )
    
14. {
    
15.     pthread_t thread;
    
16.     int i, ret;
    
17. 
    
18.     if(argc > 1 && argv[0][0]) not_atomic = 1;
    
19. 
    
20.     for( i = 0; i < 8; i++ ){
    
21.         ret = pthread_create( &thread, NULL, (void *(*)(void *))testa, (void *)i );
    
22.         if ( ret != 0 ){
    
23.             perror( "pthread_create" );
    
24.             exit(-1);
    
25.         }
    
26.     }
    
27.     while(runFlag) sleep(5);
    
28.     return 0;
    
29. }
    
30. 
    
31. 
    
32. void *testa( int id )
    
33. {
    
34.     int i;
    
35.     unsigned int k, v;
    
36. 
    
37.     k = 0x11111111*id;
    
38.     while(runFlag){
    
39.         for( i=0; i<10000; i++ ){
    
40.            if(not_atomic == 0) {
    
41.                 count = k;
    
42.            } else {
    
43.                 ((short*)&count)[0] = ((short*)&k)[0];
    
44.                 ((short*)&count)[1] = ((short*)&k)[1];
    
45.            }
    
46.            if(count != k)
    
47.                 printf("%08x %08x\n", k, count);
    
48. 
    
49.            v = count;
    
50.            if((v & 0x0000ffff) != (v >> 16)) {
    
51.                 printf("NOT ATOMIC VALUE FOUND: %p %p\n", v, count);
    
52.                 runFlag = 0;
    
53.            }
    
54.         }
    
55.     }
    
56.     return NULL;
    
57. }
    
58. 
    

复制代码

思一克

我找到SMP（2个CPU），运行结果也是和单个CPU一样

kk_00

楼主的问题是不是可以改成:
对于各种CPU来说,中断请求的优先级以及**是否**允许中断的条件判断都是怎么样的. 另外该CPU对延时处理都采用什么方式?