裸机与启动代码：GRUB与多引导

可视化演示

展示GRUB多阶段引导加载流程与Multiboot规范：引导阶段模式演示BIOS到内核的五步启动链；头部结构模式展示Multiboot魔数与信息字段；内存布局模式展示内核加载地址与GRUB信息结构传递。

启动流程全貌

从按下电源键到屏幕出现登录界面，中间是一场「接力旅行」。第一棒是固件BIOS，它像机场的摆渡车调度员——接你出车门（POST自检），确认所有硬件到位，然后把你送到第一个值机柜台（MBR）。这段旅程全程跑在一张非常古老的地图上：实模式。在实模式下，CPU用「段＋偏移」拼出物理地址，就像用「航站楼＋登机口」定位一个座位：段寄存器是航站楼编号，偏移是登机口号。

BIOS把硬盘第一个扇区（512字节）读到固定地址0x7C00，然后跳过去执行。这个扇区叫MBR，它的最后两个字节必须是0x55AA，相当于「本班摆渡车已盖章放行」。MBR里躺着的就是GRUB的第一段代码stage1。控制权在这里完成第一次交接：BIOS → 引导扇区 → GRUB → 内核，每一棒都只向前跑一小段，跑完就把「控制权接力棒」交给下一棒。

为什么引导扇区偏偏被搬到0x7C00？因为这是BIOS与操作系统之间的「古老约定」——就像机场摆渡车永远停在同一个接驳口，只有停在这个固定位置，后面的大巴（GRUB）才能顺利接手。搞懂这张老地图，你就明白引导代码为什么总在内存里「搬家」。

多引导规范

假设机场有十几个地勤团队，每队都用自己的暗号接待旅客，那旅客一定晕头转向。于是机场发布《统一服务手册》——多引导规范（Multiboot Spec）。它规定：任何想被GRUB接待的内核镜像，必须把「行李牌」（Multiboot头部）挂在同一个显眼位置（文件前8KB内），并按统一格式写清三个关键数字：魔数、标志、校验和。

魔数是0x1BADB002，它像行李牌上的机场LOGO，一看到就知道「这箱子符合手册」。GRUB扫描内核镜像前8192字节，按4字节对齐搜这个魔数；一旦命中，就读出flags（标志位，告诉GRUB内核想要什么服务）和checksum（校验和），三者相加必须能在32位世界里归零。这样设计，是为了防止某位旅客随手写个假行李牌骗过地勤——任何一位改动，校验立刻爆雷。

有了这本统一手册，任何语言写出的内核，只要把头部按规格挂好，GRUB都能顺利「值机」。后来UEFI启动规范也沿用了这个思想——用标准接口隔离「硬件」与「操作系统」，让两个世界各干各的活。

阶段引导流程

我们把镜头拉近，看地勤三兄弟如何接力。stage1是手里只有一张小纸条的引导员，纸条上写着「去第N号停机位找摆渡车」，它被塞在MBR那512字节里，多一个字都放不下。stage1.5是摆渡车司机，他认识路——准确说是认识文件系统——能开进停车场（/boot分区），从车库里把大巴调出来。stage2是大巴司机，他把一车人带到航站楼大屏前，等大家选航班（GRUB菜单）。

三阶段的地址换算很简单：磁盘按扇区编号，每个扇区固定512字节。stage1读盘时向BIOS报「LBA逻辑区块地址」，BIOS按编号把数据从指定扇区搬进内存。stage1先拉stage1.5或stage2，stage2再读grub.cfg、显示菜单、把内核与initrd放入内存。每段代码只干一件事，件件精炼到极致。

三兄弟的接力虽然繁琐，但这就是引导程序的生存哲学：每一棒都小到能塞进硬件给的「抽屉」里。如今的GRUB2已经把三阶段改成了模块化的core.img，但「小步接力」的底层思路从未改变。

配置文件语法

航站楼里那块航班大屏，对应磁盘上的grub.cfg。它会倒计时：如果时间到你还犹豫，就按默认航班（第一个菜单项）执行；如果你提前按下方向键，就尊重你的选择。每个航班（menuentry）的登机牌上都写着登机口（linux行）和行李车（initrd行），GRUB照着这些信息把内核和临时文件系统装进内存。

grub.cfg中最核心的三行：set default=0表示默认启动第一项，set timeout=5表示倒计时5秒。menuentry定义一个菜单项，内部的linux行指向内核镜像并附上启动参数（比如root=指定根分区），initrd行加载内存盘给内核当临时根文件系统。老式写法里的root (hd0,msdos1)指定「哪个硬盘哪个分区」，新式写法改用set root=配合UUID，但含义一脉相承：先找到行李在哪，再决定登机口。

看懂grub.cfg，就像读懂登机牌：set root告诉你身处哪个航站楼，menuentry决定你的目的地，linux行写了最后的登机口。定制启动菜单、做双系统、调内核参数，全都从这三行开始。

内核镜像格式

登机前还有一道核验：你的行李（内核镜像）上必须贴两张标签。一张是行李标签——ELF头部，写着箱子该放进哪个货舱（段）、货舱在哪一层（加载地址）；另一张是专用贴纸——Multiboot头部，贴在箱子最容易看到的位置（文件前8KB内），写着「此箱符合统一服务手册」。GRUB就是靠这两张标签完成「托运」的。

