尽可能使用堆栈变量

原创 2004年08月26日 21:47:00

如果您频繁存取变量,就需要考虑从何处存取这些变量。变量是 static 变量,还是堆栈变量,或者是类的实例变量?变量的存储位置对存取它的代码的性能有明显的影响?例如,请考虑下面这段代码:

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;
  }
  
  //存取类的实例变量
  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;
  }
}     

这段代码中的每个方法都执行相同的循环,并反复相同的次数。唯一的不同是每个循环使一个不同类型的变量递增。方法 stackAccess 使一个局部堆栈变量递增,instanceAccess 使类的一个实例变量递增,而 staticAccess 使类的一个 static 变量递增。

instanceAccessstaticAccess 的执行时间基本相同。但是,stackAccess 要快两到三倍。存取堆栈变量如此快是因为,JVM 存取堆栈变量比它存取 static 变量或类的实例变量执行的操作少。请看一下为这三个方法生成的字节码:

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           //返回调用方法。
  
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              //复制堆栈顶的值并将它压入。
   7 getfield #19 <Field int instVar>
                      //弹出 this 对象引用并压入 instVar 的值。
  10 iconst_1         //压入 1。
  11 iadd             //弹出栈顶的两个值,并压入它们的和。
  12 putfield #19 <Field int instVar>
                      //弹出栈顶的两个值并将和存储在 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           //返回调用方法。
  
Method void staticAccess(int)
   0 iconst_0         //将 0 压入堆栈。
   1 istore_2         //弹出 0 并将它存储在局部变量表中索引为 2 的位置 (i)。
   2 goto 16          //跳至位置 16。
   5 getstatic #25 <Field int staticVar>
                      //将常数存储池中 staticVar 的值压入堆栈。
   8 iconst_1         //压入 1。
   9 iadd             //弹出栈顶的两个值,并压入它们的和。
  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           //返回调用方法。

查看字节码揭示了堆栈变量效率更高的原因。JVM 是一种基于堆栈的虚拟机,因此优化了对堆栈数据的存取和处理。所有局部变量都存储在一个局部变量表中,在 Java 操作数堆栈中进行处理,并可被高效地存取。存取 static 变量和实例变量成本更高,因为 JVM 必须使用代价更高的操作码,并从常数存储池中存取它们。(常数存储池保存一个类型所使用的所有类型、字段和方法的符号引用。)

通常,在第一次从常数存储池中访问 static 变量或实例变量以后,JVM 将动态更改字节码以使用效率更高的操作码。尽管有这种优化,堆栈变量的存取仍然更快。

考虑到这些事实,就可以重新构建前面的代码,以便通过存取堆栈变量而不是实例变量或 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;
  }
}    

方法 instanceAccessstaticAccess 被修改为将它们的实例变量或 static 变量复制到局部堆栈变量中。当变量的处理完成以后,其值又被复制回实例变量或 static 变量中。这种简单的更改明显提高了 instanceAccessstaticAccess 的性能。这三个方法的执行时间现在基本相同,instanceAccessstaticAccess 的执行速度只比 stackAccess 的执行速度慢大约 4%。

这并不表示您应该避免使用 static 变量或实例变量。您应该使用对您的设计有意义的存储机制。例如,如果您在一个循环中存取 static 变量或实例变量,则您可以临时将它们存储在一个局部堆栈变量中,这样就可以明显地提高代码的性能。这将提供最高效的字节码指令序列供 JVM 执行。

一个变量越界导致破坏堆栈的bug

前一段时间在商用系统上出现了core dump,原因是由于一个局部变量写越界导致堆栈被破坏了。在这里,我把这个bug分享一下,希望给需要的朋友一点帮助。简化的代码如下: typedef struct ...
  • xiaonanAndroid
  • xiaonanAndroid
  • 2014年01月25日 12:31
  • 2305

堆栈和变量的存储

之前无论是使用51还是stm32,都知道堆栈是单片机的重要存储部分,堆栈遵循先进后出的原则,堆栈的指针是SP, 在中断程序执行前,就会把一些相关寄存器压入堆栈,那么堆栈到底是怎样的呢? 其实严格来说堆...
  • sun_haoming
  • sun_haoming
  • 2015年11月06日 15:28
  • 583

编程基本一:变量在内存里的区别以及栈与堆的区别

全集变量、局部变量、静态全局变量、静态局部变量在内存中如何存储,有什么区别,栈和堆的区别? 一、先由程序的内存分配说起,一个完整的C/C++程序在运行时会占用的内存分为几个部分。 栈(stack...
  • heanyu
  • heanyu
  • 2013年08月20日 23:57
  • 2381

关于static与堆栈的简单理解

Static:静态 想起了一个问题,一直都说,Java中静态的方法不能调用非静态的变量,但是不知道为什么,偶尔还是会混淆 查了一下,比较合理的解释是: 静态的一般都是在程序一开始执行的时...
  • u010513497
  • u010513497
  • 2015年02月06日 09:17
  • 954

Unity使用MonoDevelop快速调试

目标: 下面这篇教程详细介绍了如何挖掘MonoDevelop的强大调试功能: 如何在不重新编译工程的情况下调试 如何查看调用堆栈 如何跟踪变量值的变化 使用MonoDevelop调试 首先最...
  • Shepherdog
  • Shepherdog
  • 2014年04月03日 16:10
  • 1869

内存分配:堆、栈、全局变量/静态变量、代码区

转载地址: http://blog.csdn.net/nana08/article/details/7458013 C++中,内存分为5个区:堆、栈、自由存储区、全局/静态存储区和常...
  • zr459927180
  • zr459927180
  • 2016年07月30日 09:00
  • 592

C/C++变量在内存中的分布,堆栈区别,堆栈段,数据段,代码段,附加段

在C++中,内存分成5个区,他们分别是堆、栈、自由存储区、全局/静态存储区和常量存储区。 栈,就是那些由编译器在需要的时候分配,在不需要的时候自动清楚的变量的存储区。里面的变量通常是局部变量、函...
  • a185446828
  • a185446828
  • 2016年03月15日 20:55
  • 1549

C语言一些变量的地址以及堆和栈的概念

在linux写一个程序,里面全局变量,局部变量,static,const,常数,数组,输出这些变量的地址: 程序如下:#include int b_n; int b_y = 2; static i...
  • qq_34528825
  • qq_34528825
  • 2016年10月18日 19:04
  • 249

临时变量的一些细节

一 :临时变量产生之值传递::(值传递包括指针传递)1 。非引用的参数传递 :实参有自己的变量空间,当开始调用函数时, 形参并不会自己申请内存单元,在传递(内置类型)实参时,先将实参的值放到寄存器中,...
  • uagvdu
  • uagvdu
  • 2016年06月30日 00:01
  • 1327

栈中变量地址分配

#include #include int main() { int x=35; char str[10]; strcpy(str,"123456789abc"); printf("%...
  • xc889078
  • xc889078
  • 2013年05月27日 17:01
  • 821
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:尽可能使用堆栈变量
举报原因:
原因补充:

(最多只允许输入30个字)