面試篇:虛擬機棧5連問?一聽心里就樂了
面試路上
“滴,滴滴......”師傅我們到哪了?我還要趕著面試呢。
「師傅:」 快了快了,下個路口就到了。真是服了這幫人了,不會開車凈往里湊。
聽著司機師傅的抱怨聲,不禁想起首打油詩:滿目尾燈紅,耳盈刺笛聲。心憂遲到久,頹首似雷轟。
一下車趕緊小跑就進了富麗堂皇的酒店,不不不,是商務樓,這大廳有點氣派,讓我有點想入非非呀。
面試經過
“咚咚咚”,“請進”。
「面試官:」 小伙子長得挺帥呀,年輕人就是有活力,來先做個簡單的自我介紹吧。
「阿Q:」 面試官你好,My name is “影流之主”,來自艾歐尼亞,是LOL中的最強中單(不接受反駁),論單殺沒有服過誰。我的口頭禪是“無形之刃,最為致命”,當然你也可以叫我阿Q,這是我的簡歷。
「面試官:」 阿Q,那咱也不寒暄了,直接切正題吧。看你jvm寫的知識點最多,那就先說一下你對虛擬機棧的理解吧。
「阿Q:」 內心OS:這波可以吹X了。咳...咳...虛擬機棧早期也叫java棧,是在jvm的運行時數據區存在的一塊內存區域。它是線程私有的,隨線程創建而創建,隨線程消亡而結束。
嗯。。。假裝想一下??
眾所周知,棧只有進棧和出棧兩種操作,所以它是一種快速有效的分配存儲方式。對于它來說,它不存在垃圾回收問題,但是它的大小是動態的或者固定不變的,因此它會存在棧溢出或者內存溢出問題......
「面試官:」 打斷一下啊,你剛才說會存在棧溢出和內存溢出問題,那你能分別說一下為什么會出現這種情況嗎?
「阿Q:」 可以可以,我們知道虛擬機棧由棧幀組成,每一個方法的調用都對應著一個棧幀的入棧。我們可以通過-Xss參數來設置棧的大小,假設我們設置的虛擬機棧大小很小,當我們調用的方法過多,也就是棧幀過多的話,就會出現StackOverflowError,即棧溢出問題。
假如我們的棧幀不固定,設置為動態擴展的,那在我們的內存不足時,也就沒有足夠的內存來支持棧的擴展,這個時候就會出現OOM異常,即內存溢出問題。
「面試官:」 嗯嗯(點頭狀),示意小伙子思路很清晰呀,那你剛才說到棧幀設置的太小會導致棧幀溢出問題,那我們設置的大點不就可以完全避免棧溢出了嘛。
「阿Q:」 一聽就是要給我挖坑呀,像我們一般都比較崇尚中庸之道,所以一聽到這種絕對的問題,必須機靈點:不不不,調整棧的大小只可以「延緩」棧溢出的時間或者說減少棧溢出的風險。
舉個例子吧
假如一個業務邏輯的方法調用需要5000次,但是此時拋出了棧溢出的錯誤。我們可以通過設置-Xss來獲取更大的棧空間,使得調用在7000次時才會溢出。此時調整棧大小就變得很有意義,因為這樣就會使得業務能正常支持。
那假如是有「死遞歸」的情況則無論怎么提高棧大小都會溢出,這樣也就沒有任何意義了。
「面試官:」 好的,那你看一下這個簡單的小程序,你能大體說一下它在內存中的執行過程嗎?
- public void test() {
- byte i = 15;
- int j = 8;
- int k = i + j;
- }
來張圖,便于大家更好地理解
「阿Q:」 先把該代碼編譯一下,然后查看它的字節碼文件。如上圖中左邊所示,執行過程如下:
- 首先將要執行的指令地址0存放到PC寄存器中,此時,局部變量表和操作數棧的數據為空;
- 當執行第一條指令bipush時,將操作數15放入操作數棧中,然后將PC寄存器的值置為下一條指令的執行地址,即2;
- 當執行指令地址為2的操作指令時,將操作數棧中的數據取出來,存到局部變量表的1位置,因為該方法是實例方法,所以0位置存的是this的值,PC寄存器中的值變為3;
- 同步驟2和3將8先放入操作數棧,然后取出來存到局部變量表中,PC寄存器中的值也由3->5->6;
- 當執行到地址指令為6、7、8時,將局部變量表中索引位置為1和2的數據重新加載到操作數棧中并進行iadd加操作,將得到的結果值存到操作數棧中,PC寄存器中的值也由6->7->8->9;
- 執行操作指令istore_3,將操作數棧中的數據取出存到局部變量表中索引為3的位置,執行return指令,方法結束。
「面試官:」 內心OS:這小子貌似還可以呀。說的還不錯,那你能說一下方法中定義的局部變量是否線程安全嗎?
「阿Q:」 那我再用幾個例子來說一下吧。
- public class LocalParaSafeProblem {
- /**
- * 線程安全的
- * 雖然StringBuilder本身線程不安全,
- * 但s1 變量只存在于這個棧幀的局部變量表中,
- * 因為棧幀是每個線程獨立的一份,
- * 所以這里的s1是線程安全的
- */
- public static void method01() {
- // 線程內部創建的,屬于局部變量
- StringBuilder s1 = new StringBuilder();
- s1.append("a");
- s1.append("b");
- }
- /**
- * 線程不安全
- * 因為此時StringBuilder是作為參數傳入,
- * 外部的其他線程也可以訪問,所以線程不安全
- */
- public static void method02(StringBuilder stringBuilder) {
- stringBuilder.append("a");
- stringBuilder.append("b");
- }
- /**
- * 線程不安全
- * 此時StringBuilder被多個線程同時操作
- */
- public static void method03() {
- StringBuilder stringBuilder = new StringBuilder();
- new Thread(() -> {
- stringBuilder.append("a");
- stringBuilder.append("b");
- }, "t1").start();
- method02(stringBuilder);
- }
- /**
- * 線程不安全
- * 因為此時方法將StringBuilder返回出去了
- * 外面的其他線程可以直接修改StringBuilder這個引用了所以不安全
- */
- public static StringBuilder method04() {
- StringBuilder stringBuilder = new StringBuilder();
- stringBuilder.append("a");
- stringBuilder.append("b");
- return stringBuilder;
- }
- /**
- * StringBuilder是線程安全的
- * 此時stringBuilder值在當前棧幀的局部變量表中存在,
- * 其他線程無法訪問到該引用,
- * 方法執行完成之后此時局部變量表中的stringBuilder的就銷毀了
- * 返回的stringBuilder.toString()線程不安全
- * 最后的返回值將toString返回之后,其他線程可以操作而String本身是線程不安全的。
- */
- public static String method05() {
- StringBuilder stringBuilder = new StringBuilder();
- stringBuilder.append("a");
- stringBuilder.append("b");
- return stringBuilder.toString();
- }
- }
看到這估計會有點繞,那我就總結一下吧:如果對象是在方法內部產生且在內部消亡,不會返回到外部就不存在線程安全問題;反之如果類本身線程不安全的話就存在線程安全問題。
「面試官:」 不錯不錯,有理有據,那你再說說你對堆內存的理解吧。
「阿Q:」 唉,今天太累了,說了一天這個了,不想說了。
「面試官:」 那好吧,那我們今天先到這吧,回去等通知吧。
本文轉載自微信公眾號「阿Q說代碼」,可以通過以下二維碼關注。轉載本文請聯系阿Q說代碼公眾號。