【发布时间】:2019-06-23 02:42:09
【问题描述】:
我有两个相同行为的实现,我认为它们应该会产生相同的结果,但会产生不同的结果。在 Go 中使用 cgo 编译时,我得到的符号地址解析与在 C 中编译时不同。我想了解原因。
我将问题简化为几个小例子,一个用 C 语言,一个用 Go 语言。我在我的 Mac 笔记本电脑上运行的 Ubuntu 18 Docker 容器中测试了这些。
test.c:
// gcc test.c -D_GNU_SOURCE -ldl
// Output: Real: 0x7fd05559d7d0 Current: 0x7fd05559d7d0
#include <dlfcn.h>
#include <stdio.h>
int main() {
void * fd = dlopen("libc.so.6", RTLD_LAZY);
void * real_sym = dlsym(fd, "accept");
void * curr_sym = dlsym(RTLD_NEXT, "accept");
printf("Real: %p Current: %p\n", real_sym, curr_sym);
return 0;
}
test.go:
// go build test.go
// Output: Real: 0x7f264583b7d0 Current: 0x7f2645b1b690
package main
// #cgo CFLAGS: -D_GNU_SOURCE
// #cgo LDFLAGS: -ldl
// #include <dlfcn.h>
import "C"
import "fmt"
func main() {
fp := C.dlopen(C.CString("libc.so.6"), C.RTLD_LAZY)
real_sym := C.dlsym(fp, C.CString("accept"))
curr_sym := C.dlsym(C.RTLD_NEXT, C.CString("accept"))
fmt.Printf("Real: %p Current: %p\n", real_sym, curr_sym)
}
当test.c 被编译时,我得到Real: 0x7fd05559d7d0 Current: 0x7fd05559d7d0 的输出(gcc test.c -D_GNU_SOURCE -ldl)。但是,当我构建test.go 时,我看到了Real: 0x7f264583b7d0 Current: 0x7f2645b1b690。
我假设 go 本身包装了一些符号,但我想确切地知道发生了什么。谢谢!
在看到一些最初的 cmets 之后,还有几件额外的作品。我如下更改了test.c,然后循环运行(while [ 1 ]; do ./a.out; done)。它始终为我获得相同的地址(但每次运行都不同)。
// gcc test.c -D_GNU_SOURCE -ldl
// Output: Real: 0x7fd05559d7d0 Current: 0x7fd05559d7d0
#include <dlfcn.h>
#include <stdio.h>
int main() {
void * fd = dlopen("libc.so.6", RTLD_LAZY);
void * real_sym = dlsym(fd, "accept");
void * curr_sym = dlsym(RTLD_NEXT, "accept");
if(real_sym != curr_sym) {
printf("Real: %p Current: %p\n", real_sym, curr_sym);
}
return 0;
}
我还尝试修改 Go 代码以检查它是否与 Go 调用 C 的方式有关,但地址仍然不匹配:
// go build dos.go
// Output: Real: 0x7f264583b7d0 Current: 0x7f2645b1b690
package main
// #cgo CFLAGS: -D_GNU_SOURCE
// #cgo LDFLAGS: -ldl
// #include <dlfcn.h>
// #include <stdio.h>
// int doit() {
// void * fd = dlopen("libc.so.6", RTLD_LAZY);
// void * real_sym = dlsym(fd, "accept");
// void * curr_sym = dlsym(RTLD_NEXT, "accept");
// printf("Real: %p Current: %p\n", real_sym, curr_sym);
// return 0;
// }
import "C"
func main() {
C.doit()
}
另一点是,如果我查找 malloc 符号而不是 accept,我会在 C 和 Go 代码中得到匹配的两个地址。
【问题讨论】:
-
你为什么希望它们是一样的?如果你愿意,我稍后会删除这条无益的评论,但我不明白你的假设。
-
动态链接器不一定每次都在同一(虚拟)地址加载库和单个符号。我目前看不出有任何理由期望这两个程序的输出是相同的。
-
如果你重复运行任何一个程序,你会得到相同的结果吗?
-
您的
dlopen可能已经加载了您应该避免的 另一个 libc.so.6。对此有一个RTLD_NOLOAD选项。还有一个噩梦,称为符号版本控制...