杂记——入口及出口函数的实现

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

glibc入口函数

glibc的程序入口为_start（由链接器ld指定）。
下面是i386上_start的实现：

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

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

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

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

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

出口函数

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

我们再来看看exit的实现：


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

参考文献

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