程序运行后性能总会下降?你应该先了解编程语言的内存布局与管理

引言

当今流行的编程语言,大多具备垃圾回收(Garbage Collection,以下简称GC)功能。它能够将不再使用的内存区域收回并重新分配。

目前创新互联公司已为近千家的企业提供了网站建设、域名、虚拟空间、网站托管、服务器租用、企业网站设计、恩施土家网站维护等服务,公司将坚持客户导向、应用为本的策略,正道将秉承"和谐、参与、激情"的文化,与客户和合作伙伴齐心协力一起成长,共同发展。

这一功能可以说,将程序员的注意力从内存的分配/释放工作中解放了出来,可以专注于业务逻辑的实现。但这并不意味着说,程序员在写代码的时候就可以无所顾忌了。

因为他们面对的环境里,资源毕竟是有限的,而GC也不能包办一切工作。尤其是程序需要运行时性能的时候,对代码的编写就有更高的要求了。

而在优化程序性能时,也不能凭着猜想去实施,这就需要对编程语言的内存布局与管理有清楚的了解。这样才能做到有的放矢,事半而功倍。

下面我们先从编译技术的基本概念说起。

编译技术

编译器方式,这种方式是将代码经过预处理、编译、汇编、链接之后,得到一个可执行文件。这个文件里面包含的都是二进制的机器指令,它的优点是程序执行速度快,能将硬件性能充分发挥出来。

它的缺点则是编译过程需要耗费时间,程序修改之后必须重新编译才能使用。在早些年硬件性能不高的时候,编译一个大型的程序需要一两个小时是很平常的事。

此类语言的典型代表是C/C++,以及现在十分流行的Go语言。

解释器方式,程序代码直接运行在一个解释器中,没有编译的过程。优点则是可以立即运行,且可移植性好,代码编写一次即可在任何平台上运行,而且预期效果也一样。而编译器方式则要麻烦的多,它需要为每一个平台单独编译一次。

不过解释器方式的缺点也同样明显,就是它的性能受限。毕竟是隔着一层解释器去执行,远远比不了翻译成机器指令的二进制可执行文件。

此类语言的代表则有python、ruby、php、javascript等。可以认为,脚本类语言都属于解释器方式执行。

中间代码方式,这是一种折衷式的方案,它会先对代码有一次编译过程,但不是编译成可执行文件,而是一份中间代码。然后这份中间代码会放到一个虚拟机里去执行。以这样的方式既获得了良好的可移植性,也能够拥有高于解释器的速度。

java语言即是最佳代表。它会先编译出一个字节码文件,然后Java Virtual Machine(JVM)通过读取字节码来运行程序。

微软的.NET也是类似的结构,它使用的是Common Language Runtime(CLR),以此支持多种语言。例如C#、VB.net等。

[[343918]]

基础知识

不论一个程序用何种语言编写,它的运行时内存布局都是一致的。我们先从一个程序的三种基本内存区域说起。

静态区:这个区域主要存放的是程序的全局变量、常量数据,以及编译成二进制指令的代码。可以看到,这个区域存放的,主要是贯穿于程序整个生命周期所要使用到的数据与指令。

栈区:熟悉数据结构的朋友们都知道,栈(stack)是一个后入先出(LIFO)的队列。在程序运行中,它用来实现函数的调用。程序执行函数调用时,会在栈上依次压入参数,局部变量、返回位置等,执行完成后再依次将数据出栈。所以,栈上的数据都是临时性的,只在调用时可用。

堆区:所有动态申请的内存都从堆区分配。在使用C/C++语言时,程序员对待内存的申请与释放就必须特别小心,一个疏忽就会造成内存泄漏。而后来的java、C#等,语言内置了GC技术,情况相对改善,但也要养成良好的编程习惯。

对于程序来说,静态区和堆区都是全局存在的,即所有线程共享这二者。而栈区则是为每个线程单独准备一个,这一点程序员要记住。因为栈区的数据在函数调用之后就会失效,如果还引用栈区的数据,则会产生不可预料的问题。

程序运行时内存布局

OOP语言的内存结构

因为现在市场上面向对象编程语言(OOP)占据主流地位,所以接下来的讨论也将以OOP语言的典型内存结构进行讲解。我们了解清楚对象的存储区域,方法的调用之后,就会更加明白编程时应当注意哪些方面。

我们以使用较为广泛的Java语言进行说明,先要厘清一个总是争论不休的问题。就是Java语言中究竟有没有指针?

Java中的一系列逻辑功能,都是通过对象的间的消息传递和方法调用来实现的。对象是实现功能的最小单元,而一个对象是怎么来的,它存放在哪里?

先看一段派生对象的代码:

 
 
 
  1. MyCar one = new MyCar() 

