Question

我有一个共享库，我想使其可执行，类似于libc。当库执行时，我希望它转储一个在特定抽象工厂注册的类的名称列表（这是C ++）。我使用标准技术通过初始化/构造全局变量向工厂注册类。

有几个关于如何使共享库可执行的教程（例如here和here）。这是相对直接的。但是，当我尝试它时，我发现入口点是在之前执行的执行全局变量的任何构造函数。在我的情况下，这意味着我的工厂没有注册任何课程，因此我没有信息可以打印出来。

我想在调用构造函数后执行之后的入口点，或者从我的入口点函数学习如何自行触发构建。这可能吗？有谁知道怎么做这个？也许有一个内部libc函数，我可以extern并调用？

Answer 1

我相信我遇到了一个可行的解决方案。它基于创建-nostdlib可执行文件（如OS内核）的技术。但是，在这种情况下，我们的共享库仍然链接标准库。我发现this RaspberryPi论坛帖子特别有用。

解决方案是手动执行存储在共享库的嵌入式init_array中的函数指针。诀窍是使用链接描述文件来定义访问此数组的指针。然后我们在程序代码中extern这些指针。我们也可以重复执行析构函数的过程。

在test.cpp中，我们有以下内容：

#include <cstdio>
#include <unistd.h>

class Test
{
public:
    Test() { printf("Hello world!\n"); }
    ~Test() { printf("Goodbye world!\n"); }
};

Test myGlobal;  // a global class instance

extern "C"
{
// ensures linker generates executable .so (assuming x86_64)
extern const char test_interp[] __attribute__((section(".interp"))) =
    "/lib64/ld-linux-x86-64.so.2";

// function walks the init_array and executes constructors
void manual_init(void)
{
    typedef void (*constructor_t)(void);
    // _manual_init_array_start and _manual_init_array_end
    // are created by linker script.
    extern constructor_t _manual_init_array_start[];
    extern constructor_t _manual_init_array_end[];

    constructor_t *fn = _manual_init_array_start;
    while(fn < _manual_init_array_end)
    {
        (*fn++)();
    }
}

// function walks the fini_array and executes destructors
void manual_fini(void)
{
    typedef void (*destructor_t)(void);
    // _manual_init_array_start and _manual_init_array_end
    // are created by linker script.
    extern destructor_t _manual_fini_array_start[];
    extern destructor_t _manual_fini_array_end[];

    destructor_t *fn = _manual_fini_array_start;
    while(fn < _manual_fini_array_end)
    {
        (*fn++)();
    }
}

// entry point for libtest.so when it is executed
void lib_entry(void)
{
    manual_init();  // call ctors
    printf("Entry point of the library!\n");
    manual_fini();  // call dtors

    _exit(0);
}

我们需要通过链接描述文件手动定义_manual*指针。我们必须使用INSERT关键字，以便不完全替换ld的默认链接描述文件。在文件test.ld中，我们有：

SECTIONS
{
    .init_array : ALIGN(4)
    {
        _manual_init_array_start = .;
        *(.init_array)
        *(SORT_BY_INIT_PRIORITY(.init_array.*))
        _manual_init_array_end = .;
    }
}
INSERT AFTER .init; /* use INSERT so we don't override default linker script */

SECTIONS
{
    .fini_array : ALIGN(4)
    {
        _manual_fini_array_start = .;
        *(.fini_array)
        *(SORT_BY_INIT_PRIORITY(.fini_array.*))
        _manual_fini_array_end = .;
    }
}
INSERT AFTER .fini; /* use INSERT so we don't override default linker script */

我们必须为链接器提供两个参数：（1）我们的链接器脚本和（2）我们库的入口点。要编译，我们执行以下操作：

 g++ test.cpp -fPIC -Wl,-T,test.ld -Wl,-e,lib_entry -shared -o libtest.so

在命令行执行libtest.so时，我们得到以下输出：

$ ./libtest.so 
Hello world!
Entry point of the library!
Goodbye world!

我还尝试在除test.cpp之外的.cpp文件中定义全局变量，这些文件也被编译到共享库中。 ctor调用这些全局变量包含在init_array中，因此它们由manual_init()调用。当它作为常规共享库加载时，该库“正常”工作。

如何触发可执行共享库（.so）中全局变量的c？

1 个答案: