原子操作的目的
原子操作的目的是实现对多线程共享的变量进行原子性的操作。这些操作包含读取、设置、加、减、交换(xchg)等等。例如线程A和B共享变量V,且V的初始值是1。线程A和B分别进行如下操作:
A B
V+1 V+1
当CPU实现加一操作时,有可能先从内存读取V的值,在CPU中加一,再写回内存。这样的三步操作有可能和另一个CPU的操作交织在一起。例如经过下面的操作序列,本来的目的是A,B分别对V加一,结果最终V的值变成了2而非3。由于线程调度的原因,同样的问题对于单CPU的情况一样可能出现。
A | V->register | register=1 |
B | V->register | register=1 |
A | register++ | register=2 |
B | register++ | register=2 |
A | register->V | V=2 |
B | register->V | V=2 |