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

mik

原帖由 gvim 于 2006-8-11 12:29 发表
>>>b = a;
movl a, %eax  //1
movl %eax, b  //2

1，2之间发生中断，会发生不一致。
b = a;被分开了，何来原子？
int是高级语言中的概念，所以"int变量赋值"不是原子的。
OS理论书籍的 ...

在你举的赋值语句之间,发生中断的可能性是非常之小的，
   我的印象中，总的来说，中断为二类：1、软中断，由软件调用 int 指令实现； 2、硬件中断，又可以归纳为二类：可屏蔽的中断和不可屏蔽的中断。硬件中断需要某一条件才发生。

   基于中断类型来看，要在赋值语句之间发生中断，那么，软中断和可屏中断不太可能会发生吧。不可屏蔽中断，有一些是CPU内部产生的一些中断，如：0号除零中断，3号debug中断等，有一些是硬件中断，如：时间中断。

除零中断和debug中断就不用说了，赋值语句不会发生的。

中断指令的时钟周期远远大于mov语句，所以，赋值语句之间不太可能中断情形！

mq110

要知道,在计算机的内部,概率很低的事情是经常会发生的,因为运算速度很快.

思一克

to gvim,

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

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

思一克

to gvim,

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

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

mq110

原帖由 思一克 于 2006-8-11 13:20 发表
to gvim,

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

你说的情况在KERNEL中当然会存在。所以才有那么多锁之类的东西。而且还有注意许多可以做的和不可以做了。你可以看看KERNEL中的atomi ...

atomic 是硬件实现的.  而应用层int 赋值未必这么做.

思一克

TO gvim,

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

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

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

mq110

而且此类问题,在进程间切换的时候也会发生,当两个进程共享一个int 型的变量的时候.

寄存器的赋值 和 对内存的修改不能一条指令完成的时候, 就要加锁. 因为对int型的变量操作不是原子的.

这也是共享内存的时候要用信号量的原因.

mik

原帖由 mq110 于 2006-8-11 13:27 发表
而且此类问题,在进程间切换的时候也会发生,当两个进程共享一个int 型的变量的时候.

寄存器的赋值 和 对内存的修改不能一条指令完成的时候, 就要加锁. 因为对int型的变量操作不是原子的.

这也是共享内存的时 ...

加 LOCK  是用在多CPU的系统上, 另一CPU 用修改,系统shard内存, 需要LOCK,锁总线

flw

我支持 mq110 和 gvim 的说法。
不过我之前写的那个程序并不好，所以我现在不再就这个话题说什么了。

思一克

这个程序也是来自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. 
    

复制代码