进程环境(七)

进程环境

主要介绍了如下内容:

  • 当程序执行时,其main函数是如何被调用的;
  • 命令行参数是如何传递给应用程序的;
  • 典型的存储空间布局是什么样式;
  • 如何分配另外的存储空间;
  • 进程如何使用环境变量;
  • 进程的各种不同终止方式等

介绍

  1. main函数:

    c语言总是从main函数启动的

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

    参数:

    • argc: 命令行参数数目
    • argv: 指向各个指针构成的数组

      当内核执行C语言程序时,在调用main函数前先调用一个特殊的启动例程
      启动例程:
      如果目标文件是由C代码编译生成的,用gcc做链接就没错了,整个程序的入口点是crt1.o中提供的_start,它首先做一些初始化工作(以下称为启动例程,Startup Routine),然后调用C代码中提供的main函数。所以,以前我们说main函数是程序的入口点其实不准确,_start才是真正的入口点,而main函数是被_start调用的。

  1. 进程终止

    有8种方式使进程终止,其中5种是正常终止:

    • 从main函数返回
    • 调用exit
    • 调用_exit和_Exit
    • 最后一个线程从其启动例程返回
    • 从最后一个线程调用pthread_exit

      异常终止有3种:

    • 调用abort
    • 接到一个信号
    • 最后一个线程对取消请求做出相应
    1. 退出函数
      3个函数用于正常终止一个程序,_exit和_Exit立即进入内核,exit则先执行一些清理处理,然后返回内核。

      1
      2
      3
      4
      5
      #include <stdio.h>
      void exit(int status);
      void _Exit(int status);
      #include <unistd.h>
      void _exit(int status);

      由于历史原因,exit函数总是执行一个标准I/O库的清理关闭操作:对于所有打开流调用fclose函数
      3个退出函数都带一个整形参数,称为终止状态(退出状态,exit status)

    2. atexit函数
      按照ISO C的规定,一个进程可以登记多至32个函数,这些函数将由exit自动调用。我们称这些函数为终止处理程序(exit handler),并调用atexit函数来登记这些函数。

      1
      2
      #include <stdlib.h>
      int atexit(void (*func)(void));

      返回值:

    • 成功: 返回0
    • 出错: 返回非0
      atexit的参数是一个函数地址,当调用此函数时无需向它传递任何参数,也不期望它返回一个值。exit调用这些函数的顺序刚好相反

      下图说明了一个c语言程序是如何启动和停止的

      内核使程序执行的唯一方法是调用一个exec函数。进程自愿终止的唯一方法是显示或隐式地(通过调用exit)调用_exit或_Exit;进程也可以非自愿地由一个信号终止(如SINGUP、SINGINT等)
      如下程序说明如何使用atexit函数

      1
      2
      3
      4
      5
      6
      7
      8
      9
      10
      11
      12
      13
      14
      15
      16
      17
      18
      19
      20
      21
      22
      23
      24
      25
      #include "apue.h"
      static void my_exit1(void);
      static void my_exit2(void);
      int main(void)
      {
      if (atexit(my_exit2) != 0)
      err_sys("不能注册my_exit2");
      if (atexit(my_exit1) != 0)
      err_sys("不能注册my_exit1");
      if (atexit(my_exit1) != 0)
      err_sys("不能注册my_exit1");

      printf("main is done\n");
      exit(0);
      }
      static void my_exit1(void)
      {
      printf("first exit handler\n");

      }
      static void my_exit2(void)
      {

      printf("second exit handler\n");
      }

      运行结果如下

命令行参数

当执行一个程序时,调用exec的进程可将命令行参数传递给该新程序。这是UNIX shell的一部分操作。
如下程序将其所有命令行参数都回显到标准输出上

1
2
3
4
5
6
7
8
9
#include "apue.h"
int main(int argc, char *artv[])
{

int i;
for (i=0;i<argc;i++)
printf("argv[%d]: %s\n",i,argv[i]);
exit(0);
}

