复杂指令集与精简指令集的原子操作

复杂指令集与精简指令集的原子操作

以a++的动作为例：

 

在精简指令集下，这个加法操作不是原子的，包括多个汇编步骤，典型的情况包括3个步骤：ldr、add、str，即读取内存数据到CPU寄存器，修改数据，将修改后的数据存入内存（读、修改、写，也叫做RMW原则），如下所示：

在复杂指令集下，可以直接在内存上进行加减动作，一条add汇编指令即可完成，因此在单核情况下，这个a++的动作是原子的。但是，在多核情况下，a++的操作并不是原子的，因为你做a++之前，有可能被其它核上的高优先级线程抢占并先一步做完a++，然后等到你做a++的时候，结果就相当于做了两遍a++，这显然与你的预期结果不符合，因为你期望获得的是做一遍a++的结果。正因如此，我们在编写底层代码的时候，都应该假设当前的环境是多核的，并按照多核环境来编程。