面试必备:Java 原子操作的实现原理[精品长文]
本文整理自《java并发编程的艺术》第二章 作者:方腾飞 魏鹏 程晓明
原子(atomic)本意是“不能被进一步分割的最小粒子”,而原子操作(atomic operation)意为“不可被中断的一个或一系列操作”。在多处理器上实现原子操作就变得有点复杂。让我们一起来聊一聊在intel处理器和java里是如何实现原子操作的。
术语定义
在了解原子操作的实现原理前,先要了解一下相关的术语:
术语名称 | 英文 | 解释 |
---|---|---|
缓存行 | cache line | 缓存的最小操作单位 |
比较并交换 | compare and swap | cas操作需要输入两个数值,一个旧值(期望操作前的值)和一个新值,在操作期间先比较旧值有没有发生变化,如果没有发生变化,才交换成新值,发生了变化则不交换。 |
cpu流水线 | cpu pipeline | cpu流水线的工作方式就像工业生产上的装配流水线,在cpu中由5~6个不同功能的电路单元组成一条指令处理流水线,然后将一条x86指令分成5~6步后再由这些电路单元分别执行,这样就能实现在一个cpu时钟周期完成一条指令,因此提高cpu的运算速度 |
内存顺序冲突 | memory order violation | 内存顺序冲突一般是由假共享引起的,假共享是指多个cpu同时修改同一个缓存行的不同部分而引起其中一个cpu的操作无效,当出现这个内存顺序冲突时,cpu必须清空流水线 |
处理器如何实现原子操作
32位ia-32处理器使用基于对缓存加锁或总线加锁的方式来实现多处理器之间的原子操作。首先处理器会自动保证基本的内存操作的原子性。处理器保证从系统内存中读取或者写入一个字节是原子的,意思是当一个处理器读取一个字节时,其他处理器不能访问这个字节的内存地址。pentium 6和最新的处理器能自动保证单处理器对同一个缓存行里进行16/32/64位的操作是原子的,但是复杂的内存操作处理器是不能自动保证其原子性的,比如跨总线宽度、跨多个缓存行和跨页表的访问。但是,处理器提供总线锁定和缓存锁定两个机制来保证复杂内存操作的原子性。
在intel 2019年的文档中,该部分阐述基本不变,具体可以查考文末intel文档的2957页 8.1 locked atomic operations
使用总线锁保证原子性
第一个机制是通过总线锁保证原子性。如果多个处理器同时对共享变量进行读改写操作(i++就是经典的读改写操作),那么共享变量就会被多个处理器同时进行操作,这样读改写操作就不是原子的,操作完之后共享变量的值会和期望的不一致。举个例子,如果i=1,我们进行两次i++操作,我们期望的结果是3,但是有可能结果是2,如图2-3所示。
原因可能是多个处理器同时从各自的缓存中读取变量i,分别进行加1操作,然后分别写入系统内存中。那么,想要保证读改写共享变量的操作是原子的,就必须保证cpu1读改写共享变量的时候,cpu2不能操作缓存了该共享变量内存地址的缓存。处理器使用总线锁就是来解决这个问题的。所谓总线锁就是使用处理器提供的一个lock#信号,当一个处理器在总线上输出此信号时,其他处理器的请求将被阻塞住,那么该处理器可以独占共享内存。
intel文档的2959页 8.1.2 bus locking
使用缓存锁保证原子性
第二个机制是通过缓存锁定来保证原子性。在同一时刻,我们只需保证对某个内存地址的操作是原子性即可,但总线锁定把cpu和内存之间的通信锁住了,这使得锁定期间,其他处理器不能操作其他内存地址的数据,所以总线锁定的开销比较大,目前处理器在某些场合下使用缓存锁定代替总线锁定来进行优化。
频繁使用的内存会缓存在处理器的l1、l2和l3高速缓存里,那么原子操作就可以直接在处理器内部缓存中进行,并不需要声明总线锁,在pentium 6和目前的处理器中可以使用“缓存锁定”的方式来实现复杂的原子性。所谓“缓存锁定”是指内存区域如果被缓存在处理器的缓存行中,并且在lock操作期间被锁定,那么当它执行锁操作回写到内存时,处理器不在总线上声言lock#信号,而是修改内部的内存地址,并允许它的缓存一致性机制来保证操作的原子性,因为缓存一致性机制会阻止同时修改由两个以上处理器缓存的内存区域数据,当其他处理器回写已被锁定的缓存行的数据时,会使缓存行无效,在如图2-3所示的例子中,当cpu1修改缓存行中的i时使用了缓存锁定,那么cpu2就不能同时缓存i的缓存行。
但是有两种情况下处理器不会使用缓存锁定:
- 第一种情况是:当操作的数据不能被缓存在处理器内部,或操作的数据跨多个缓存行(cache line)时,则处理器会调用总线锁定。
- 第二种情况是:有些处理器不支持缓存锁定。对于intel 486和pentium处理器,就算锁定的内存区域在处理器的缓存行中也会调用总线锁定。针对以上两个机制,我们通过intel处理器提供了很多lock前缀的指令来实现。例如,位测试和修改指令:bts、btr、btc;交换指令xadd、cmpxchg,以及其他一些操作数和逻辑指令(如add、or)等,被这些指令操作的内存区域就会加锁,导致其他处理器不能同时访问它。
intel文档的2961页 8.1.4 effects of a lock operation on internal processor caches
java如何实现原子操作
在java中可以通过锁和循环cas的方式来实现原子操作。
使用循环cas实现原子操作
jvm中的cas操作正是利用了处理器提供的cmpxchg(compare and exchange)指令实现的。自旋cas实现的基本思路就是循环进行cas操作直到成功为止,以下代码实现了一个基于cas线程安全的计数器方法safecount和一个非线程安全的计数器count。
1 private atomicinteger atomici = new atomicinteger(0); 2 private int i = 0; 3 4 public static void main(string[] args) { 5 final counter cas = new counter(); 6 list<thread> ts = new arraylist<thread>(600); 7 long start = system.currenttimemillis(); 8 for (int j = 0; j < 100; j++) { 9 thread t = new thread(new runnable() { 10 @override 11 public void run() { 12 for (int i = 0; i < 10000; i++) { 13 cas.count(); 14 cas.safecount(); 15 } 16 } 17 }); 18 ts.add(t); 19 } 20 for (thread t : ts) { 21 t.start(); 22 } 23 // 等待所有线程执行完成 24 for (thread t : ts) { 25 try { 26 t.join(); 27 } catch (interruptedexception e) { 28 e.printstacktrace(); 29 } 30 } 31 system.out.println(cas.i); 32 system.out.println(cas.atomici.get()); 33 system.out.println(system.currenttimemillis() - start); 34 } 35 36 /** 37 * 使用cas实现线程安全计数器 38 */ 39 private void safecount() { 40 for (; ; ) { 41 int i = atomici.get(); 42 boolean suc = atomici.compareandset(i, ++i); 43 if (suc) { 44 break; 45 } 46 } 47 } 48 49 /** 50 * 非线程安全计数器 51 */ 52 private void count() { 53 i++; 54 }
从java 1.5开始,jdk的并发包里提供了一些类来支持原子操作,如atomicboolean(用原子方式更新的boolean值)、atomicinteger(用原子方式更新的int值)和atomiclong(用原子方式更新的long值)。这些原子包装类还提供了有用的工具方法,比如以原子的方式将当前值自增1和自减1。
cas实现原子操作的三大问题
在java并发包中有一些并发框架也使用了自旋cas的方式来实现原子操作,比如linkedtransferqueue类的xfer方法。cas虽然很高效地解决了原子操作,但是cas仍然存在三大问题。aba问题,循环时间长开销大,以及只能保证一个共享变量的原子操作。
- aba问题。因为cas需要在操作值的时候,检查值有没有发生变化,如果没有发生变化则更新,但是如果一个值原来是a,变成了b,又变成了a,那么使用cas进行检查时会发现它的值没有发生变化,但是实际上却变化了。aba问题的解决思路就是使用版本号。在变量前面追加上版本号,每次变量更新的时候把版本号加1,那么a→b→a就会变成1a→2b→3a。从java 1.5开始,jdk的atomic包里提供了一个类atomicstampedreference来解决aba问题。这个类的compareandset方法的作用是首先检查当前引用是否等于预期引用,并且检查当前标志是否等于预期标志,如果全部相等,则以原子方式将该引用和该标志的值设置为给定的更新值。
1 public boolean compareandset( 2 v expectedreference, // 预期引用 3 v newreference, // 更新后的引用 4 int expectedstamp, // 预期标志 5 int newstamp // 更新后的标志 6 )
-
循环时间长开销大。自旋cas如果长时间不成功,会给cpu带来非常大的执行开销。如果jvm能支持处理器提供的pause指令,那么效率会有一定的提升。pause指令有两个作用:第一,它可以延迟流水线执行指令(de-pipeline),使cpu不会消耗过多的执行资源,延迟的时间取决于具体实现的版本,在一些处理器上延迟时间是零;第二,它可以避免在退出循环的时候因内存顺序冲突(memory order violation)而引起cpu流水线被清空(cpu pipeline flush),从而提高cpu的执行效率。
-
只能保证一个共享变量的原子操作。当对一个共享变量执行操作时,我们可以使用循环cas的方式来保证原子操作,但是对多个共享变量操作时,循环cas就无法保证操作的原子性,这个时候就可以用锁。还有一个取巧的办法,就是把多个共享变量合并成一个共享变量来操作。比如,有两个共享变量i=2,j=a,合并一下ij=2a,然后用cas来操作ij。从java 1.5开始,jdk提供了atomicreference类来保证引用对象之间的原子性,就可以把多个变量放在一个对象里来进行cas操作。
使用锁机制实现原子操作
锁机制保证了只有获得锁的线程才能够操作锁定的内存区域。jvm内部实现了很多种锁机制,有偏向锁、轻量级锁和互斥锁。有意思的是除了偏向锁,jvm实现锁的方式都用了循环cas,即当一个线程想进入同步块的时候使用循环cas的方式来获取锁,当它退出同步块的时候使用循环cas释放锁。
上一篇: 楼上妹纸的小内内掉我家阳台了