Java语言中的new的实质是动态创建内存,用以存放对象实例。根据上节的知识,我们知道new操作的结果是从堆区申请了一块内存,它将这块内存的地址返回,变量one就可以通过这个地址实现对象的操作了。

所以,变量one中存储的不是对象本身,而是指向对象所在内存的地址。好吧,简单说就两个字:指针。在Java的术语体系里,它也叫引用。不过不管怎么称呼,这种内存结构就是典型的指针式操作。

既然我们知道Java语言中所有的对象都生成在堆区,那么需要注意之处就来了:堆区的存储空间是有限的,不能将运行时环境想象成内存无限的场景,要对自己使用的对象所占空间做到心中有数。

接下来还要注意的,就是对象复制的操作,示例代码:

 
 
 
  1. MyCar one = new MyCar() 
  2. MyCar two = one; one.SetSpeed(100); 
  3. two.SetSpeed(0); 

有了上面的知识,我们清楚地知道,MyCar two = one;这条语句并没有复制一个对象给two变量,它和one指向的都是同一个对象实例。所以代码执行的结果,就是这辆车以百公里时速狂奔的下一秒就减速到零,想想都挺吓人的吧。

方法表与属性

那么,对象的方法代码是存放在哪里呢?答案是在静态区。因为方法是可以在编译时就形成二进制指令的,因此编译后放在静态区就可以了。

类的信息是存放在静态区的,它会包含一张方法表(有的语言中也称为虚函数表)。方法表中的方法名实际上是一个函数指针,它在运行时是指向静态区的方法代码的。有了方法表,OOP语言就可以实现多态机制了。

这种方式可以节省程序存储空间,所以从本质上说,所有的对象实例都是在共用同一段方法代码。只是在调用时通过压入不同的参数以实现对象个性化的操作。

对象的属性变量又是存放在哪里?答案是在堆区,所以我们现在知道,一个对象实例里,属性变量的大小决定了它实际占用的存储空间。

需要注意的事项又来了:不要在类的声明中,将属性变量定义的过大。例如为了图方便,定义个超大的数组。这样带来的问题,一是会影响对象生成的效率,因为动态分配一段大内存是很耗时的;二是会导致内存空间急剧减少。

GC的运行并不是实时清理的,它会有延时判断策略,那么大量闲置的内存还来不及回收,新的对象又得不到可用空间,这只会降低程序的运行时性能了。

通过方法表,继承结构也得以实现。对于超类中的方法,子类中无需再存储相同的副本,它只要在自己的方法表中增加一条指向超类的方法引用即可。

对象通过方法表调用方法

GC会回收哪些对象实例?

通过上述几节的知识,我们知道GC要处理的肯定是在堆区上动态分配的对象实例。那是不是有了这个原则,我们就可以高枕无忧了呢?并不是,这要从GC的回收原理上说起。

GC的实现基础,必定是通过引用计数来判定对象是否被使用,未被使用的对象则会进入回收工作中。但是如果对象变量是在静态区或者栈区,那么这个对象永远都不会被回收。

静态区的对象,在Java中就是以static定义的类变量。程序员对此一定要心中有数,一定要记住类变量生成的对象,它的生命周期是和程序本身一样的。

而栈上所引用的对象,它的存活周期则和方法调用一致。也就是说如果方法退出,那么期间所产生的对象不再使用了,是会被回收的。

在多线程环境中,程序员要注意,如果一个方法是长期后台运行的,则不要进行频繁地创建对象的工作,以避免内存无法回收。

被栈区和静态区引用的对象是不会被回收的

总结

经过了解编程语言的内存布局与管理,我们发现还是有很多细节处不注意的话,很容易掉到坑里去的。那时候,代码功能看着都正常,但程序运行一段时间后性能就下降。不得不来一次万能的重启以解决问题,这显然不是最佳解决办法。

所以,我将文中涉及到的注意事项,整理出来再列举如下。希望可以帮助遇到性能问题的程序员们。

  • 堆区的存储空间是有限的,创建对象时要心中有数;
  • 对象变量存储的不是实例本身,而是指向堆区实例的指针;
  • 类中属性变量不要定义过大,避免出现超大数组;
  • 堆区和栈区所引用的对象,是不会被GC所回收的。

分享名称:程序运行后性能总会下降?你应该先了解编程语言的内存布局与管理
本文路径:http://www.shufengxianlan.com/qtweb/news47/548397.html

网站建设、网络推广公司-创新互联,是专注品牌与效果的网站制作,网络营销seo公司;服务项目有等

广告

声明:本网站发布的内容(图片、视频和文字)以用户投稿、用户转载内容为主,如果涉及侵权请尽快告知,我们将会在第一时间删除。文章观点不代表本网站立场,如需处理请联系客服。电话:028-86922220;邮箱:631063699@qq.com。内容未经允许不得转载,或转载时需注明来源: 创新互联