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

Alligator27

原帖由 isjfk 于 2006-8-10 08:41 发表

机器指令总是具有原子性的，不可能被中断（除非断电或者硬件设计问题）。

前面不是有人说, INC/DEC/ADD 指令不是原子的吗?

Alligator27

原帖由 assiss 于 2006-8-11 17:16 发表
请问，到底什么是原子的？
以系统调用为例，哪个系统调用可以说是原子的？

以write(fd=STDERR_FILENO, buff, len=4)为例，
假设write需要2个mov就可以完成（多么有效率的系统啊）
mov1
...被打断，另一线程 ...

他们讨论的是机器底层的原子操作. 及一条或多条指令操作, 从开始到结束, 内存变量保持完整一致. 不受中断和别的CPU竞争的影响. 从外部看, 内存变量要么没变, 要么变成原子操作的结果, 其间不可能有第三种可能.

你说的系统调用read/write的原子性, 是狭义的逻辑的原子操作. 及对所有的应用程序, 看到的, 或能改变的(别的read/write请求), 要么是write前的内容, 要么是write后的内容, 不可能在中间. 当然kernel是可以看到,甚至更改中间结果的.

个人理解.

Alligator27

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

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

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