1、什么是Happens-Before?
简单来说,A操作Happens-Before B操作,那A操作的结果就对B操作可见。Happens-Before主要来结果可见性的。
2、Happens-Before规则有哪些
2.1、程序顺序规则(单线程)
在一个线程中,如果B操作需要A操作的结果,那A操作的结果肯定对B可见。如下代码,由于执行重排序,A操作和C操作可能不是按顺序进行,但B操作一定在A操作和C操作之后执行。可以称作A操作Happens-Before B操作
int a = 0;
int b = a + 1; // A操作
int c = a + 2; // C操作
int d = b + c; // B操作
2.2、锁规则
对于同一个锁N,如果两个线程A、B同时竞争锁N,如果A先得到锁,那么A线程操作的结果将对B线程可见,可以称作A操作Happens-Before B操作。
// 线程A
synchronized ("a") {
a = 1;
}
// 线程B
synchronized ("a") {
b = a + 1;
}
2.3、volatile
只要保证线程A完成了写操作&#x