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

mingjwan

请问对int变量的赋值是原子操作吗?
会不会出现一个线程赋了两个字节,另一个线程来读取数据的情况呢?

isjfk

C 里面没有原子的概念吧，应该是平台相关的。至少在 51 单片机上面，一个 int 赋值就会编译成好几条汇编语句。

isnowran

：）当然不会

isnowran

原帖由 isjfk 于 2006-8-4 09:35 发表
C 里面没有原子的概念吧，应该是平台相关的。至少在 51 单片机上面，一个 int 赋值就会编译成好几条汇编语句。

老兄，话不能这么讲，否则就没有原子操作了，毕竟一条汇编语句机器还要分解为若干微指令。
原子操作只是协议上的一种保证罢了，保证原子语句在执行期间不会被打断（停电除外），至于这条语句或函数是由多少条组成的，那就不关心了；）

isjfk

原帖由 isnowran 于 2006-8-4 09:41 发表

老兄，话不能这么讲，否则就没有原子操作了，毕竟一条汇编语句机器还要分解为若干微指令。
原子操作只是协议上的一种保证罢了，保证原子语句在执行期间不会被打断（停电除外），至于这条语句或函数是由多少条组 ...

所以我说在 51 上面 C 的 int 赋值不是原子的，因为肯定有可能会被中断打断一个正在进行的赋值操作。

C 本来就没有原子的概念，这个是跟平台相关的。一般来说 IA32 平台 int 的赋值应该是原子的。

coldwarm

首先，c语言是一种高级语言，他的一条语句可能对应着若干条机器指令。

如果用常量对一个变量进行赋值操作的话，编译器可能会将其转化成一条立即数向存储区传送的指令。

如果是变量对变量赋值的话，由于无法在存储器和存储器之间直接进行传送操作（如果可以的话，指令的长度太长），一般都是使用一个寄存器作为中间的缓冲，这样的话，至少会出现两条机器指令。这种情况下，就不是原子操作了。

在cpu执行指令的过程中，不会出现一条机器指令被中断执行的情况。但是如果有若干条指令的话，就无法保证这些指令的执行是原子性的，除非你使用临界区。

mingjwan

谢谢两位的赐教.那么我想在一般的unix,linux操作系统中.int的赋值应该是原子的了吧.

dzbjet

不会是原子操作吧？ 要么还要atomic_t类型干什么？

思一克

对与应用程序的THREAD来说，一个全局的INT的 赋值 应该是原子的。
但一个INT的 用32个循环的位赋值 就不是原子的。

INT的 赋值可能被C搞成多个指令（还会用到寄存器），但最后的一个一定是一个INT操作指令，而不会一个字节一个字节的4次赋值。
既然如此，如果被中断，中断程序会保存运行环境，回来后恢复环境继续。
如果被调度，回来后也会继续。

INT始终是一个整体。数值要么还没有变，要变在一条汇编指令中4个字节一下变完。不可能有一半变了，一半没有变的情况。

思一克

在INTEL 386上，linux内核中，整数赋值 也是原子的。

看atomic_t的定义，就定义为一个整数。
atomic_set()和atomic_read()就是一个赋值汇编语句。没有用lock.

但atomic_add(NNNN, a) 用 LOCK addl NNNN, a;

所以对于应用程序的线程来说, int的赋值，取值一定是原子的。