第八章嵌入式.pdf

第8 章 Linux系统编程之进程 8.1 程序映像的布局 C 编译器将每一个源文件编译成一个目标文件，然后编译器将这些单个的目标文件同必 需的一些库相链接，形成一个可执行模块（executable module ）。程序运行或执行时，操作系 统将可执行模块拷贝到主存储器中去。 加载之后，可执行模块看起来占据了一个连续的内存块，这个连续的内存块被称为程序 映像（program image ）。程序映像有几个不同的分区，程序文本或代码在内存低端地址中， 已初始化和未初始化的静态变量也有自己的分区，其他的分区包括堆、栈和环境。 高端地址 命令行参数和环境变量 argc、argv、环境 栈 函数调用的活动记录（返回地址、 参数、已保存的寄存器、自动变量 堆 用malloc函数族分配的内存 未初始化的静态变量 已初始化的静态变量 低端地址 程序文本 活动记录（activation record ）是在进程栈顶端分配的一个内存块，用来装载调用过程中 函数的执行上下文，包括返回地址、参数（参数值从相应的命令行参数中拷贝而来）、状态 信息和调用时某些 CPU 寄存器的值及函数执行时在其内部分配的自动变量。 除了静态变量和自动变量之外，程序映像中还包括了argc 和 argv 占用的空间以及malloc 分配的空间。malloc 函数族在一个被称为堆（heap ）的空闲内存池中分配存储空间，在堆上 分配的存储空间一直存在，直到它被释放或程序退出为止。 在程序映像中，已初始化的静态变量和未初始化的静态变量占据不同的区域。通常，已 初始化的静态变量是磁盘上可执行模块的一部分（因为编译器知道初始化的值），而未初始 1 化的静态变量则不是。当然，自动变量不是可执行模块的一部分，因为只有当定义它们的程 序块被调用时，才在栈的区域为它们分配空间。除非程序显式地对自动变量初始化，否则， 其初始值是不确定的。 尽管程序映像看起来占据了一个连续的内存块，但实际上，操作系统将程序映射到不一 定连续的物理内存块中。这种映射允许栈和堆有很大的逻辑空间（它们不会冲突的），除非 需要，否则这些栈和堆实际上可以不占物理内存——虚拟存储太好了！ 练习 8-1： 用 ls -l 对下面两个 C 程序的可执行模块的大小进行比较。解释得到的结果。 版本 1： 版本 2： int myarray[50000] = {1,2,3,4}; int myarray[50000]; int main(void) int main(void) { { myarray[0] = 3; myarray[0] = 3; return 0; return 0; } } 8.2 标识符、存储类和链接类 根据 ANSI C 标准，“标识符可以表示一个对象；一个函数；一个结构、联合或枚举的 标记或成员；一个 typedef 名；一个标签名；一个宏名；或者一个宏参数” 。这里我们主要讨 论与变量和函数有关的标识符。 每个标识符都有一个范围（scope ），标识符只能在它的范围内使用。标识符的范围从它 的声明开始，如果声明出现在一个块的内部，那么其范围就在块的尾部结束；如果声明出