使用Rust创建一个静态库，将其链接到arm-none-eabi C代码固件

Question

我有一个用于Nordic nRF52832 BLE微控制器的现有C固件。我想把一些新代码链接到它，我在Rust写的。

当我尝试这样做时，链接器抱怨我有两个不同的堆栈定义：

/nix/store/m7gf0nzixwgqk21an0fxc047qa0mvbng-gcc-arm-embedded-7-2018-q2-update/bin/../lib/gcc/arm-none-eabi/7.3.1/../../../../arm-none-eabi/bin/ld: .stack_dummy has both ordered [`.stack_sizes' in /home/matthias/source/tbconnect/modem/target/thumbv7em-none-eabihf/release/libtbmodem.a(alloc-314aba8dbd2706e9.alloc.deuukmti-cgu.0.rcgu.o)] and unordered [`.stack' in .sdk/modules/nrfx/mdk/gcc_startup_nrf52.o] sections

我想这里的重要部分是链接器告诉我，SDK Nordic为BLE微控制器提供了.stack_dummy，而Rust库提供了自己的堆栈定义。

实际上我希望，编译为库的代码不提供堆栈的定义。如果所有库都定义了堆栈，我如何将多个库链接到项目中？这个假设我完全错了吗？

所以我想知道我对Rust库的定义是否完全错误。

Cargo.toml：

[package]                                                                        
name = "tbmodem"                                                                 
version = "0.1.0"                                                                                          
edition = "2018"                                                                 
publish = false                                                                  

[lib]                                                                            
crate-type = ["staticlib"]                                                       

[profile.dev]                                                                    
panic = "abort"                                                                  

[profile.release]                                                                
panic = "abort"                                                                  

[dev-dependencies]                                                               
timebomb = "0.1.2"

然后使用cargo build --release --target thumbv7em-none-eabihf编译代码

Answer 1

在计算堆栈大小时，它看起来像GCC和LLVM之间的不兼容性。

.stack_sizes部分包含LLVM堆栈元数据：llc -stack-size-section option。这些似乎是成对的函数指针和大小，与.text部分的顺序相同（因此错误消息中的ordered）。

在GCC链接器脚本中我找到（在Debian上的/usr/share/doc/gcc-arm-none-eabi/examples/ldscripts/gcc.ld，你的可能会或可能不会看起来不同）：

    /* .stack_dummy section doesn't contains any symbols. It is only
     * used for linker to calculate size of stack sections, and assign
     * values to stack symbols later */
    .stack_dummy (COPY):
    {
            *(.stack*)
    } > RAM

    /* Set stack top to end of RAM, and stack limit move down by
     * size of stack_dummy section */
    __StackTop = ORIGIN(RAM) + LENGTH(RAM);
    __StackLimit = __StackTop - SIZEOF(.stack_dummy);
    PROVIDE(__stack = __StackTop);

    /* Check if data + heap + stack exceeds RAM limit */
    ASSERT(__StackLimit >= __HeapLimit, "region RAM overflowed with stack")

因此，GCC使用具有所需堆栈大小的虚拟部分，并以任何顺序将它们放在.stack_dummy中，这将导致所需的总堆栈大小。因为.stack_sizes匹配*(.stack*)，GCC链接器试图将LLVM部分放在.stack_dummy中，但是失败了。

因此，您可以尝试在Rust中禁用-stack-size-section，也可以修改链接器文件。