java内存屏障与JVM并发详解.docVIP

深入Java底层：内存屏障与JVM并发详解(1) 2010-04-27 09:17 Dennis Byrne infoQ?我要评论(0)?字号：T?|?T 本文介绍了内存屏障对多线程程序的影响，同时将研究内存屏障与JVM并发机制的关系，如易变量（volatile）、同步（synchronized）和原子条件式（atomic conditional）。 AD： 内存屏障，又称内存栅栏，是一组处理器指令，用于实现对内存操作的顺序限制。本文假定读者已经充分掌握了相关概念和Java内存模型，不讨论并发互斥、并行机制和原子性。内存屏障用来实现并发编程中称为可见性（visibility）的同样重要的作用。 关于JVM更多内容，请参阅：JVM详解 Java虚拟机原理与优化 内存屏障为何重要？ 对主存的一次访问一般花费硬件的数百次时钟周期。处理器通过缓存（caching）能够从数量级上降低内存延迟的成本这些缓存为了性能重新排列待定内存操 作的顺序。也就是说，程序的读写操作不一定会按照它要求处理器的顺序执行。当数据是不可变的，同时/或者数据限制在线程范围内，这些优化是无害的。 如果把这些优化与对称多处理（symmetric multi-processing）和共享可变状态（shared mutable state）结合，那么就是一场噩梦。当基于共享可变状态的内存操作被重新排序时，程序可能行为不定。一个线程写入的数据可能被其他线程可见，原因是数据 写入的顺序不一致。适当的放置内存屏障通过强制处理器顺序执行待定的内存操作来避免这个问题。 内存屏障的协调作用 内存屏障不直接由JVM暴露，相反它们被JVM插入到指令序列中以维持语言层并发原语的语义。我们研究几个简单Java程序的源代码和汇编指令。首先快速看一下Dekker算法中的内存屏障。该算法利用volatile变量协调两个线程之间的共享资源访问。 请不要关注该算法的出色细节。哪些部分是相关的？每个线程通过发信号试图进入代码第一行的关键区域。如果线程在第三行意识到冲突（两个线程都要访问），通 过turn变量的操作来解决。在任何时刻只有一个线程可以访问关键区域。 ?//?code?run?by?first?thread?????//?code?run?by?second?thread ? ? ?1????intentFirst?=?true;??????????intentSecond?=?true; ? ?2 ? ?3????while?(intentSecond)???while?(intentFirst)???????//?volatile?read ? ?4?????if?(turn?!=?0)?{??????if?(turn?!=?1)?{???????//?volatile?read ? ?5???????intentFirst?=?false;????????intentSecond?=?false; ? ?6???????while?(turn?!=?0)?{}????????while?(turn?!=?1)?{} ? ?7???????intentFirst?=?true;????????intentSecond?=?true; ? ?8?????}???????????????} ? ?9 ? 10????criticalSection();???criticalSection(); ? 11 ? 12????turn?=?1;?????turn?=?0;?????????????????//?volatile?write ? 13????intentFirst?=?false;???intentSecond?=?false;?????//?volatile?write? 硬件优化可以在没有内存屏障的情况下打乱这段代码，即使编译器按照程序员的想法顺序列出所有的内存操作。考虑第三、四行的两次顺序volatile读操 作。每一个线程检查其他线程是否发信号想进入关键区域，然后检查轮到谁操作了。考虑第12、13行的两次顺序写操作。每一个线程把访问权释放给其他线程， 然后撤销自己访问关键区域的意图。读线程应该从不期望在其他线程撤销访问意愿后观察到其他线程对turn变量的写操作。这是个灾难。 但是如果这些变量没有 volatile修饰符，这的确会发生！例如，没有volatile修饰符，第二个线程在第一个线程对turn执行写操作（倒数第二行）之前可能会观察到 第一个线程对intentFirst(倒数第一行)的写操作。关键词volatile避免了这种情况，因为它在对turn变量的写操作和对 intentFirst变量的写操作之间创建了一个先后关系。编译器无法重新排序这些写操作，如果必要，它会利用一