天天看點

【高并發】面試官問我:為啥局部變量是線程安全的?

著名的斐波那契數列

記得上學的時候,我們都會遇到這樣一種題目,列印斐波那契數列。斐波那契數列是這樣的一個數列:1、1、2、3、5、8、13、21、34...,也就是說第1項和第2項是1,從第3項開始,每一項都等于前2項之和。我們可以使用下面的代碼來生成斐波那契數列。

//生成斐波那契數列
public int[] fibonacci(int n){
    //存放結果的數組
    int[] result = new int[n];
    //數組的第1項和第2項為1
    result[0] = result[1] = 1;
    //計算第3項到第n項
    for(int i = 2; i < n; i++){
        result[i] = result[i-2] + result[i-1];
    }
    return result;
}      

假設此時有很多個線程同時調用fibonacci()方法來生成斐波那契數列,對于方法中的局部變量result,會不會存線上程安全的問題呢?答案是:不會!!

接下來,我們就深入分析下為什麼局部變量不會存線上程安全的問題!

方法是如何被執行的?

我們以下面的三行代碼為例。

int x = 5;
int[] y = fibonacci(x);
int[] z = y;      

當我們調用fibonacci(x)時,CPU要先找到fibonacci()方法的位址,然後跳轉到這個位址去執行代碼,執行完畢後,需要傳回并找到調用方法的下一條語句的位址,也就是int[] z = y的位址,再跳到這個位址去執行。我們可以将這個過程簡化成下圖所示。

【高并發】面試官問我:為啥局部變量是線程安全的?

這裡需要注意的是:CPU會通過堆棧寄存器找到調用方法的參數和傳回位址。

例如,有三個方法A、B、C,調用關系為A調用B,B調用C。在運作時,會建構出相應的調用棧,我們可以用下圖簡單的表示這個調用棧。

【高并發】面試官問我:為啥局部變量是線程安全的?

每個方法在調用棧裡都會有自己獨立的棧幀,每個棧幀裡都有對應方法需要的參數和傳回位址。當調用方法時,會建立新的棧幀,并壓入調用棧;當方法傳回時,對應的棧幀就會被自動彈出。

我們可以這樣說:棧幀是在調用方法時建立,方法傳回時“消亡”。

局部變量存放在哪裡?

局部變量的作用域在方法内部,當方法執行完,局部變量也就沒用了。可以這麼說,方法傳回時,局部變量也就“消亡”了。此時,我們會聯想到調用棧的棧幀。沒錯,局部變量就是存放在調用棧裡的。此時,我們可以将方法的調用棧用下圖表示。

【高并發】面試官問我:為啥局部變量是線程安全的?

很多人都知道,局部變量會存放在棧裡。如果一個變量需要跨越方法的邊界,就必須建立在堆裡。

調用棧與線程

兩個線程就可以同時用不同的參數調用相同的方法。那麼問題來了,調用棧和線程之間是什麼關系呢?答案是:每個線程都有自己獨立的調用棧。我們可以使用下圖來簡單的表示這種關系。

【高并發】面試官問我:為啥局部變量是線程安全的?

此時,我們再看下文中開頭的問題:Java方法内部的局部變量是否存在并發問題?答案是不存在并發問題!因為每個線程都有自己的調用棧,局部變量儲存線上程各自的調用棧裡,不會共享,自然也就不存在并發問題。

線程封閉

方法裡的局部變量,因為不會和其他線程共享,是以不會存在并發問題。這種解決問題的技術也叫做線程封閉。官方的解釋為:僅在單線程内通路資料。由于不存在共享,是以即使不設定同步,也不會出現并發問題!

好了,今天就到這兒吧,我是冰河,我們下期見!!