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。