PIC的实现

今天研究了下PIC，记录下。

1）什么是PIC，为什么要PIC

PIC，即Position independent code，直接翻译就是位置无关代码，简单的说就是这个代码可以被load到内存的任意位置而不用做任何地址修正。这里指的是代码段，数据段可能需要地址修正。
PIC是share library机制的基础之一，要实现library在各个process之间可以share，代码必须是PIC。为什么？有了load时的relocation还不够么？答案是也可以够，但是仅仅有load时的relocation，基本等于没有用。share library的主要目的是让各个process可以共享common的代码（指代码段），这部分代码只在内存中占用一次内存，所有process共享这部分代码，而不需要每个process都有一份拷贝。因为代码段是要被share的，所以代码段的内容不能被改变。load时的relocation是在load时对代码做地址修正，所以一旦library被load了，这个library在所有共享该library的process的地址空间中的位置也确定了。有人会问这样有什么问题么？OS在第一次load这个library的时候完全可以找个available的地址空间阿，因为第一次load的时候，是可以被load到内存的任意地方的，所以只要有地址空间就可以。遗憾的是，这种情况下地址空间很可能不够，而导致没法load。考虑这样的问题，如果某人写了个捣蛋的library，占用很大的地址空间，一旦这个library被load了，就会导致其他library不能被load，因为已经没有available的地址空间了，这样这个系统就会崩溃。所以要实现share library，仅仅load时的relocation是不够的，我们需要一种机制，可以让library被load进process的任意地址空间，或者说library在不同的process中，可以被load到不同的地址空间，然后在OS层，通过OS的地址空间映射，来实现library在物理内存上的share。所以PIC是必须的。

2）怎么实现PIC

PIC需要解决的问题就是找到一种办法，避免load时的地址修正（relocation）。以下面的代码为例，该代码把内存中符号one_dword对应的地址的一个dword的内容放到%eax里。如果一个library包含下面的代码，则这个代码不是PIC的。因为$one_byte会随着该代码被load到不同的地址而有不同的值，这就导致了代码段在load到不同地址时，内容（第一句mov指令）会不同，这就导致了无法share。

		.text