UNIX高级环境编程（8）进程环境（Process Environment）- 进程的启动和退出、内存布局、环境变量列表，unixenvironment


在学习进程控制相关知识之前，我们需要了解一个单进程的运行环境。

本章我们将了解一下的内容：

  • 程序运行时，main函数是如何被调用的；
  • 命令行参数是如何被传入到程序中的；
  • 一个典型的内存布局是怎样的；
  • 如何分配内存；
  • 程序如何使用环境变量；
  • 程序终止的各种方式；
  • 跳转（longjmp和setjmp）函数的工作方式，以及如何和栈交互；
  • 进程的资源限制

 

1 main函数

main函数声明：

int main (int argc, char *argv[]);

参数说明：

  • argc：命令行参数个数
  • argv：指向参数列表数组的指针

main函数启动前：

  • C程序由内核执行，通过系统调用exec；
  • main函数调用前，执行指定的启动路径（start-up routine）；
  • 可执行文件认为此地址为程序的启动地址，该地址由链接器指定；
  • 启动路径从内核获取参数列表和环境变量，使得main函数可以在稍后被调用时可以获取这些变量。

 

2 进程终止

一共有8中终止进程的方式，5种正常终止和3种异常终止。

5种正常终止：

3种异常终止：

启动地址（start-up routine）同样也是main函数的返回地址。

要获取该地址，可以通过以下的方式：

exit (main(argc, argv));

 

退出函数

函数声明：

#include <stdlib.h>


void exit(int status);


void _Exit(int status);


#include <unistd.h>


void _exit(int status);

函数细节：

  • _exit和_Exit立刻返回到内核；
  • exit函数返回内核前会进行一些清理环境工作；

返回一个整数和调用exit函数，并传入该整数的作用是相同的：

exit(0);


return 0;

 

atexit函数

函数声明

#include <stdlib.h>


int atexit(void (*func)(void));

函数细节

  • 每个进程可以注册32个函数，这些函数可以在主函数调用exit时自动被调用
  • 通过atexit注册的退出时处理函数称为退出句柄（exit handlers）
  • 这些退出句柄的调用顺序为注册时的相反顺序
  • exit函数第一次调用退出句柄时，会关闭所有打开的流
  • 如果主程序调用了exec系列函数，则所有注册的退出句柄都会被清空

 

程序启动和终止流程图

 NewImage

Example：

#include "apue.h"

 

static void my_exit1(void);

static void my_exit2(void);

 

int

main(void)

{

    if (atexit(my_exit2) != 0)

        err_sys("can't register my_exit2");

 

    if (atexit(my_exit1) != 0)

        err_sys("can't register my_exit1");

    if (atexit(my_exit1) != 0)

        err_sys("can't register my_exit1");

 

    printf("main is done\n");

    return(0);

}

 

static void

my_exit1(void)

{

    printf("first exit handler\n");

}

 

static void

my_exit2(void)

{

    printf("second exit handler\n");

}

 执行结果：

NewImage

 

3 命令行参数

Example：

#include "apue.h"

 

int

main(int argc, char *argv[])

{

    int     i;

 

    for (i = 0; i < argc; i++)      /* echo all command-line args */

        printf("argv[%d]: %s\n", i, argv[i]);

    exit(0);

}

执行结果：

NewImage 

 

4 环境变量列表

每个程序会接受一个环境变量列表，该列表是一个数组，由一个数组指针指向，该数组指针类型为：

extern char **environ;

例如，如果环境变量里有5个字符串（C风格字符串），如下图所示：

NewImage

5 C程序的内存布局

典型的C程序的内存布局如下图所示：

NewImage

