加载可执行文件或执行库

Question

有一个大的数量的问题，关于如何执行库或动态加载一个可执行的SO。 据我所知，所有答案都归结为：将您的可执行文件编译为与位置无关的代码，并使用dlopen加载它。 这很好用 --- 并且在 macOS 上仍然很好用 --- 直到最近 glibc 的更改，它明确禁用了dlopen ing PIE。 例如，此更改现在在 ArchLinux 上的当前版本的 glibc (2.30) 中，并且尝试dlopen与位置无关的可执行文件会出现错误：“无法动态加载与位置无关的可执行文件”。

很难猜测是什么促使了如此彻底的改变，破坏了如此多的代码和有用的用例。 （关于 Patchwork 和 Bugzilla 的解释对我来说没有多大意义。）但现在有一个问题：如果你想创建一个也是动态库的可执行文件，反之亦然，该怎么办？

从其中一条评论链接了一个解决方案。 在此复制以供后人使用：

#include <stdio.h>
#include <unistd.h>

const char service_interp[] __attribute__((section(".interp"))) = "/lib/ld-linux-x86-64.so.2";

extern "C" {

void lib_entry(void)
{
  printf("Entry point of the service library\n");    
  _exit(0);
}

}

使用g++ -shared test-no-pie.cpp -o test-no-pie -Wl,-e,lib_entry生成一个共享对象（动态库），它也可以在 Linux 上执行。

我有两个问题：

1. 如果我想传递命令行参数怎么办？ 如何修改此解决方案以使其接受arc,argv ？
2. 还有其他选择吗？

Answer 1

很难猜测是什么促使了如此彻底的变化

不是真的：它从来没有正常工作过。

这打破了这么多代码

该代码已经以微妙的方式被破坏了。 现在你得到一个明确的迹象，它不会工作。

还有其他选择吗？

不要那样做？

dlopen可执行文件解决了什么问题？

如果这是一个真正的问题，请打开 GLIBC bugzilla 功能请求，解释该问题并请求支持的机制以实现所需的结果。

更新：

至少说一下为什么“它从来没有正常工作过”。 是一些琐碎的事情，比如可执行文件之间潜在的全局冲突，还是真实的东西？

线程局部变量是一个不能正常工作的例子。 你是否认为它们是“真实的”，我不知道。

这是代码：

// foo.c
#include <stdio.h>

__thread int var;

__attribute__((constructor))
static void init()
{
  var = 42;
  printf("foo.c init: %d %p\n", var, &var);
}

int bar() {
  printf("foo.c bar:  %d %p\n", var, &var);
  return var;
}

int main()
{
  printf("foo.c main: %d %p bar()=%d\n", var, &var, bar());
  return 0;
}

gcc -g foo.c -o foo -Wl,-E -fpie -pie && ./foo
foo.c init: 42 0x7fb5dfd7d4fc
foo.c bar:  42 0x7fb5dfd7d4fc
foo.c main: 42 0x7fb5dfd7d4fc bar()=42

// main.c
// Error checking omitted for brevity
#include <dlfcn.h>
#include <stdio.h>

int main()
{
  void *h1 = dlopen("./foo", RTLD_LOCAL|RTLD_LAZY);
  int (*bar)(void) = dlsym(h1, "bar");

  printf("main.c: %d\n", bar());
  return 0;
}

gcc -g main.c -ldl && ./a.out
foo.c init: 42 0x7fb7305da73c
foo.c bar:  0 0x7fb7305da73c    <<< what?
main.c: 0                       <<< what?

这是使用GNU C Library (Debian GLIBC 2.28-10) stable release version 2.28.

底线：这从来没有被设计成有效的，你只是碰巧没有踩到许多地雷，所以你认为它有效，而实际上你正在行使未定义的行为。

Answer 2

请看这个回答：

https://stackoverflow.com/a/68339111/14760867

argc , argv问题在那里没有回答，但是当我发现我需要一个时，我一起破解了一些东西，以便在运行时解析/proc/self/cmdline以供pam_cap.so使用。