PROVIDE

PROVIDE 关键字用于定义这类符号：在目标文件内被引用，但没有在任何目标文件汇总 被定义的符号，命令格式如下：

PROVIDE(symbol = expression)

一个简单例子

SECTIONS
{
    .data : 
    { 
        *(.data) 
        _edata = .;
        PROVIDE(_edata);
    }
}

目标文件内引用 _edata 符号，却没有定义它是，_edata 符号对应的地址被定义为 .text section 之后的第一个字节地址。

extern char _edata;
int main()
{
    return 0;
}

e.g. 三个源文件 DemoA.c，DemoB.c 和 DemoC.c，其中 DemoA.c 引用 DemoA.c 和 DemoB.c 里面的函数，使用 GCC 生成独立的目标文件 DemoA.o，DemoB.o 和 DemoC.o。 ld 使用链接脚本 Demo.lds, 并且在 Demo.lds 里面通过使用 PROVIDE 关键字导出一个 符号在目标源码里面使用：

DemoA.c

extern void print();
extern void exit();

extern char _edata;

void nomain()
{
    print();
    exit();
}

DemoB.c

char *str = "Hello World\n";

void print()
{
    __asm__ ("movl $13, %%edx\n\t"
             "movl %0, %%ecx\n\t"
             "movl $0, %%ebx\n\t"
             "movl $4, %%eax\n\r"
             "int $0x80\n\t"
             :: "r" (str) : "edx", "ecx", "ebx");
}

DemoC.c

void exit()
{
    __asm__ ("movl $42, %ebx\n\t"
             "movl $1, %eax\n\t"
             "int $0x80\n\t");
}

Demo.lds

ENTRY(nomain)

INPUT(DemoA.o)
INPUT(DemoB.o)
INPUT(DemoC.o)

SECTIONS
{
    . = 0x08048000 + SIZEOF_HEADERS;

    DemoText : { *(.text) }

    DemoData : 
    {
        *(.data) *(.rodata)
        PROVIDE(_edata = .);
    }

    .eh_frame : { *(.eh_frame) }

    /DISCARD/ : { *(.comment) }
}

使用如下命令进行编译和链接：

gcc DemoA.c -c
gcc DemoB.c -c
gcc DemoC.c -c -fno-builtin
ld -static -T Demo.lds -o a.out
objdump -xSsdh a.out

LD

附录

BiscuitOS Home

BiscuitOS Driver

BiscuitOS Kernel Build

Linux Kernel

Bootlin: Elixir Cross Referencer

赞赏一下吧 🙂

MMU