【C语言进阶剖析】39.C语言程序中的内存布局

114 阅读3分钟

本文已参与「新人创作礼」活动,一起开启掘金创作之路

文章目录

一、程序文件的一般布局

二、程序与进程

三、程序文件的一般布局

四、程序的内存布局

五、程序术语的对应关系

六、小结


一、程序文件的一般布局

  • 不同代码在可执行程序中的对应关系

编辑

二、程序与进程

  • 程序和进程不同

    • 程序是静态的概念,表现形式为一个可执行文件
    • 进程是动态的概念,程序由操作系统加载运行后得到进程
    • 每个程序可以对应多个进程
    • 每个进程只能对应一个程序
  • 面试中的小问题

    • 包含脚本代码的文本文件是一种类型的可执行程序吗?如果是,对应什么样的进程呢?

      :包含脚本代码的文本文件可以说是一种可执行程序,但是不是直接的可执行程序,这个进程是操作系统加载对应的脚本解释程序得到的。

编辑

三、程序文件的一般布局

  • 文件布局在内存中的映射

编辑

四、程序的内存布局

  • 各个段的作用

    • 堆栈段在程序运行后才正式存在,是程序运行的基础
    • .bss 段存放的是未初始化的全局变量和静态变量
    • .text 段存放的是程序中的可执行代码
    • .data 段保存的是已经初始化了的全局变量和静态变量
    • .rodata 段存放程序中的常量值,如字符串常量

五、程序术语的对应关系

  • 静态存储区通常指程序中的 .bss 和 .data 段
  • 只读存储区通常指程序中的 .rodata 段
  • 局部变量所占空间为栈上的空间
  • 动态空间为堆中的空间
  • 程序可执行代码存放于.text 段

面试中的小问题: 同是全局变量和静态变量,为什么初始化的和未初始化的保存在不同段中?

:对于没有初始化的全局变量和静态变量,在加载的时候,这片内存区就直接将它们初始化为 0,对于已经初始化的全局变量和静态变量,必然要在程序里面保存它们的初始值,并且初始值还要对应好,在最终的可执行程序中应该有地方映射对应关系。如果不区别对待初始化的和未初始化的,加载应用程序时效率就会变慢。

六、小结

  • 程序源码在编译后对应可执行程序中的不同存储区
  • 程序和进程不同,程序静态概念,进程是动态概念
  • 堆栈段是程序运行的基础,只存在于进程空间中
  • 程序可执行代码存放于.text 段,是只读的
  • .bss 和 .data 段用于保存全局变量和静态变量