环境表

每个程序都接收到一个环境表。与参数表一样,环境表也是一个字符指针数组,其中每个指针包含一个以null结束的C字符串的地址。全局变量environ包含了该指针数组的地址:

1
extern char **environ

如果该环境包含5个字符串,那么它看起来就像如下图所示。其中,每个字符串的结尾处都显式地有一个null字符。我们称environ为环境指针,指针数组为环境表,其中个指针指向的字符串为环境字符串。

C程序的存储空间布局

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

  • 正文段。这是由CPU执行的机器指令部分。通常,正文段是可共享的,所以即使是频繁执行的程序(如文本编辑器、C编辑器和shell等)在存储器中也只需有一个副本,另外,正文段常常是只读的,以防止程序由于意外而修改指令。
  • 初始化数据段。通常将此段称为数据段,它包含了程序中需明确地赋初值的变量。例如,C程序中任何函数外的声明:

    1
    int max = 99;

    使此变量以其初值存放在初始化数据段中。

  • 未初始化数据段。通常将此段称为bss段,这一名称来源于早期汇编程序一个操作符,意思是“由符号开始的块”(block started by symbol),在程序开始执行前,内核将此段中的数据初始化为0或空指针。函数外的声明:

    1
    long sum[100];

    将此变量存放在非初始化数据段中。

  • 栈。自动变量以及每次函数调用时所需保存的信息都存放在此段中。每次函数调用时,其返回地址以及调用者的环境信息(如某些机器的寄存器的值)都存放在栈中。然后,最近被调用的函数在栈上为其自动和临时变量分配存储空间。通常以这种使用栈,C递归函数可以工作。递归函数每次调用自身时,就用一个新的栈帧,因此一次函数调用实例中的变量不会影响另一次函数调用实例中的变量。
  • 堆。通常在堆中进行动态存储分配。由于历史上形式惯例,堆位于未初始化数据段h额栈之间。

    下图显示了一种典型的存储空间安排

    对于32位Intelx86处理器上的Linux,正文段从0x08048000单元开始,栈底则在0xC0000000之下开始(在这种特定的结构中,栈从高地址向低地址方向增长)。堆顶和栈顶之间未用的虚拟空间很大

    • a.out中还有若干其他类型的段,如包含符号表的段、包含调试信息的段以及包含动态共享库链接表的段等。这些部分并不装载到进程执行的程序映像中。

size命令报告正文段、数据段和bss段的长度(以字节为单位),例如

共享库

共享库使得可执行文件中不在包含公用的库函数,而只需在所有进程都可引用的存储区中保持这种库例程的一个副本。程序第一次执行或者第一次调用某个库函数时,用动态链接方式将程序与共享库函数相链接。这减少了每个可执行文件的长度,但增加了一些运行时间开销。这种时间开销发生在程序第一次被执行时,或者每个共享库函数第一次被调用时。共享库的另一个优点是可以用库函数的新版本代替老版本而无需对使用该库的程序重新连接编辑(假定参数的数目和类型都没有发生改变)

存储空间分配

ISO C说明了3个用于存储空间动态分配的函数。

  1. malloc,分配指定字节数的存储区。此存储区中的初始值不确定。
  2. calloc,为指定数量指定长度的对象分配存储空间。该空间中的每一位(bit)都初始化为0。
  3. realloc,增加或减少以前分配区的长度。当增加长度时,可能需将以前分配区的内容移到另一个足够大的区域,以便在尾端提供增加的存储区,而新增区域内的初始值则不确定。
1
2
3
4
5
6
7
#include <stdlib.h>
void *malloc(size_t size);
void *calloc(size_t mobj, size_t size);
void *realloc(void *ptr, size_t newsize);
// 成功返回非空指针;出错返回NULL

