一起talk C栗子吧(第一百三十一回:C语言实例--C程序内存布局三)


各位看官们,大家好。上一回中咱们说的是C程序内存布局的样例,这一回咱们继续说该样例。闲话休提,言归正转。让我们一起talk C栗子吧。

看官们,关于C程序内存布局的样例,我们在前面的两个章回都介绍过了,这一回我们将对前面章回中的内容进行总结和提示。

内存布局总结

C程序的内存布局主要有四个分区:代码区,数据区(data和bss)。堆区和栈区。能够使用readelf -S filename查看各个分区的内存地址。这四个分区在内存中从低地址空间開始依次向高地址延伸。我们再次使用前面章回中的图直观地展示给大家,而且对这些分区做一个全面的总结。

这里写图片描写叙述

  • 代码区:主要存放程序的代码。位于内存的低地址空间中。
  • 数据区:它的地址空间位于代码区上面。主要存放程序中的变量,只是函数中的局部非静态变量不在该区域中,而是在栈区中。关于变量的类型不同。存放的区域也不同,更加具体的划分。请參考以下data和bss相关的信息。
  • data:主要存放程序中初始化的全局变量和局部静态变量。

    当中全局变量不用区分静态和非静态。仅仅要是全局变量都在该区域中。

  • bss:主要存放程序中未初始化的全局变量和局部静态变量。

    当中全局变量不用区分静态和非静态,仅仅要是全局变量都在该区域中。

  • 堆区:位于数据区上面。堆区的大小不固定,它主要存放程序中动态分配的内存。该区域的分配和回收由程序猿自己控制。因此也easy出问题。
  • 栈区:位于堆区上面,栈区的大小也不固定。它主要存放函数中的局部非静态变量和函数调用相关的信息。该区域由系统进行管理,程序猿不能控制。

总结完分区的内容后。我们结合前面章回中的样例,总结一下样例中各个变量在内存中的分布信息,大家从中能够看到,样例中各个变量在内存中的分布和我们上面总结的内容全然一致。

内存分区                分区起始地址       分区中存放的变量和代码
栈区:                  0xbfde3000   存放函数和局部变量:la1,la2,i
堆区:                  0x0964d000   存放动态分配的内存空间:p所指向的空间.
数据区中的bss区:        0x0804a038   存放程序中未初始化的全局变量和局部静态变量:ga1,static_la1
数据区中data区:         0x0804a028   存放程序中初始化的全局变量和局部静态变量:ga2,static_la2
代码区:                0x080483e0    存放程序的代码

内存布局细节

除了总结外,我们另一些小的细节须要共享给大家。

希望引起大家的注意:

  • 1.在内存布局图中堆区和栈区的分界处各有一条绿线。它表示堆区和栈区的大小是在变化的,它们不像代码区和数据区一样拥有固定的大小。
  • 2.堆区的内存空间是从低地址向高地址延伸,而栈区的内存空间是从高地址向低地址延伸。虽然它们都是大小能够变化的分区。可是在分区变化的方向上正好相反。
  • 3.程序中代码区和数据区的地址空间是固定的。不会随着程序执行而发生变化。

    可是程序中堆区和栈区的地址空间是动态变化的。已经有细心的看官发现了,我们在上一回中的样例,执行过两次。位于数据区中的变量地址在两次执行结果中全然一致,可是位于堆区和栈区中的变量地址在两次执行结果中不同样。

    这便是最好的证明。

内存布局之外

看官们,俗话说的好,当局者迷。旁观者清。在大家细致观察内存中的各个分区时。让我们跳出这些分区之外,从整个内存的角度来做一些说明,希望能把大家就“迷局”中拉出来 。

  • 1.我们在这些章回中说的地址都是指虚拟内存地址,这点在一百二十九回介绍过。

  • 2.内存的布局除了我们介绍的这四个分区外,还有其他的分区。仅仅是这四个分区与代码的关系更加密切一些。
  • 3.使用readelf工具能够查看可执行文件里的分区信息,只是这里仅仅使用了该命令的S选项,其他的选项没有介绍,大家能够自己摸索一下。
  • 4.通过/proc虚拟文件夹中的文件来查看内存相关的信息。主要有cmdline,maps,status。

    readelf查看的是程序已经固定的静态信息,像堆,栈这些动态信息,就须要查看proc文件夹中的文件了,该文件夹中的文件提供了程序执行时的实时信息。

各位看官。关于C程序内存布局的样例咱们就讲到这里。欲知后面还有什么样例,且听下回分解 。


posted @ 2017-08-06 20:24  lytwajue  阅读(140)  评论(0编辑  收藏  举报