动手调试Linux 0.11：用GDB单步跟踪`switch_to`宏，亲眼看见进程切换的瞬间

深入Linux 0.11进程切换：用GDB解剖TSS与switch_to的每一个细节

引言：为什么需要亲手调试进程切换？

在操作系统的学习中，进程切换是一个既基础又关键的概念。教科书和理论讲解往往只能给出抽象的描述，而真正理解这一机制的最佳方式，就是亲手调试它。Linux 0.11作为早期Linux内核版本，其进程切换机制相对简单明了，是学习这一概念的绝佳材料。

本文将带你使用QEMU和GDB，一步步跟踪switch_to宏的执行过程，亲眼见证进程切换的每一个细节。通过这种方式，你将不仅理解"是什么"，更明白"为什么"和"如何做"。这种深入的理解，对于后续学习更复杂的调度算法、并发控制等高级主题至关重要。

1. 环境准备：搭建Linux 0.11调试环境

1.1 获取并编译Linux 0.11源码

首先，我们需要获取Linux 0.11的源代码并编译它。这个版本的内核非常小巧，编译过程也相对简单：

# 下载Linux 0.11源码 wget https://www.kernel.org/pub/linux/kernel/Historic/linux-0.11.tar.gz tar -xzf linux-0.11.tar.gz cd linux-0.11 # 编译内核 make

编译完成后，你会得到Image文件，这就是我们稍后要在QEMU中运行的内核映像。

1.2 配置QEMU模拟器

QEMU是一个功能强大的模拟器，可以模拟x86架构的运行环境。我们需要安装并配置它来运行Linux 0.11：

# 安装QEMU（Ubuntu/Debian） sudo apt-get install qemu-system-x86 # 启动Linux 0.11 qemu-system-i386 -m 16M -boot a -fda Image -hda hdc-0.11.img -s -S

这里有几个关键参数需要注意：

• -m 16M：指定16MB内存
• -s：开启GDB调试服务器（默认端口1234）
• -S：启动时暂停CPU，等待GDB连接

1.3 配置GDB调试器

在另一个终端中，我们需要启动GDB并连接到QEMU：

gdb (gdb) target remote localhost:1234 (gdb) file tools/system

注意：在较新的GDB版本中，可能需要先加载符号表（file tools/system）再连接远程目标。

2. 理解TSS：任务状态段的结构与作用

2.1 TSS的基本结构

TSS（Task State Segment）是x86架构中用于任务切换的关键数据结构。在Linux 0.11中，每个进程都有一个对应的TSS，它保存了进程的所有寄存器状态。TSS的结构定义如下（简化版）：

struct tss_struct { unsigned short back_link, __blh; unsigned long esp0; unsigned short ss0, __ss0h; unsigned long esp1; unsigned short ss1, __ss1h; unsigned long esp2; unsigned short ss2, __ss2h; unsigned long cr3; unsigned long eip; unsigned long eflags; unsigned long eax, ecx, edx, ebx; unsigned long esp, ebp; unsigned long esi, edi; unsigned short es, __esh; unsigned short cs, __csh; unsigned short ss, __ssh; unsigned short ds, __dsh; unsigned short fs, __fsh; unsigned short gs, __gsh; unsigned short ldt, __ldth; unsigned short trace, bitmap; };

2.2 TR寄存器与GDT的关系

TR（Task Register）是一个特殊的段寄存器，它指向当前进程的TSS描述符在GDT（全局描述符表）中的位置。通过这种方式，CPU可以快速找到当前进程的状态信息。

在GDB中，我们可以查看TR寄存器的值：

(gdb) info registers tr tr 0x28 40

这个值（0x28）是一个段选择子，它的结构如下：

这意味着：

• 索引为5（二进制101）
• TI=0，表示使用GDT而非LDT
• RPL=0，表示运行在最高特权级

3. 跟踪switch_to宏：从代码到硬件

3.1switch_to宏的展开

在Linux 0.11中，进程切换是通过switch_to宏实现的，它定义在include/linux/sched.h中：

#define switch_to(n) {\ struct {long a,b;} __tmp; \ __asm__("movw %%dx,%1\n\t" \ "ljmp %0" \ ::"m" (*&__tmp.a),"m" (*&__tmp.b), \ "d" (_TSS(n))); \ }

这个宏最终会被展开为一条ljmp指令，这是x86架构中用于任务切换的特殊指令。

3.2 设置断点并跟踪

为了观察进程切换的过程，我们需要在适当的位置设置断点：

(gdb) b schedule (gdb) b switch_to (gdb) c

当系统进行进程切换时，会先调用schedule()函数，然后通过switch_to宏完成实际的切换。我们可以单步执行这些代码：

(gdb) stepi

3.3 观察关键寄存器的变化

在执行ljmp指令前后，有几个关键寄存器会发生变化：

1. TR寄存器：指向新的TSS描述符
2. CS:EIP：指向新进程的执行点
3. ESP：切换到新进程的栈指针

我们可以使用以下命令观察这些变化：

(gdb) info registers tr cs eip esp

4. 实战：跟踪一次完整的进程切换

4.1 准备两个测试进程

