无标准库编译32位x86用户程序时如何生成_start入口符号？

当使用-nostdlib编译时，GLIBC提供的启动代码（包含_start符号的crt0.o等文件）被排除，因此链接器找不到程序入口，只能默认指向代码段起始地址。你完全可以自行实现_start符号，并将其链接到用户程序中，这是无标准库环境下的标准做法。

1. 用汇编实现_start #

_start是ELF程序的入口点，内核加载程序后会直接跳转到这个地址执行。由于需要直接操作寄存器处理内核传递的参数（argc、argv），通常用汇编编写更合适。以下是32位x86环境下的示例代码（保存为start.s）：

.global _start

_start:
    # 32位x86内核启动用户程序时，会将argc放入eax，argv放入ebx
    # 准备调用main函数的参数：main(argc, argv)
    push ebx        # 第二个参数：argv
    push eax        # 第一个参数：argc
    call main       # 调用C实现的main函数

    # main返回后，处理返回值（调用自定义libc的exit）
    push eax        # 将main的返回值作为exit的参数
    call exit       # 假设自定义libc中已实现exit函数

    # 防止exit返回后的无效执行
    hlt
    jmp $

2. 实现自定义libc的必要函数 #

你的自定义libc需要包含exit函数，用于处理程序退出逻辑（通常是触发自研OS的系统调用）。示例实现（保存为libc.c）：

void exit(int status) {
    // 假设自研OS的exit系统调用号为1，通过int 0x80触发
    asm volatile ("int $0x80" : : "a"(1), "b"(status));
    // 系统调用返回后进入死循环，避免程序跑飞
    while (1);
}

3. 编译与链接流程 #

按以下步骤编译用户程序、启动代码和自定义libc：

• 编译用户C程序：

  gcc -m32 -c user_program.c -o user_program.o -nostdlib
  

• 编译汇编启动代码：

  nasm -f elf32 start.s -o start.o
  

• 编译自定义libc：

  gcc -m32 -c libc.c -o libc.o -nostdlib
  

• 链接所有目标文件：

  ld -m elf_i386 start.o user_program.o libc.o -o user_program.elf -nostdlib
  

链接完成后，ld会找到_start符号并将其设为ELF的入口地址，不再出现找不到_start的警告。

额外说明 #

• 如果不想实现_start，也可以通过链接器参数-e指定其他入口（比如-e main），但这种方式会跳过参数传递的初始化逻辑，导致main的argc和argv无法正确获取，仅适用于不需要命令行参数的简单程序。
• _start的核心职责是完成程序启动的初始化（参数传递、栈帧准备），调用main，并处理main返回后的退出流程，这是符合ELF规范的标准实现方式。

内容的提问来源于stack exchange，提问作者Eylon