DATA_SEGMENT_RELRO_END

DATA_SEGMENT_RELRO_END(exp)

此命令为 ld 使用了 -z relro 命令的情况下定义了 PT_GNU_RELRO 段的结尾。若没有使 用 -z relro， DATA_SEGMENT_RELRO_END 不做任何事情，否则 DATA_SEGMENT_RELRO_END 将被填充，因此 expr + offset 被对齐到某个目标最常见的页边界。如果出现在链接脚 本内，其通常位于 DATA_SEGMENT_ALIGN 和 DATA_SEGMENT_END 之间。第二个参数加上任 何 PT_GNU_RELRO 段需要的填充都会导致段对齐。

一个简单例子

SECTIONS
{
    . = DATA_SEGMENT_ALIGN(CONSTANT(MAXPAGESIZE),CONSTANT(COMMONPAGESIZE));
    . = DATA_SEGMNET_RELRO_END(24,.);
    .data : { *(.data) }
    . = DATA_SEGMENT_END(.);
}

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 里面通过使用 DATA_SEGMENT_END 关键字 对数据段进行处理：

DemoA.c

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

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) }

    . = 0x08049001;

    . = DATA_SEGMENT_ALIGN(CONSTANT(MAXPAGESIZE),CONSTANT(COMMONPAGESIZE));

    . = DATA_SEGMNET_RELRO_END(24,.);

    DemoData : { *(.data) }

    . = DATA_SEGMENT_END(.);

    DemoRD : { *(.rodata) }

    .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 -z relro -o a.out
objdump -xSsdh a.out

LD

附录

BiscuitOS Home

BiscuitOS Driver

BiscuitOS Kernel Build

Linux Kernel

Bootlin: Elixir Cross Referencer

赞赏一下吧 🙂

MMU