由于微软代码不开源,我们在这里只介绍 glibc是如何实现入口函数的。

glibc入口函数

glibc的程序入口为_start(由链接器ld指定)。
下面是i386上_start的实现:

我们看到,在传递参数之前还有三行代码,它们是做什么的呢:

  • xor%ebp,%ebp:让ebp寄存器清零,xor的用处是把后面两个操作数异或,结果存储在第一个操作数里面。这样可以表明当前是程序的最外层函数
  • pop %esimov esp,%ecx:在调用_start前,装载器会把main函数参数压栈。下图为此时栈的布局,其中虚线箭头是执行pop %esi之前的栈顶,实线是之后的栈顶。



这是一个__lib_start_main的函数头部,我们可以看到,除了之前提到的,外部还要传递三个函数指针

  • init:main调用前的初始化工作
  • fini:main结束后的收尾工作
  • rtld_fini:和动态加载有关的收尾工作



最后,才是调用main函数,并推出。

出口函数


在这里,我们可以看到最后会调用atexit函数,这个会在main之后调用。

我们再来看看exit的实现:


这里的while循环遍历该链表并逐个调用这些注册的函数。

参考文献

[1] 俞甲子 石凡 潘爱明.程序员的自我修养.电子工业出版社,2009.4.