Question

我正在实施遗传算法，这些生物是具有三个指针作为输入和输出的函数。所有都有以下形式：

// No need for global variables

void _start (float *i, float *o, float *m)
{
    ...
    ...
    ...
}

生物应该是几千，而且非常小，所以我决定不使用共享对象，只需加载原始代码并运行它。

生物被编译

gcc -O3 -c code.c

然后我以这种方式获取函数的代码

objcopy -O binary --only-section=.text code.o rawcode

然后将代码加载到内存中并运行它

((void(*)(void*,void*,void*)) loaded_code) (i, o, m);

这项工作直到源代码没有浮点文字，例如代码：

void _start (int *i, int *o, int *m)
{
    i[0] = m[0] + m[1];
}

Compilated生成此工作代码：

gcc -O3 -c code.c
objdump -d code.o

code.o:     formato del file elf64-x86-64


Disassemblamento della sezione .text:

0000000000000000 <_start>:
   0:   f3 0f 10 02             movss  (%rdx),%xmm0
   4:   f3 0f 58 42 04          addss  0x4(%rdx),%xmm0
   9:   f3 0f 11 07             movss  %xmm0,(%rdi)
   d:   c3                      retq

但是浮点字面值的函数为：

void _start (float *i, float *o, float *m)
{
    i[0] = m[0] + 3.0f;
}

生成一个代码，执行时不会给出正确的结果

gcc -O3 -c code.c
objdump -d code.o

code.o:     formato del file elf64-x86-64


Disassemblamento della sezione .text:

0000000000000000 <_start>:
   0:   f3 0f 10 05 00 00 00    movss  0x0(%rip),%xmm0        # 8 <_start+0x8>
   7:   00 
   8:   f3 0f 58 02             addss  (%rdx),%xmm0
   c:   f3 0f 11 07             movss  %xmm0,(%rdi)
  10:   c3                      retq

每次使用％rip 生成指令时都会发生这种情况。如何设置gcc不生成此代码？理论上，插入浮点常量可以here完成吗？

你有什么建议可以避免这个问题吗？

Answer 1

编译器将常量放入您甚至不复制的.rodata部分，因此它不仅仅是一个重定位问题。您可以使用自定义链接描述文件，根据需要合并和重定位代码，而不是objcopy，如下所示：

OUTPUT_FORMAT(binary)

SECTIONS
{
    merged : {
        *(.text)
        *(.rodata)
    } = 0x90

    /DISCARD/ : {
        *(*) /* discard everything else */
    }
}

不确定为什么要避免共享对象，这将是最简单的解决方案。你可以dlopen他们，而不用担心细节。

重定位二进制代码时出错（gcc - ＆gt; objdata - ＆gt;加载二进制代码 - ＆gt;并执行）

1 个答案: