《UNIX环境高级编程》第三部分进程之进程环境

1 概述

本书第三部分-进程，分进程环境(第7章)、进程控制(第8章)、进程之间的关系(第9章)和信号(第10章)；

2 进程环境(第7章)

2.1 引言

进程控制原语之前需了解进程的环境，理解UNIX系统环境中C程序的环境是理解UNIX系统进程控制特性的先决条件。本章重点分两点，其一是说明一个进程是如何启动和终止的，如何向其传递参数表和环境；其二是说明C程序的典型存储空间布局，以及一个进程如何动态分配和释放存储空间。

2.2 启动进程

main函数原型：int main( int  argc, char  *argv[] );其中argc为命令行参数的数目，argv是指向参数的各个指针所构成的数组。

C程序总是从main函数开始执行，当内核使用exec函数执行C程序时，在调用main函数前先调用一个特殊的启动例程。

启动例程从内核取得命令行参数和环境变量值，然后为调用main函数做好准备。

可执行程序文件将此启动例程制定为程序的起始地址(该起始地址由连接编辑器设置，连接编辑器由C编译器调用)。

2.3 命令行参数

当执行一个程序时，调用exec的进程可将命令行参数传递给该新程序。例如P162处实例，通过for循环显示出输入的命令行参数，如for(i = 0; i < argc; i++ )循环输出命令行参数，其中程序不会回显第0个参数，即argv[0]不为参数，而是直接输出执行的命令；另外，ISO C和POSIX.1都要求在main函数的原型中argv[argc]是一个空指针，因此循环改为for(i = 0; argv[i] != NULL; i++ )

2.4 环境表和环境变量

每个程序都会收到一张环境表，和参数表一样，环境表也是一个字符指针数组，其中每个指针包含一个以NULL结尾的C字符串的地址。全局变量environ则包含该指针数组的地址：

extern  char  **environ;

我们称environ为环境指针，指针数组为环境表，其中各指针指向的字符串为环境字符串。

通常用getenv和putenv函数来访问特定的环境变量，而不是用environ变量(该变量用于查看整个环境)；我们通常在一个shell启动文件中设置环境变量以控制shell的动作。ISO C定义了getenv函数，可以用其取环境变量值。例如：

#include <stdlib.h>

char  *getenv( const  char  *name);   返回值为指向与name关联的value的指针，否则返回NULL；

除了获取环境变量值，还可以改变或增加环境变量值，但是我们能影响的只是当前进程及其后生成和调用的任何子进程的环境，而不能影响父进程的环境。

2.5 终止进程

3个函数正常终止一个程序：_exit和_Exit立即进入内核；exit则先执行一些清理处理，然后返回内核，exit函数首先调用各终止处理函数，执行一个标准I/O库的清理关闭操作：对于所有打开流调用fclose函数，这造成输出缓冲中的所有数据都被冲洗(写到文件中)，即关闭所有打开流。

内核使程序执行的唯一方法是调用一个exec函数；进程自愿终止的唯一方法是显式或隐式地(通过调用exit)调用_exit和_Exit；进程也可非自愿地由一个信号使其终止。注意，在main函数中没有调用exit，而是用了return语句。

2.6 C程序的存储空间布局

C程序一直由下列几部分组成：

正文段：由CPU执行的机器指令部分；常为只读；

初始化数据段：包含了程序中需明确地赋初值的变量；

未初始化数据段：bss段，在程序开始执行之前，内核将此段中的数据初始化为0或空指针；例如函数外声明的变量存放在此；

栈：自动变量以及每次函数调用时所需保存的信息都存放在此段中；

堆：通常在堆中进行动态存储分配；堆位于未初始化数据段和栈之间；

未初始化数据段的内容不存放在磁盘程序文件中，而是内核在程序开始运行前将它们设置为0，需要存放在磁盘程序文件中的段只有正文段和初始化数据段。

2.7 共享库

共享库使可执行文件中不再需要包含公用的库函数，而只需在所有进程都可引用的存储区中保存这种库例程的一个副本。程序第一次执行或者第一次调用某个库函数时，用动态链接方法将程序与共享库函数相连接，减少了可执行文件的长度但增加了运行时间。

共享库优点在于：可以用库函数的新版本代替旧版本而不需要对使用该库的程序重新连接编辑。

如需命令不使用共享库可用：gcc  -static  hello.c

使用共享库编译程序，可执行文件的正文和数据段的长度都会明显减小。

2.8 存储空间分配

IOS C说明3个用于存储空间动态分配的函数：

malloc 分配指定字节数的存储区，存储区中初始值不确定；

calloc 为指定数量指定长度的对象分配存储空间，每一位bit都初始化为0；

realloc 为增加或减少以前分配区的长度。当增加长度，需要将以前分配区中的内容移动到另一个足够大的区域，以便在尾端提供增加的存储区，新增区域初始值不确定；