上图说明：

  • 文本段（Text Segment），保存CPU将要执行的机器指令。文本段是可共享的，所以某个程序多次执行时，对应的文本段只需要在内存中存有一份拷贝。文本段是只读的（read-only），防止程序的指令被修改。
  • 已初始化数据段（initialized data segment），保存程序中被初始化的全局变量（定义在任何函数之外）。例如：int maxcount = 99; 全局变量变量maxcount被保存在初始化数据段。
  • 未初始化数据段（uninitialized data segment），也被称为BSS（block started by symbol），这个段中的数据在程序执行之前被内核初始化为0或者null。;例如定义一个全局变量（定义在任何函数之外），long sum[1000];  该变量保存在未初始化数据段中。
  • 栈（Stack）：存储临时变量，函数相关信息。当一个函数被调用时，返回地址、调用者相关信息（如寄存器信息）会被保存在栈中。该被调用的函数会在栈上分配一部分空间保存它的临时变量。函数的递归调用也是应用这个原理。每一次函数调用自己，都会保存当前函数的信息，然后再栈上开辟一个新的空间用于保存该次函数的信息，和以前的函数并没有影响。
  • 堆（Heap）：动态内存分配位置。堆的位置位于未初始化数据段和栈的中间。

 

6 内存分配（Memory Allocation）

有三个函数可以用于内存分配:

  • malloc：分配指定字节数的内存，未初始化。
  • calloc：分配指定数目的对象大小的内存，内存初始化为0；
  • realloc：增加或减小之前分配的内存。移动旧内存的内容到新的更大的内存块，多余的部分内存未初始化。

函数声明：

#include <stdlib.h>


void *malloc(size_t size);


void *calloc(size_t nobj, size_t size);


void *realloc(void *ptr, size_t newsize);


void free(void* ptr);

函数细节：

 

7 环境变量（Environment Variable）

环境变量的字符串形式：

name=value

 内核不关注环境变量，各种应用才会使用环境变量。

获取环境变量值使用函数getenv。

#include <stdlib.h>


char* getenv(const char* name);


// Returns: pointer to value associated with name, NULL if not found

修改环境变量的函数：

#include <stdlib.h>


int putenv(char* str);


int setenv(const char* name, const char* value, int rewrite);


int unsetenv(const char* name);

 函数细节：

  • 函数putenv传入一个字符串，形式为name=value，加入到环境变量列表中。如果name已经存在，先删除旧的定义。
  • 函数setenv传入一个name和一个value，如果name已经存在，则参数rewrite决定是否覆盖旧的定义，如果rewrite为非零，则会覆盖旧的定义。
  • 函数unsetenv删除name的定义，如果name不存在，也不报错。 

 修改环境变量列表的过程是一件很有趣的事情

从上面的C程序内存布局图中可以看到，环境变量列表（保存指向环境变量字符串的一组指针）保存在栈的上方内存中。

在该内存中，删除一个字符串很简单。我们只需要找到该指针，删除该指针和该指针指向的字符串。

但是增加或修改一个环境变量困难得多。因为环境变量列表所在的内存往往在进程的内存空间顶部，下面是栈。所以该内存空间无法被向上或者向下扩展。

所以修改环境变量列表的过程如下所述：

  • 如果我们修改一个已经存在的name：
    • 如果新的value的大小比已经存在的value小或者相当，直接覆盖旧的value；
    • 如果新的value的大小比已经存在的value大，则我们必须为新的value malloc一个新的内存空间，拷贝新value到该内存中，替换指向旧value的指针为指向新value的指针。
  • 如果我们新增一个环境变量：
    • 首先我们需要调用malloc为字符串name=value分配空间，拷贝该字符串到目标内存中；
    • 如果这是我们第一次添加环境变量，我们需要调用malloc分配一个新的空间，拷贝老的环境量列表到新的内存中，并在列表后新增目标环境变量。然后我们设置environ指向新的环境变量列表。
    • 如果这不是我们第一次新增环境变量，则我们只需要realloc多分配一个环境变量的空间，新增的环境变量保存在列表尾部，列表最后仍然是一个null指针。

 

小结

本篇介绍了进程的启动和退出、内存布局、环境变量列表和环境变量的修改。

下一篇将接着学习四个函数setjmp、longjmp、getrlimit和setrlimit。

 

 

参考资料：

《Advanced Programming in the UNIX Envinronment 3rd》

相关内容

    暂无相关文章