关于动态链接以及地址无关性的一些问题

zhjl616

问大家一个小问题，关于动态链接的，我看了深入理解计算机系统和那本程序的装载技术，一时对静态链接有所了解，然而对动态链接依然很模糊。举个例子吧，hello.c程序要用到printf函数，那其实是gcc hello.o printf.o -o hello，（假如是动态链接），这里面具体的细节不太了解。既然是动态链接，那链接自然推到了运行时，问题来了：
1.编译器在将hello.o链接成hello的过程，此时没有运行，那此时hello.o如何确定printf函数的地址呢 ？？
2.地址无关性是什么意思呢？我知道库的位置要固定什么的，还有数据和代码分离，等等，但是还是很不理解。还有引入了很多的模型，什么指令跳转的，请大家帮我解释一下好吗，谢谢各位！

MMMIX

zhjl616 发表于 2012-07-14 10:22
1.编译器在将hello.o链接成hello的过程，此时没有运行，那此时hello.o如何确定printf函数的地址呢 ？？

hello.o 根本不需要確定 printf 的地址，hello.o 中也沒有這個地址（所以纔需要鏈接其它庫，如 libc）。而鏈接器在鏈接 hello.o 的時候，也不需要 printf 的運行時地址，只需要知道 printf 在 libc 中即可。

2.地址无关性是什么意思呢？我知道库的位置要固定什么的，还有数据和代码分离，等等，但是还是很不理解。还有引入了很多的模型，什么指令跳转的，请大家帮我解释一下好吗，谢谢各位！

地址無關就是庫不必裝載到內存的特定位置纔能使用。

captivated

自己慢慢看
自己多思考

对于问题一, 既然实际的链接推迟到了运行时, 那么编译期的链接阶段是为了让静态链接器ld不报错(告诉ld某个模块有printf这个符号, 因此别报undefined reference错误).

问题二就比较麻烦了.  不过你实际上你只需要理解跳转指令, 并从跳转指令的角度出发来观察如何进行跳转就可以了. 从本质上来说, 跳转指令只有两种, 一种是相对当前PC(Programming Counter)跳转, 这种跳转方式需要确定目标地址相对当前PC的偏移值; 一种是绝对跳转, 跳转的目标地址由某个已知地址的变量或者寄存器给出.  你始终带着如何得到偏移值和确定目标地址的视角, 很容易就能知道为什么要给出那样的模型( 来达成地址无关性了 )......

zhjl616

回复 3# captivated


    恩，说的很好呀，嘿嘿，谢谢你啊~~以后有问题再得多多请教你一下了。

Moon_Bird

1  动态链接的时候 ， 创建可执行文件的时候 不会拷贝库的全部二进制代码至文件中，只会拷贝一些重定位或符号表的一些信息，告诉链接器 某某符号在哪个库中有实现

2 应该是一个运行时重定位的过程 ，也就是 基址 + 偏移  来生成有效地址