&&&&&& c/c++作为偏底层的语言,我们往往可以使用其对内存进行直接操作,相对来说比较灵活,但任何事情都有两面性,对内存的操作简便也经常导致程序出现内存bug。所以我们在编程时要特别重视内存和指针等概念,尽量避免bug,而这均取决于我们对内存的理解。

&&&&&&&本文就从c/c++的内存基础知识讲起,让我们对内存有一个更深入的理解。

  一、对内的分配

  32位操作系统支持4gb内存的连续访问,但通常把内存分为两个2gb的空间,每个进程在运行时最大可以使用2gb的私有内存(0x00000000—0x7fffffff)。即理论上支持如下的大数组:

c++代码
  1. char&szbuffer[2*1024*1024*1024];&&

&&&&&& 当然,由于在实际运行时,程序还有代码段、临时变量段、动态内存申请等,实际上是不可能用到上述那么大的数组的。

  至于高端的2gb内存地址(0x80000000—0xffffffff),操作系统一般内部保留使用,即供操作系统内核代码使用。在windows和linux平台上,一些动态链接库(windows的dll,linux的so)以及ocx控件等,由于是跨进程服务的,因此一般也在高2gb内存空间运行。

  可以看到,每个进程都能看到自己的2gb内存以及系统的2gb内存,但是不同进程之间是无法彼此看到对方的。当然,操作系统在底层做了很多工作,比如磁盘上的虚拟内存交换(请看下以标题),不同的内存块动态映射等等。

  二、虚拟内存

  虚拟内存的基本思想是:用廉价但缓慢的磁盘来扩充快速却昂贵的内存。在一定时刻,程序实际需要使用的虚拟内存区段的内容就被载入物理内存中。当物理内存中的数据有一段时间未被使用,它们就可能被转移到硬盘中,节省下来的物理内存空间用于载入需要使用的其他数据。

  在进程执行过程中,操作系统负责具体细节,使每个进程都以为自己拥有整个地址空间的独家访问权。这个幻觉是通过“虚拟内存”实现的。所有进程共享机器的物理内存,当内存使用完时就用磁盘保存数据。在进程运行时,数据在磁盘和内存之间来回移动。内存管理硬件负责把虚拟地址翻译为物理地址,并让一个进程始终运行于系统的真正内存中,应用程序员只看到虚拟地址,并不知道自己的进程在磁盘与内存之间来回切换。

  从潜在的可能性上说,与进程有关的所有内存都将被系统所使用,如果该进程可能不会马上运行(可能它的优先级低,也可能是它处于睡眠状态),操作系统可以暂时取回所有分配给它的物理内存资源,将该进程的所有相关信息都备份到磁盘上。

  进程只能操作位于物理内存中的页面。当进程引用一个不在物理内存中的页面时,mmu就会产生一个页错误。内存对此事做出响应,并判断该引用是否有效。如果无效,内核向进程发出一个“segmentation violation(段违规)”的信号,内核从磁盘取回该页,换入内存中,一旦页面进入内存,进程便被解锁,可以重新运行--进程本身并不知道它曾经因为页面换入事件等待了一会。

  三、内存的使用

  对于程序员,我们最重要的是能理解不同进程间私有内存空间的含义。c和c++的编译器把私有内存分为3块:基栈、浮动栈和堆。如下图:

&&&&& (1)基栈:也叫静态存储区,这是编译器在编译期间就已经固定下来必须要使用的内存,如程序的代码段、静态变量、全局变量、const常量等。

&&&&&&(2)浮动栈:很多书上称为“栈”,就是程序开始运行,随着函数、对象的一段执行,函数内部变量、对象的内部成员变量开始动态占用内存,浮动栈一般都有生命周期,函数结束或者对象析构,其对应的浮动栈空间的就拆除了,这部分内容总是变来变去,内存占用也不是固定,因此叫浮动栈。

 &&&(3)堆:c和c++语言都支持动态内存申请,即程序运行期可以自由申请内存,这部分内存就是在堆空间申请的。堆位于2gb的最顶端,自上向下分配,这是避免和浮动栈混到一起,不好管理。我们用到malloc和new都是从堆空间申请的内存,new比malloc多了对象的支持,可以自动调用构造函数。另外,new创建对象,其成员变量位于堆里面。

  我们来看一个例子:

c++代码
  1. const&int&n&=&100; &&
  2. void&func(void) &&
  3. { &&
  4. &&&&char&ch&=&0; &&
  5. &&&&char*&pbuff&=&(char*)malloc(10); &&
  6. &&&&//… &&
  7. }&&

