1.happens-before规则
Happen-before是用来指定两个操作之间的执行顺序,提供跨线程的内存可见性。在Java内存模型中,如果一个操作执行的结果需要对另一个操作可见,那么这两个操作之间必然存在happen-before关系。Happen-before规则如下:程序顺序规则、监视锁规则、volatile变量规则、传递性、Start规则、Join规则。
2.程序顺序规则
单个线程中的每个操作,总是前一个操作happens-before于该线程中的任意后续操作。
public class Demo {
public static void main(String[] args) {
int a = 1; //1
int b = a; //2
int c = a + b; //3
System.out.println(c);//4
}
}
1happens-before2,2happens-before3,3happens-before4。注意是前一个操作happens-before于后续操作,但不是指执行顺序而是指内存可见性,执行顺序有可能被重排序,导致后续代码比前面的代码先执行。
3.监视器规则
对一个锁的解锁,总是happens-before于随后对这个锁的加锁。
public class Demo {
private Lock lock = new ReentrantLock();
public void a() {
lock.lock();
System.out.println("a");
lock.unlock(); //1
}
public void b() {
lock.lock(); //2
System.out.println("b");
lock.unlock();
}
}
1happens-before2。
4.volatile变量规则
对一volatile域的读写,happens-before于任意后续对这个volatile域的读。
public class Demo1 {
private volatile int value = 0;
public void a() {
value = 2; //1
}
public void b() {
int c = value; //2
}
}
1happens-before2。
5.传递性规则
A happens-before B B happens-before C 则 A happens-before C。
public class Demo {
public static void main(String[] args) {
int a = 1; //1
int b = a; //2
int c = a + b; //3
System.out.println(c);//4
}
}
1happens-before2,2happens-before3,得知1happens-before3。
6.start规则
在A线程中调用B线程,A线程中的代码happens-beforeB线程中的代码。
public class Demo {
private volatile int value = 0;
public void a() {
System.out.println("a"); //1
new Thread(new Runnable() {
@Override
public void run() {
System.out.println("c");// 2
}
}).start();
}
}
1happens-before2。
7.join规则
Join的线程happens-before于被加塞的线程。
public class Demo {
private volatile int value = 0;
public void a() throws InterruptedException {
new Thread(new Runnable() {
@Override
public void run() {
System.out.println("c");// 1
}
}).join();
System.out.println("a"); //2
}
}
1happens-before2。