重排序
重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段。
1 数据依赖
分为三种类型
名称 | 代码示例 |
---|---|
写后读 | a = 1; b = a; |
写后写 | a = 1; a = 2; |
读后写 | a = b; b = 1 |
重排序上面两个操作的执行顺序,程序的执行结果就会被改变。
**注意:**不同处理器之间和不同线程之间的数据依赖性不被编译器和处理器考虑!!
2 as-if-serial 语义
含义:不管怎么重排序,(单线程)程序的执行结果不能被改变。
比如:
double pi = 3.14; // A
double r = 1.0; // B
double area = pi * r * r; // C
上面3个操作的数据依赖关系如下图:
A和B之间没有数据依赖关系,编译器和处理器可以重排序A和B之间的执行顺序!
即:
3 程序顺序规则
根据happens-before的程序顺序规则,上面计算圆的面积的示例代码存在3个happens-before
关系。
- A happens-before B
- B happens-before C
- A happens-before C (根据传递性推导出来的)
4 重排对多线程的影响
这里用代码的方式来进行阐述
class ReorderExample {
int a = 0;
boolean flag = false;
public void writer() {
a = 1; // 1
flag = true; // 2
}
Public void reader() {
if (flag) { // 3
int i = a * a; // 4
}
}
public static void main(String[] args) {
ReOrderExample example = new ReOrderExample();
new Thread(()->{
example.writer();
},"A").start();
new Thread(()->{
example.reader();
},"B").start();
}
}
假设这边有两个线程A,B去执行这两个方法。
- 如果重排序把1/2的顺序交换
代码:
int a = 0;
boolean flag = false;
public void writer() {
flag = true; // 1
// 为了强调重排的影响,这里没有使用sleep/wait等
for (int i = 0;i<100000;i++){}
a = 1; // 2
}
public void reader() {
if (flag) { // 3
int i = a*a; // 4
System.out.println(i);
}
}
Output:
0
明显与预期不符合
- 若 3 和 4 重排序
这里明显看出破坏了原过程的语义!
5 总结
-
在单线程程序中,对存在控制依赖的操作重排序,不会改变执行结果(这也是as-if-serial语义允许对存在控制依赖的操作做重排序的原因);
-
但在多线程程序中,对存在控制依赖的操作重排序,可能会改变程序的执行结果。
next:happen-before 解析