[讨论一下！]我发现动态库并不是只存在一份内存拷贝

ytl

原帖由 deadlylight 于 2008-9-28 14:40 发表



没有听说过这个说法
动态库的符号地址存在.got.plt，是由loader填进去的，不是绝对地址，所以不存在逻辑地址不一样的问题

.got.plt是每个进程有一份吗？ 如果是，那么又如何保证所有进程的.got.plt的逻辑地址是一样的？

[ 本帖最后由 ytl 于 2008-9-28 14:43 编辑 ]

MMMIX

原帖由 jeanlove 于 2008-9-28 14:39 发表
如果代码只有一份，它怎么去访问多份数据呢?

它只访问一份数据。

动态库的代码段也好，数据段也好，都会映射到使用它的进程的地址空间中。

zx_wing

原帖由 ytl 于 2008-9-28 14:35 发表


跟导出没关系，不导出也是靠逻辑地址访问的

你man mmap，然后了解一下指定MAP_PRIVATE 参数时的行为，就可以知道为什么你不可能在linux下面通过动态库共享内存

zx_wing

原帖由 jeanlove 于 2008-9-28 14:39 发表
如果代码只有一份，它怎么去访问多份数据呢? 想不通。。。。。。

楼上说的导出全局变量给程序用的情况，不能说是一个错误，因为我在很多大型系统中都见到过这种情况(银行，电信计费等等)，这种情况很普遍啊！ ...

这绝对是个错误的做法，进程间共享内存不应该通过动态库做，除非是个只读变量。

ytl

原帖由 zx_wing 于 2008-9-28 14:43 发表

你man mmap，然后了解一下指定MAP_PRIVATE 参数时的行为，就可以知道为什么你不可能在linux下面通过动态库共享内存

这个我知道。说到底就是数据有多分的原因。
但是代码如果有一份，那么怎么用不同的逻辑地址访问不同进程的数据实例，不理解怎么实现

ytl

原帖由 zx_wing 于 2008-9-28 14:45 发表

这绝对是个错误的做法，进程间共享内存不应该通过动态库做，除非是个只读变量。

没人说通过动态库做进程间共享内存

zx_wing

原帖由 deadlylight 于 2008-9-28 14:40 发表



没有听说过这个说法
动态库的符号地址存在.got.plt，是由loader填进去的，不是绝对地址，所以不存在逻辑地址不一样的问题

没听过什么说法？
这个和加载没有关系，而是当进程试图写动态库数据段时，此时由于是私有映射而导致一个COW，所以每个进程维护了一份属于自己的动态库数据段

zx_wing

原帖由 ytl 于 2008-9-28 14:47 发表


这个我知道。说到底就是数据有多分的原因。
但是代码如果有一份，那么怎么用不同的逻辑地址访问不同进程的数据实例，不理解怎么实现

代码只有一份，但它映射到各个进程的地址空间中。那当某个进程调用动态库的函数时，由于处于当前进程的地址空间，动态库中的函数使用虚拟地址访问到的就是该进程的数据

zx_wing

原帖由 ytl 于 2008-9-28 14:48 发表


没人说通过动态库做进程间共享内存

楼主想看到的结果不外乎是这个static变量被加了两次，既然不同的进程看到的是一份全局变量，就是共享内存。

ytl

原帖由 zx_wing 于 2008-9-28 14:51 发表

代码只有一份，但它映射到各个进程的地址空间中。那当某个进程调用动态库的函数时，由于处于当前进程的地址空间，动态库中的函数使用虚拟地址访问到的就是该进程的数据

终于接近一点了。
但是每个进程的虚拟地址是不同的，而代码是相同的，怎么处理？前面有人说.got.plt,但是.got.plt同样有虚拟地址问题