缘起
如果你自己折腾linux的话,肯定碰到过当你编译安装一些软件时,要求所依赖的某个共享库必须以PIC方式来编译的问题,我遇到过,还遇到过很多次。不是很明白这个PIC是什么。
自己一直也没有很系统的去研究这个问题,知道几年前碰到了《程序员的自我修养》这本书。这本书讲的实在不错。不过看完之后,感觉自己懂了,但是又好像没懂。让自己说,又说不出来什么。所以看了一遍之后,就把这本书放到了一边,直到最近,又拿起这本书翻了翻,然后在网上又找了两篇好文Load-time relocation of shared libraries, Position Independent Code (PIC) in shared libraries,决定就把这个知识梳理一下。
说明
这里我使用了section,而并没有翻译成段,是因为在ELF文件中,section跟segment还是有区别的。section是ELF文件自己的概念,它会根据不同的需求把不同的数据放到不同的section中,但是一般一些section是比较小的,而且section中又可以分为只读section跟可写,可执行section;但是现代操作系统的装载单位一般是4K,如果将一个不满1K大小的section就以4K大小装载,岂不是很浪费内存。所以在装载ELF文件的时候,还提供另外一种view,叫做segment,它会把readonly的section放在一起,一起装载。writable的section放在一起,这叫做一个segment,实际上操作系统在装载时,是按照segment进行的。
有兴趣的可以进一步的去看一下ELF的官方文档。
静态链接
静态连接相对比较简单。一句话
静态连接就是在编译时把不能确定的符号留空,在链接的时候由链接器确定具体的符号位置。
过程简介
我们知道每个c语言源文件就是一个编译单元,在一个项目中,我们为了得到最后的可执行文件,一般都会执行下面的步骤
gcc -c first.c -o first.o
gcc -c second.c -o second.o
gcc first.o second.o -o hello.exe
我们先不说first.c和second.c文件中都包含什么内容,但是一般含有多个源文件的项目都会这么做的。

本文详细介绍了Linux环境下静态链接和动态链接的工作原理,包括静态链接的优劣、动态链接中的Load-time relocation和Position Independent Code (PIC),以及strip工具的作用。动态链接通过Global Offset Table (GOT)和Procedure Linkage Table (PLT)实现函数调用的重定位,允许共享库在内存中只有一份拷贝,提高了内存效率。strip命令用于移除二进制文件中的符号信息,以减小文件大小并提高安全性,但会使得调试变得困难。为了解决调试问题,可以使用debug info file配合gdb进行调试。

5939

被折叠的 条评论
为什么被折叠?