为了更好地观察进程切换，我们可以创建两个简单的测试进程：

void process_a() { while(1) { printf("A"); sleep(1); } } void process_b() { while(1) { printf("B"); sleep(1); } }

4.2 捕获切换瞬间

当系统进行进程切换时，我们可以观察到以下关键步骤：

1. 保存当前进程状态：

   • CPU将当前寄存器值保存到当前进程的TSS中
   • 更新TR寄存器指向新进程的TSS描述符

2. 加载新进程状态：

   • 从新进程的TSS中恢复所有寄存器值
   • 包括CS:EIP，使CPU开始执行新进程的代码

在GDB中，这个过程看起来是这样的：

# 在执行switch_to之前 (gdb) p current->pid $1 = 1 (gdb) info registers tr tr 0x28 40 # 单步执行switch_to (gdb) stepi # 在执行switch_to之后 (gdb) p current->pid $2 = 2 (gdb) info registers tr tr 0x30 48

4.3 分析TSS内容的变化

我们还可以直接查看TSS内存区域的内容变化：

# 查看进程1的TSS (gdb) x/20x &tss[1] # 查看进程2的TSS (gdb) x/20x &tss[2]

通过比较切换前后的TSS内容，可以清楚地看到寄存器状态是如何被保存和恢复的。

5. 深入理解：TSS切换的优缺点与现代实现

5.1 TSS切换的性能问题

虽然TSS切换在概念上很简单（一条指令完成所有工作），但它有一些明显的缺点：

• 速度慢：一次完整的TSS切换需要200多个时钟周期
• 灵活性差：必须保存/恢复所有寄存器，即使有些可能不需要
• 不利于优化：现代CPU的流水线优化难以应用于这种切换方式

5.2 现代Linux的进程切换

现代Linux内核已经不再使用TSS进行进程切换，而是采用了更高效的基于栈的切换方式：

1. 保存关键寄存器到内核栈（而不是TSS）
2. 切换内核栈指针
3. 从新进程的内核栈恢复寄存器

这种方式更加灵活高效，也更容易与现代CPU架构配合。

5.3 为什么仍然需要学习TSS

尽管现代系统不再使用TSS进行进程切换，学习它仍然有价值：

1. 理解历史演变：知道为什么会有现在的设计
2. 深入硬件机制：TSS展示了CPU如何直接支持任务切换
3. 调试兼容代码：某些旧代码或特殊场景可能仍会使用TSS

6. 扩展实验：修改并观察TSS行为

为了更深入地理解TSS，我们可以尝试一些实验性的修改：

6.1 修改TSS内容

我们可以直接修改某个进程的TSS，然后观察切换时的行为：

(gdb) set tss[1].eip = 0x12345678

当下次切换回这个进程时，CPU会从我们设置的地址开始执行。

6.2 观察特权级切换

TSS中还保存了不同特权级的栈指针。我们可以观察当发生特权级变化时（如系统调用），这些字段是如何被使用的：

(gdb) watch tss[1].esp0

6.3 跟踪LDT切换

除了TSS，进程切换还涉及LDT（局部描述符表）的切换。我们可以跟踪这一过程：

(gdb) info registers ldtr

通过这些实验，你会对x86的保护模式机制有更直观的理解。

7. 常见问题与调试技巧

在实际调试过程中，你可能会遇到一些问题。以下是一些常见情况及解决方法：

7.1 GDB无法识别符号

如果GDB提示找不到符号，可能是因为没有正确加载符号表：

(gdb) file tools/system (gdb) add-symbol-file kernel/kernel.o 0x100000

7.2 断点不生效

确保在内核启动早期设置断点，或者在main()函数开始处设置初始断点：

(gdb) b start_kernel

7.3 观察内存内容

要查看特定地址的内存内容，可以使用x命令：

(gdb) x/10x &tss[0] # 查看进程0的TSS (gdb) x/10i 0x12345 # 反汇编指定地址的代码

7.4 记录调试会话

对于复杂的调试过程，可以记录命令以便后续分析：

(gdb) set logging on (gdb) set logging file debug.log

8. 从理论到实践：创建自定义任务切换

为了真正掌握任务切换机制，我们可以尝试实现一个简化的版本：

8.1 定义简化的TSS结构

struct simple_tss { unsigned long eip; unsigned long eflags; unsigned long esp; // 其他必要寄存器... };

8.2 实现切换函数

void simple_switch(struct simple_tss *from, struct simple_tss *to) { // 保存当前状态到'from' asm volatile("movl %%eip, %0" : "=m"(from->eip)); asm volatile("movl %%esp, %0" : "=m"(from->esp)); // 其他寄存器... // 从'to'恢复状态 asm volatile("movl %0, %%esp" : : "m"(to->esp)); asm volatile("jmp *%0" : : "m"(to->eip)); }

8.3 测试自定义切换

创建两个测试任务并观察切换过程：

struct simple_tss task1, task2; void task1_func() { while(1) { printf("Task 1\n"); simple_switch(&task1, &task2); } } void task2_func() { while(1) { printf("Task 2\n"); simple_switch(&task2, &task1); } }

通过这样的实践，你会对任务切换的底层机制有更深刻的理解。