&&&&&& 这个函数如果运行,其中n由于是全局静态变量,位于基栈,ch和pbuff这两个函数内部变量,ch位于浮动栈,而pbuff指向的由malloc分配的内存区,则位于堆栈。

  在内存理解上,最著名的例子就是线程启动时的参数传递。

  函数启动一个线程,很多时候需要向线程传参数,但是线程是异步启动的,即很可能启动函数已经退出了,而线程函数都还没有正式开始运行,因此,绝不能用启动函数的内部变量给线程传参。道理很简单,函数的内部变量在浮动栈,但函数退出时,浮动栈自动拆除,内存空间已经被释放了。当线程启动时,按照给的参数指针去查询变量,实际上是在读一块无效的内存区域,程序会因此而崩溃。

  那怎么办呢?我们应该直接用malloc函数给需要传递的参数分配一块内存区域,将指针传入线程,线程收到后使用,最后线程退出时,free释放。

  我们来看例子:

c++代码
  1. //这个结构体就是参数表 &&
  2. typedef&struct&_clisten_listenaccepttask_param_& &&
  3. {& &&
  4. &&&&linux_win_socket&m_nsocket;& &&
  5. &&&&//其他参量…&… &&
  6. }sclistenaccepttaskparam;& &&
  7. //习惯性写法,设置结构体后,立即声明结构体的尺寸,为后续malloc提供方便 &&
  8. const&ulong&sclistenaccepttaskparamsize&=&sizeof(sclistenaccepttaskparam);& &&
  9. //这里接收到连接请求,申请参数区域,将关键信息带入参数区域,帮助后续线程工作。 &&
  10. bool&clisten::listentaskcallback(void*&pcallparam,int&&nstatus)& &&
  11. {& &&
  12. &&&&//正常的函数逻辑…&… &&
  13. &&&&//假定s是accept到的socket,需要传入后续线程工作 &&
  14. &&&&//在此准备一块参数区域,从远堆上申请 &&
  15. &&&&sclistenaccepttaskparam*&pparam&=&(sclistenaccepttaskparam*)&malloc(sclistenaccepttaskparamsize);& &&
  16. &&&&//给参数区域赋值 &&
  17. &&&&pparam->m_nsocket&=&s;& &&
  18. &&&&//此处启动线程,将pparam传递给线程…&… &&
  19. &&&&//正常的函数逻辑…&… &&
  20. }& &&
  21. //这是线程函数,负责处理上文accept到的socket& &&
  22. bool&clisten::listenaccepttask(void*&pcallparam,int&&nstatus)& &&
  23. {& &&
  24. &&&&//第一句话就是强制指针类型转换,获得外界传入的参数区域 &&
  25. &&&&sclistenaccepttaskparam*&pparam=&(sclistenaccepttaskparam*)pcallparam;& &&
  26. &&&&//正常的函数逻辑…&… &&
  27. &&&&//退出前,必须要做的工作,确保资源不被泄露 &&
  28. &&&&close(pparam->m_nsocket);&//关闭socket& &&
  29. &&&&free(pcallparam);&//&free传入的参数区域 &&
  30. &&&&//…&…& &&
  31. &&
  32. }&&

 && 四、内存bug

  无规则的滥用内存和指针会导致大量的bug,程序员应该对内存的使用保持高度的敏感性和警惕性,谨慎地使用内存资源。

  使用内存时最容易出现的bug是:

  (1)坏指针值错误:在指针赋值之前就用它来引用内存,或者向库函数传送一个坏指针,第三种可能导致坏指针的原因是对指针进行释放之后再访问它的内容。可以修改free语句,在指针释放之后再将它置为空值。

c++代码
  1. free(p);& &&
  2. p&=&null;&&

&&&&&& 这样,如果在指针释放之后继续使用该指针,至少程序能在终止之前进行信息转储。

  (2)改写(overwrite)错误:越过数组边界写入数据,在动态分配的内存两端之外写入数据,或改写一些堆管理数据结构(在动态分配内存之前的区域写入数据就很容易发生这种情况)

c++代码
  1. p&=&malloc(256);& &&
  2. p[-1]&=&0;& &&
  3. p[256]&=&0;&&

&&&&&&(3)指针释放引起的错误:释放同一个内存块两次,或释放一块未曾使用malloc分配的内存,或释放仍在使用中的内存,或释放一个无效的指针。一个极为常见的与释放内存有关的错误就像下面这样:

c++代码
  1. struct&node&*p,&*tart,&*temp;&&& &&
  2. for(p&=&start;&p&;&p&=&p->next)&&& &&
  3. {&&& &&
  4. &&&&free(p);&&& &&
  5. }&&&

&&&&&& 上面的代码会在第二次迭代时对已经释放的指针再次进行释放,这样就会导致不可预料的错误。

  正确的迭代方法:

c++代码
  1. struct&node&*p,&*tart,&*temp; &&
  2. for(p&=&start;&p&;&p&=&temp) &&
  3. { &&
  4. &&&&temp&=&p->next; &&
  5. &&&&free(p); &&
  6. }&&

来自:博客园

除非特别注明,鸡啄米文章均为原创
转载请标明本文地址:http://www.jizhuomi.com/software/281.html
2012-12-24 21:30:42
作者:鸡啄米 分类:软件开发 浏览: 评论:7