盡可能使用堆棧變量

Peter Haggar
IBM 高級軟件工程師
2000 年 2 月

編者按：這幾篇文章是從《Practical Java》（由 Addison-Wesley 出版）一書節(jié)選而來的。您可以從 Borders.com 訂購該書。請閱讀我們對作者 Peter Haggar 的采訪。

如果您頻繁存取變量，就需要考慮從何處存取這些變量。變量是 static 變量，還是堆棧變量，或者是類的實(shí)例變量？變量的存儲位置對存取它的代碼的性能有明顯的影響？例如，請考慮下面這段代碼：

class StackVars
{
private int instVar;
private static int staticVar;

//存取堆棧變量
void stackAccess(int val)
{
int j=0;
for (int i=0; i<val; i++)
j += 1;
}

//存取類的實(shí)例變量
void instanceAccess(int val)
{
for (int i=0; i<val; i++)
instVar += 1;
} 

//存取類的 static 變量
void staticAccess(int val)
{
for (int i=0; i<val; i++)
staticVar += 1;
}
} 



這段代碼中的每個(gè)方法都執(zhí)行相同的循環(huán)，并反復(fù)相同的次數(shù)。唯一的不同是每個(gè)循環(huán)使一個(gè)不同類型的變量遞增。方法 stackAccess 使一個(gè)局部堆棧變量遞增，instanceAccess 使類的一個(gè)實(shí)例變量遞增，而 staticAccess 使類的一個(gè) static 變量遞增。

instanceAccess 和 staticAccess 的執(zhí)行時(shí)間基本相同。但是，stackAccess 要快兩到三倍。存取堆棧變量如此快是因?yàn)椋琂VM 存取堆棧變量比它存取 static 變量或類的實(shí)例變量執(zhí)行的操作少。請看一下為這三個(gè)方法生成的字節(jié)碼：

Method void stackAccess(int)
 0 iconst_0 //將 0 壓入堆棧。
 1 istore_2 //彈出 0 并將它存儲在局部分變量表中索引為 2 的位置 (j)。
 2 iconst_0 //壓入 0。
 3 istore_3 //彈出 0 并將它存儲在局部變量表中索引為 3 的位置 (i)。
 4 goto 13//跳至位置 13。
 7 iinc 2 1 //將存儲在索引 2 處的 j 加 1。
10 iinc 3 1 //將存儲在索引 3 處的 i 加 1。
13 iload_3//壓入索引 3 處的值 (i)。
14 iload_1//壓入索引 1 處的值 (val)。
15 if_icmplt 7//彈出 i 和 val。如果 i 小于 val，則跳至位置 7。
18 return //返回調(diào)用方法。

Method void instanceAccess(int)
 0 iconst_0 //將 0 壓入堆棧。
 1 istore_2 //彈出 0 并將它存儲在局部變量表中索引為 2 的位置 (i)。
 2 goto 18//跳至位置 18。
 5 aload_0//壓入索引 0 (this)。
 6 dup//復(fù)制堆棧頂?shù)闹挡�將它壓入�?br> 7 getfield #19 <Field int instVar>
//彈出 this 對象引用并壓入 instVar 的值。
10 iconst_1 //壓入 1。
11 iadd //彈出棧頂?shù)膬蓚�(gè)值，并壓入它們的和。
12 putfield #19 <Field int instVar>
//彈出棧頂?shù)膬蓚�(gè)值并將和存儲在 instVar 中。
15 iinc 2 1 //將存儲在索引 2 處的 i 加 1。
18 iload_2//壓入索引 2 處的值 (i)。
19 iload_1//壓入索引 1 處的值 (val)。
20 if_icmplt 5//彈出 i 和 val。如果 i 小于 val，則跳至位置 5。
23 return //返回調(diào)用方法。

Method void staticAccess(int)
 0 iconst_0 //將 0 壓入堆棧。
 1 istore_2 //彈出 0 并將它存儲在局部變量表中索引為 2 的位置 (i)。
 2 goto 16//跳至位置 16。
 5 getstatic #25 <Field int staticVar>