void free(void *ptr);
  • 这3个分配函数返回的指针一定是适当对齐的,使其可用于任何数据对象。例如,在一个特定的系统上,如果最苛刻的对齐要求是,double必须在8的倍数地址单元处开始,那么这3个函数返回的指针都应该这样对齐。
  • 因为这3个alloc函数都返回通用指针void *,所以如果在程序中包括了#include (以获得函数原型),那么当我们将这些函数返回的指针赋予一个不同类型的指针时,就不需要显式执行强制类型转换。未声明函数的默认返回值为int,所以使用没有正确函数声明的强制类型转换可能会隐藏系统错误,因为int类型的长度与函数返回类型值的长度不同(本例中是指针)。
  • 函数free释放ptr指向的存储空间。被释放的空间通常被送入可用存储区池,以后,可在调用上述3个分配函数时再分配。
  • realloc函数使我们可以增、减以前分配存储区的长度。
  • 这些分配例程通常用sbrk系统调用实现。该系统调用扩充(或缩小)进程的堆
  • 虽然sbrk可以扩充或缩小进程的存储空间,但是大多数malloc和free的实现都不减少进程的存储空间。释放的空间可供以后再分配,但将它们保持在malloc池中而不返回给内核
  • 如若一个进程调用malloc函数,但却忘记调用free函数,那么该进程占用的存储空间就会连续增加,这被称为泄露
  • 因为存储空间分配出错很难跟踪,所以某些系统提供了这些函数的另一个实现版本。每次调用这3个分配函数中的任意一个或free时,它们都进行附加的检错。

替代的存储空间分配函数

有很多可替代malloc和free的函数。某些系统已经提供替代存储空间分配函数的库。另一些系统只提供标准的存储空间分配程序。如果需要,软件开发者可以下载替代函数。下面讨论某些替代函数和库

  1. libmalloc
    基于SVR4的UNIX系统,如Solaries,包含了libmalloc库,它提供了一套与ISO C存储空间分配函数相匹配的接口。libmalloc库包含mallopt函数,它使进程可以设置一些变量,并用它们来控制存储空间分配程序的操作。还可使用另一个名为mallinfo的函数,以对存储空间分配程序的操作进行统计。
  2. vmalloc
    Vo说明一种存储空间分配程序,它允许进程对于不同的存储区使用不同的技术。除了一些vmalloc特有的函数外,该库也提供了ISO C存储空间分配函数的仿真器
  3. quick-fit
    历史上所使用的标准malloc算法是最佳适配或首次适配存储分配。quick-fit(快速适配)算法比上述两种算法快,但可能使用较多的存储空间Weinstock和Wulf对该算法进行了描述,该算法基于将存储空间分裂成各种长度的缓冲区,并将未使用的缓冲区按其长度组成不同的空闲区列表。现在许多分配程序都基于快速适配。

  4. jemalloc
    jemalloc函数实现是FreeBSD8.0中默认的存储空间分配程序,它是库函数malloc族在FreeBSD中的实现。它的设计具有良好的扩展性,可用于多处理器系统中使用多线程的应用程序。Evans说明了具体实现及其性能评估。

  5. TCMalloc
    TCMalloc函数用于替代malloc函数族以提供高性能、高扩展性和高存储效率。从高速缓存中分配缓冲区以及释放缓冲区到高速缓存中时,它使用线程-本地高速缓存来避免锁开销。它还有内置的堆检查程序和堆分析程序帮助调试和分析动态存储的使用。

  6. 函数alloca
    还有一个函数,它的调用序列与malloc相同,但是他是在当前函数的栈帧上分配存储空间,而不是在堆中。其优点是:当函数返回时,自动释放它所使用的栈帧,所以不必再为释放空间而费心。其缺点是:alloca函数增加了栈帧的长度,而某些系统在函数已被调用后不能增加栈帧长度,于是也就不能支持alloca函数。尽管如此,很多软件包还是使用alloca函数,也有很多系统实现了该函数。(本系统中的4个平台都提供了)

(未更新完)

感谢土豪
0%