本文共 1083 字,大约阅读时间需要 3 分钟。
int a = 10 // 1 int b = 100 // 2int c = a // 3
实际的执行过程可能会是:1-3-2,而不是:1-2-3;因为第一步获取a的值后,第三部仍然需要使用,此时,由于第二步并不会干扰单线程下程序了逻辑,将会直接执行3,再执行2.避免二次读取a值。(只是说明可能的原理,例子并不一定正确)
数据依赖性(as-if-serial)
happens-before 规则
语义:如果A先发生于B,那么A所做的所有改变都能被B看到 Happens-before是用来指定两个操作之间的执行顺序。提供跨线程的内存可见性。在Java内存模型中,如果一个操作执行的结果需要对另一个操作可见,那么这两个操作之间必然存在happens-before关系。遵循的规则:
* 程序顺序规则:一个线程中的每个操作,happens- before 于该线程中的任意后续操作。 * 监视器锁规则:对一个监视器锁的解锁,happens- before 于随后对这个监视器锁的加锁。 * volatile变量规则:对一个volatile域的写,happens- before 于任意后续对这个volatile域的读。 * 传递性:如果A happens- before B,且B happens- before C,那么A happens- before C。锁和volatile的内存语义:(JMM)
final域的重排序规则
对于final域,编译器和处理器要遵守两个重排序规则1> 在构造函数内对一个final域的写入,与随后把这个构造函数的引用赋值给一个引用变量,两个操作不能重排序
2> 初次读一个包含final域对象的引用,和随后初次读这个final域,这两个操作不能重排序
转载地址:http://nhepi.baihongyu.com/