Linux和BSD内核大多采用ELF格式（Executable and Linkable Format，可执行与可链接格式）。ELF头部记录了程序入口点e_entry，相当于「箱子的提手在哪个位置」；program header table则列出每个段要加载到内存的哪个虚拟地址，相当于货舱分布图。GRUB读这些信息，把内核各段搬到正确位置，再回头校验Multiboot头部的魔数与校验和——两张标签对得上，才放心放行。

行李标签和专用贴纸缺一不可：没有ELF头，GRUB不知道内核放哪；没有Multiboot头，GRUB不认这个「箱子」。正是因为GRUB包揽了这些脏活，内核作者才能从「自己写引导扇区」中解放出来，开机第一行代码就站在保护模式的跑道上。

保护模式切换

你终于走到登机口，但登机前还有最后一道安检：从「国内小航站楼」（实模式，1MB地址空间）转入「国际大型枢纽」（保护模式，4GB地址空间）。地勤先打开安检通道（GDT），再按下总开关（CR0的PE位），顺手开启一条通向远方的传送带（A20地址线），然后你大步走进机舱——远跳转进入内核入口。

进入保护模式需要四步配合：①用lgdt指令加载GDT，把「段描述符」这张地图准备好；②用mov cr0, eax把CR0寄存器第0位置1，按下模式切换总开关；③通过键盘控制器端口写命令开启A20地址线，让地址总线能摸到1MB以上；④执行远跳转刷新CS段寄存器，完成「换地图」。四步环环相扣，缺一步都会在内存寻址上翻车。

这道安检是全程最丝滑的一站：多亏GRUB全包了，内核醒来时已经在保护模式的巡航高度，不必从实模式一步步爬升。你只管在入口处检查eax和ebx两个寄存器里递来的「登机信息」——魔数0x2BADB002和Multiboot信息结构指针。

构建与排错

出发前，机场地勤会按《行李检查清单》逐项核对：登机牌（grub.cfg）、行李牌（Multiboot头）、签证（A20线）都齐了吗？GRUB的安装与排错也是一张可重复的检查清单。组装一台能启动的机器，通常只需一条命令：grub-install /dev/sda。它会往MBR写stage1，把stage1.5、stage2和模块复制到/boot/grub，最后用grub-mkconfig生成grub.cfg。

启动失败是裸机开发的家常便饭。最常听到的三句抱怨：no such partition——GRUB没找到/boot所在的磁盘分区，多半是UUID变了；missing multiboot header——内核镜像头部没按规范放，魔数不在前8KB或没对齐；invalid magic number——镜像是一堆随机字节被误认成内核。排查时先用file看ELF格式对不对，用hexdump -C验证魔数和0x55AA，最后上QEMU搭配GDB单步跟踪引导流程。

有了这张清单，即使旅途颠簸，你也能像老地勤一样迅速定位问题。裸机开发最宝贵的不是背诵指令，而是这套「怀疑—验证—定位」的调试直觉——它会在未来每一次内核崩溃时救你于水火。

AI 应用场景

Python 演示

#!/usr/bin/env python3"""解析 Multiboot 头部并校验魔数与校验和"""import structimport sys MULTIBOOT_MAGIC = 0x1BADB002HEADER_SIZE = 12SCAN_BYTES = 8192  def find_header(data):    for off in range(0, SCAN_BYTES - HEADER_SIZE, 4):        magic = struct.unpack_from("<I", data, off)[0]        if magic == MULTIBOOT_MAGIC:            return off    return -1  def parse_header(data, off):    magic, flags, checksum = struct.unpack_from("<III", data, off)    total = (magic + flags + checksum) & 0xFFFFFFFF    return {        "magic": hex(magic),        "flags": hex(flags),        "checksum": hex(checksum),        "valid": total == 0,    }  def main():    path = sys.argv[1] if len(sys.argv) > 1 else "kernel.bin"    with open(path, "rb") as f:        data = f.read(SCAN_BYTES)    off = find_header(data)    if off < 0:        print("未找到 Multiboot 头部，魔数缺失或不在前8KB内")        return 1    info = parse_header(data, off)    print(f"头部偏移: 0x{off:X}")    print(f"magic:    {info['magic']}")    print(f"flags:    {info['flags']}")    print(f"checksum: {info['checksum']}")    print(f"校验通过: {info['valid']}")    return 0 if info["valid"] else 1  if __name__ == "__main__":    sys.exit(main())

1. struct.unpack_from("<I", data, off)[0]从指定偏移处按小端序读一个32位无符号整数，<I就是“小端、无符号整型”。
2. range(0, SCAN_BYTES - HEADER_SIZE, 4)规范要求头部在前8KB内且4字节对齐，所以步长是4，逐点扫描而非全文搜索。
3. (magic + flags + checksum) & 0xFFFFFFFF让三字段相加并在32位世界回绕，回绕后为0才算校验通过，模拟GRUB的判定逻辑。
4. open(path, "rb")以二进制模式打开文件，避免文本模式在Windows上把换行符偷偷改掉，破坏字节对齐。
5. f.read(SCAN_BYTES)只读前8192字节，扫描范围与GRUB完全一致，符合规范也省内存。

常见误区

面试题