//將常數(shù)存儲池中 staticVar 的值壓入堆棧。
 8 iconst_1 //壓入 1。
 9 iadd //彈出棧頂?shù)膬蓚�(gè)值，并壓入它們的和。
10 putstatic #25 <Field int staticVar>
//彈出和的值并將它存儲在 staticVar 中。
13 iinc 2 1 //將存儲在索引 2 處的 i 加 1。
16 iload_2//壓入索引 2 處的值 (i)。
17 iload_1//壓入索引 1 處的值 (val)。
18 if_icmplt 5//彈出 i 和 val。如果 i 小于 val，則跳至位置 5。
21 return //返回調(diào)用方法。


查看字節(jié)碼揭示了堆棧變量效率更高的原因。JVM 是一種基于堆棧的虛擬機(jī)，因此優(yōu)化了對堆棧數(shù)據(jù)的存取和處理。所有局部變量都存儲在一個(gè)局部變量表中，在 Java 操作數(shù)堆棧中進(jìn)行處理，并可被高效地存取。存取 static 變量和實(shí)例變量成本更高，因?yàn)?JVM 必須使用代價(jià)更高的操作碼，并從常數(shù)存儲池中存取它們。（常數(shù)存儲池保存一個(gè)類型所使用的所有類型、字段和方法的符號引用。）

通常，在第一次從常數(shù)存儲池中訪問 static 變量或?qū)嵗�變量以后，JVM 將動態(tài)更改字節(jié)碼以使用效率更高的操作碼。盡管有這種優(yōu)化，堆棧變量的存取仍然更快。

考慮到這些事實(shí)，就可以重新構(gòu)建前面的代碼，以便通過存取堆棧變量而不是實(shí)例變量或 static 變量使操作更高效。請考慮修改后的代碼：

class StackVars
{
//與前面相同...
void instanceAccess(int val)
{
int j = instVar;
for (int i=0; i<val; i++)
j += 1;
instVar = j;
}

void staticAccess(int val)
{
int j = staticVar;
for (int i=0; i<val; i++)
j += 1;
staticVar = j;
}
}



方法 instanceAccess 和 staticAccess 被修改為將它們的實(shí)例變量或 static 變量復(fù)制到局部堆棧變量中。當(dāng)變量的處理完成以后，其值又被復(fù)制回實(shí)例變量或 static 變量中。這種簡單的更改明顯提高了 instanceAccess 和 staticAccess 的性能。這三個(gè)方法的執(zhí)行時(shí)間現(xiàn)在基本相同，instanceAccess 和 staticAccess 的執(zhí)行速度只比 stackAccess 的執(zhí)行速度慢大約 4%。

這并不表示您應(yīng)該避免使用 static 變量或?qū)嵗�變量。您�?yīng)該使用對您的設(shè)計(jì)有意義的存儲機(jī)制。例如，如果您在一個(gè)循環(huán)中存取 static 變量或?qū)嵗�變量，則您可以臨時(shí)將它們存儲在一個(gè)局部堆棧變量中，這樣就可以明顯地提高代碼的性能。這將提供最高效的字節(jié)碼指令序列供 JVM 執(zhí)行。

作者簡介
Peter Haggar 是 IBM 的高級軟件工程師。他目前正在研究新興的 Java 和因特網(wǎng)技術(shù)，并且是 IBM 實(shí)時(shí) Java 參考實(shí)現(xiàn)的項(xiàng)目主持人。他有豐富的編程經(jīng)驗(yàn)，從事過開發(fā)工具、類庫和操作系統(tǒng)等方面的工作。在許多行業(yè)研討會上，他也經(jīng)常就 Java 和其他技術(shù)作技術(shù)性發(fā)言。他于 1987 年在紐約獲得 Clarkson 大學(xué)計(jì)算機(jī)科學(xué)學(xué)士學(xué)位�？梢酝ㄟ^ haggar@us.ibm.com 與他聯(lián)系。