1. 1 #include <stdio.h>
2. 2
3. 3 int main (int argc, char *argv[])
4. 4 {
5. 5         printf("Hello world!\n");
6. 6
7. 7         return 0;
8. 8 }

2 最简单的程序其实不简单

上面这个helloword程序已经再简单不过了，先来看一看它的反汇编代码：

从反汇编结果来看，helloworld可执行文件并不只是main函数，除main外，还有几个重要的函数，_init，_fini，_start，__libc_start_main，__libc_csu_init，__libc_csu_fini等。

除main函数外，其它函数从哪来的？分析一下编译好的可执行文件helloworld的库依赖关系如下：

其中linux-gate.so.1为系统调用相关的动态库，ld-linux.so.2为动态链接库，libc.so.6为GNU C库。

从反汇编出来的相关函数名称(__libc_start_main)来看，我们把目标锁定在GNU C库，即glibc，也是GNU开源项目，可以从GNU 源码ftp站点(http://ftp.gnu.org/gnu/libc/)上找到。

__libc_start_main函数可以在glibc源码的csu/libc-start.c中找到：

__libc_csu_init，__libc_csu_fini函数可以在glibc源码的csu/elf-init.c中找到：

_start函数可以在glibc源码的sysdeps/i386/elf/start.S中找到：

_init，_fini函数可以在glibc源码的sysdeps/generic/initfini.c中找到：

但是为什么不能在libc.so.6中找到_start，_init，_fini这三个函数呢？

是因为GNU把这三个作为了程序启动和结束的最基本运行库函数，分别放在crt1.o，crti.o，crtn.o这三个object文件中供程序链接时使用。

从glibc的源码sysdeps/generic/initfini.c相关注释也可以看出：

从上面注释来看crti.o，crtn.o分别包含.init和.fini段的开头和结束部分，分析它们的反汇编代码也可以看出：

回过头来看看helloworld程序反汇编代码中的_init，_fini函数的组成：

helloworld程序反汇编代码中的_init，_fini函数中间多出来的部分是其它库或用户自定义的.init和.fini段代码。

从上面helloworld程序反汇编来看，程序启动的过程应该：

_start -> __libc_start_main -> main. 具体一点就是：

_start -> __libc_start_main -> __libc_csu_init -> main. 再具体一点就是：

_start -> __libc_start_main -> __libc_csu_init -> _init -> main -> _fini.

可以通过分析__libc_start_main函数进一步了解，下面的__libc_start_main函数是我精简后的伪代码：

1. /* Note: the fini parameter is ignored here for shared library.  It
2. is registered with __cxa_atexit.  This had the disadvantage that
3. finalizers were called in more than one place.  */
4. STATIC int
5. LIBC_START_MAIN (int (*main) (int, char **, char ** MAIN_AUXVEC_DECL),
6. int argc, char *__unbounded *__unbounded ubp_av,
7. #ifdef LIBC_START_MAIN_AUXVEC_ARG
8. ElfW(auxv_t) *__unbounded auxvec,
9. #endif
10. __typeof (main) init,
11. void (*fini) (void),
12. void (*rtld_fini) (void), void *__unbounded stack_end)
13. {
14. ...
15. /* Register the destructor of the dynamic linker if there is any.  */
16. if (__builtin_expect (rtld_fini != NULL, 1))
17. __cxa_atexit ((void (*) (void *)) rtld_fini, NULL, NULL);
18. /* Call the initializer of the libc.  This is only needed here if we
19. are compiling for the static library in which case we haven't
20. run the constructors in `_dl_start_user'.  */
21. __libc_init_first (argc, argv, __environ);
22. /* Register the destructor of the program, if any.  */
23. if (fini)
24. __cxa_atexit ((void (*) (void *)) fini, NULL, NULL);
25. /* Call the initializer of the program, if any.  */
26. if (init)
27. (*init) (argc, argv, __environ MAIN_AUXVEC_PARAM);
28. /* Nothing fancy, just call the function.  */
29. result = main (argc, argv, __environ MAIN_AUXVEC_PARAM);
30. exit (result);
31. }

__libc_start_main函数的参数main, argc, ubp_av, init, fini, rtld_fini都是通过_start入栈得到。

其中argc, ubp_av为传递给main函数的参数argc, argv。init为__libc_csu_init函数指针，fini为__libc_csu_fini函数指针，rtld_fini为运行库加载收尾函数指针。

从__libc_start_main函数可以看出在call init之前还通过__cxa_atexit向exit函数注册了rtlf_fini和fini函数，目的是为了在main结束后call exit自动完成一些收尾工作。

这里的_init, _fini函数功能还主要负责完成C++程序全局/静态对象的构造与析构，有兴趣的可以深入一下。

__cxa_atexit函数用于注册main结束后程序退出时调用的函数，例如：

可以看到pre_exit函数并不是靠main来执行的，而是靠__libc_start_main函数里面的exit函数来调用完成。

为了更进一步理解_init函数的作用，我们再改写一下代码：

因为链接器会自动把.init段粘贴到一起组成_init函数，所以为了不使_init函数半途返回退出，我们只能用下面汇编的方法定义哪些程序块是需要被链接到_init函数，且该程序块不能有函数的返回指令，这样我们必须在该程序块结束的地方加入汇编指令告诉编译器后面的程序不属于.init段，因此就有了下面这个测试函数pre_init，它会被link到两个section，即.init和.text段。

从helloworld3程序的运行结果也可以看出该程序函数的调用过程：

pre_init (.init段部分 代码) -> main -> pre_init (.text段部分 代码) -> pre_exit.

同样我们也可以添加.fini段代码，链接器会把.fini段代码部分链接进_fini函数，这样_fini函数就会帮我们在main函数退出后自动执行这段代码：

从以上运行结果可知pre_fini函数是在main函数退出后才被调用的，但是为什么pre_fini打印的内容比pre_exit打印的内容要晚出来呢？这是因为pre_exit函数注册比pre_fini要晚，而通过__cxa_atexit注册的过程其实就是建立一个exit函数指针链表栈，按栈的规则是后进先出，因此pre_exit比pre_fini要先被调用。

从helloworld4程序的运行结果也可以看出该程序函数的调用过程：

pre_init (.init段部分 代码) -> main -> pre_init (.text段部分 代码) -> pre_exit -> pre_fini (.fini段部分 代码).

为了让程序正常运行和结束，链接器ld帮我们做了好多事情，可以用下面来表示：

ld crt1.o crti.o [usr object] [lib] crtn.o

最后总结一下，程序启动和结束的过程可以描述为：

_start -> __libc_start_main ->  init -> main -> exit.

3 Self-check

如果想对main的启动及结束有进一步的理解，最好的方法就亲自读一读glibc的相关源码。
另外，介绍一本好书《程序员的自我修养—链接、装载与库》。
(待完善)

版权声明：本文为博主原创文章，未经博主允许不得转载。