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

思一克

to gvim,

应用程序。中断处理不是用户编的，也不会再去改被复制的变量。

你说的情况在KERNEL中当然会存在。所以才有那么多锁之类的东西。而且还有注意许多可以做的和不可以做了。你可以看看KERNEL中的atomic_t 的复制，但也没有你说的情况（我并不是十分了解）。比如在时钟中断中去故意修改KERNEL中的某些全局atomic，会如何？

思一克

to gvim,

应用程序。中断处理不是用户编的，也不会再去改被复制的变量。

你说的情况在KERNEL中当然会存在。所以才有那么多锁之类的东西。而且还有注意许多可以做的和不可以做了。你可以看看KERNEL中的atomic_t 的复制，但也没有你说的情况（我并不是十分了解）。比如在时钟中断中去故意修改KERNEL中的某些全局atomic，会如何？

思一克

TO gvim,

一个
i = j; 语句是这样的

0x08048379 <func1+3>:   mov    0x8049584,%eax
0x0804837e <func1+8>:   mov    %eax,0x8049588

在多THREAD的程序中原子性有问题吗？两个mov之间中断也没有问题吧。系统调度更没有问题。关键是你可以写一个可以证明出问题的程序演示出来。

思一克

这个程序也是来自flw的改动。在SERVER永远不停。只要用不原子的情况就有输出，否则就什么也不说。
可以监视1个月。

再有看这样监视是否合理，还有更好的改进？

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

复制代码

思一克

原子性就是从使用者角度不用加琐来保证数据的一致性。
至于中间是否有中断打断不用管。

谈系统调用的原子性就是这含义。比如write,有数百上千汇编指令，但在许多时候都可以说是原子的。

思一克

在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一样

思一克

to oyscal,

global_var++被翻译成为INC GV, 和赋值不是一个语句。赋值是原子的，在SMP多CPU中也是原子的。INC在SMP中不是原子的。你说的是正确的，但忽略了关键

[ 本帖最后由 思一克 于 2006-8-21 08:44 编辑 ]