关于gcc进行动态链接的问题

starwing83

网上的说明，使用-shared可以创建动态链接库。可是要加上-fPIC，说明是生成“位置无关代码”（Position Independent Code），网上有人说，加这个参数是为了让单纯一份代码能使多个程序共享，如果不加，那么动态库会以复制的方式在内存中存在多份，也就没有办法共享数据了。

关键是最后一句，让我想起了win32里面用DLL进行进程间通讯的技术。当即试验了下。步骤是这样的：

1. 一个动态库，代码是这样的：
#include <stdio.h>
int x = 10;
void func(void){printf("%d\n", x);}

2. 两个程序，第一个每隔一秒调用func，第二个修改x为20以后退出。
3.先执行第一个程序，然后在另一个终端执行第二个。

可是我的试验失败了，即使加了-fPIC，仍然无法让第二个程序影响第一个（第二个运行以后，第一个还是输出原来的值）。请问有没有办法实现Win32里面那种通过DLL进行的进程间通讯呢？


附带我对PIC的理解：可能被编译成so的程序是不附带数据域的，而只是写下对数据域的要求，在编译自己的程序时，会根据附加的库，自动把理应在库中的数据域放到主程序中，使得即使代码是PIC的，但是全局数据还是每个进程一份，因此无法做进程间通讯，不知道我猜测的对不对。

churchmice

x是存在rdata段中的
如果是全局的未赋值变量是存在bss段中的

starwing83

恩，这个是针对单个程序的，如果是带动态链接库的，那么数据是每个进程一份（存在于进程的诸段中），还是dll一份大家共享（存在于so文件的诸段中）？

objdump在so文件里面看到了data段（因为是int，所以在data段里面，不是在rdata段里面），但是怎么解释一个进程无法修改另一个进程在so文件里面的数据呢？两种解释：1. so文件的数据段是copy-on-write的，每个进程都共享，但是如果想写入，就是copy一份单独的。2. 载入的时候，不分三七二十一，先把so文件的所有数据段再载入一遍，专门给某个进程用。

究竟是哪种解释对呢？还是都不对？有没有利用so文件进行进程间通讯的可能性？

OwnWaterloo

shared
On Microsoft Windows, in addition to putting variable definitions in a named
section, the section can also be shared among all running copies of an executable
or DLL. For example, this small program defines shared data by putting it in
a named section shared and marking the section shareable:
int foo __attribute__((section ("shared"), shared)) = 0;
int
main()
{
  /* Read and write foo. All running
  copies see the same value. */
  return 0;
}
You may only use the shared attribute along with section attribute with a
fully initialized global definition because of the way linkers work. See section
attribute for more information.
The shared attribute is only available on Microsoft Windows.

我只知道这个……

OwnWaterloo

上面说的 shared 是放到源代码中的 __attribute__(xxx)
不是编译选项 -shared 哦