ki-pi1. 项目概述：操作系统内核开发全流程复盘
去年我用半年时间完整实现了《操作系统真像还原》这本经典教材的所有实验，从零构建了一个具备基础功能的操作系统内核。这个项目不仅让我深入理解了计算机底层原理，更成为我后来面试系统开发岗位时的核心谈资。今天我就把整个开发过程中的关键节点、技术难点和面试常见问题做个系统梳理。
这个自制操作系统最终实现了内存管理、进程调度、文件系统等核心模块，代码量约1.2万行（C语言占85%，汇编15%）。在x86架构上运行稳定，能支持多任务切换和基础的系统调用。整个开发过程在Ubuntu环境下使用GCC交叉编译工具链完成，调试主要依赖Bochs模拟器和QEMU。
提示：本文内容特别适合准备系统开发岗面试的同学，我会重点标注面试官常问的技术点和考察意图。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 开发环境与工具链配置
2.1 基础环境搭建
开发自制操作系统需要特殊的工具链配置，这与普通应用开发有本质区别。我的环境配置如下：
- 主机系统：Ubuntu 22.04 LTS
- 交叉编译器：i686-elf-gcc 11.2.0
- 模拟器：Bochs 2.7 + QEMU 6.2
- 调试工具：GDB 10.2 + objdump
关键配置步骤：
bash复制# 安装交叉编译工具链
sudo apt install build-essential bison flex libgmp3-dev libmpc-dev libmpfr-dev texinfo
wget https://ftp.gnu.org/gnu/gcc/gcc-11.2.0/gcc-11.2.0.tar.gz
tar -xzf gcc-11.2.0.tar.gz
mkdir build-gcc && cd build-gcc
../gcc-11.2.0/configure --target=i686-elf --prefix=/usr/local/cross --disable-nls --enable-languages=c
make all-gcc && sudo make install-gcc
2.2 开发中的踩坑记录
-
引导扇区陷阱：最初的512字节引导程序必须以0x55AA结尾，且要用
nasm -f bin生成纯二进制文件。我曾在文件末尾漏掉结束标志，导致系统无法启动。 -
GDT配置玄机：全局描述符表(GDT)的段描述符中，Granularity位设置错误会导致内存访问异常。正确的段描述符结构应该是：
c复制struct gdt_entry {
uint16_t limit_low;
uint16_t base_low;
uint8_t base_middle;
uint8_t access;
uint8_t granularity;
uint8_t base_high;
} __attribute__((packed));
- 调试技巧：当内核崩溃时，可以通过以下方式定位问题：
- 在Bochs配置文件中启用
magic_break: enabled=1 - 在代码中插入
xchg bx, bx指令触发断点 - 使用QEMU的
-d cpu_reset参数查看CPU状态
- 在Bochs配置文件中启用
3. 内存管理实现详解
3.1 物理内存管理
我实现了基于位图的物理内存管理，核心数据结构如下：
c复制#define MEM_BITMAP_BASE 0xc009a000
struct bitmap {
uint32_t btmp_bytes_len;
uint8_t* bits;
};
void bitmap_init(struct bitmap* btmp) {
memset(btmp->bits, 0, btmp->btmp_bytes_len);
}
bool bitmap_scan_test(struct bitmap* btmp, uint32_t bit_idx) {
uint32_t byte_idx = bit_idx / 8;
uint32_t bit_odd = bit_idx % 8;
return (btmp->bits[byte_idx] & (1 << bit_odd));
}
面试常问问题：
- 位图大小如何确定？（根据物理内存总大小计算）
- 并发访问如何保证安全？（通过关闭中断实现原子操作）
- 内存碎片如何处理？（本项目未实现高级策略，但可以讨论buddy system）
3.2 虚拟内存管理
页表初始化是操作系统的关键步骤，x86架构采用二级页表：
c复制// 页目录项和页表项结构
typedef uint32_t pgd_item;
typedef uint32_t pte_item;
#define PDE_PRESENT 0x1
#define PDE_RW 0x2
#define PDE_US 0x4
#define PDE_PWT 0x8
#define PDE_PCD 0x10
#define PDE_ACCESSED 0x20
#define PDE_DIRTY 0x40
#define PDE_PS 0x80
#define PDE_GLOBAL 0x100
void page_dir_init(pgd_item* pgd) {
for(int i = 0; i < PG_SIZE; i++) {
pgd[i] = 0 | PDE_US; // 初始化为用户级可访问
}
}
注意：在开启分页前必须正确设置CR3寄存器，否则会立即触发缺页异常。
4. 进程管理与任务调度
4.1 进程控制块设计
进程控制块(PCB)是操作系统的核心数据结构，我的实现包含以下关键字段：
c复制struct task_struct {
uint32_t* self_kstack; // 内核栈指针
enum task_status status; // 运行状态
uint8_t priority; // 优先级
char name[16]; // 进程名
uint32_t pid; // 进程ID
struct thread_stack* stack; // 线程栈
struct list_elem general_tag; // 通用链表节点
struct list_elem all_list_tag; // 全进程链表节点
uint32_t* pgdir; // 页目录表物理地址
struct virtual_addr userprog_vaddr; // 用户进程虚拟地址池
struct mem_block_desc u_block_desc[DESC_CNT]; // 用户进程内存块描述符
};
4.2 调度算法实现
我实现了基于优先级的抢占式调度，核心逻辑如下：
- 时钟中断处理程序中触发调度：
asm复制timer_handler:
pushad
call schedule
popad
iretd
- 调度器选择最高优先级就绪任务：
c复制void schedule() {
struct task_struct* cur = running_thread();
struct list_elem* elem = list_pop(&ready_list);
struct task_struct* next = elem2entry(struct task_struct, general_tag, elem);
if(cur->status == TASK_RUNNING) {
list_push_back(&ready_list, &cur->general_tag);
cur->status = TASK_READY;
}
next->status = TASK_RUNNING;
switch_to(cur, next);
}
- 上下文切换汇编实现：
asm复制switch_to:
push ebp
mov ebp, esp
push ebx
push edi
push esi
mov eax, [ebp+8] ; 保存当前任务上下文
mov [eax], esp
mov eax, [ebp+12] ; 恢复新任务上下文
mov esp, [eax]
pop esi
pop edi
pop ebx
pop ebp
ret
5. 面试常见问题深度解析
5.1 内存管理相关
Q：如何实现malloc/free？
A：在我的实现中，内存分配分为两个层次：
- 页级分配：直接操作位图分配4KB物理页
- 小块内存：采用内存池技术，定义不同大小的内存块描述符
c复制struct mem_block_desc {
uint32_t block_size; // 内存块大小
uint32_t blocks_per_arena; // 每个arena包含的块数
struct list free_list; // 空闲块链表
};
#define DESC_CNT 7 // 7种规格的内存块描述符
static struct mem_block_desc k_block_descs[DESC_CNT] = {
{16, 512}, {32, 512}, {64, 512}, {128, 512},
{256, 512}, {512, 512}, {1024, 512}
};
Q：缺页异常如何处理？
A：我的实现流程：
- 检查访问地址是否合法
- 分配新物理页并建立页表映射
- 如果是写时复制(COW)，还需复制原页内容
5.2 进程调度相关
Q：如何保证调度的公平性？
A：在我的简单实现中采用优先级+时间片轮转：
- 高优先级任务获得更长CPU时间
- 相同优先级任务轮流执行
- 可通过动态调整优先级防止饥饿
Q：进程间通信如何实现？
A：我实现了三种基本机制：
- 管道：基于环形缓冲区的字节流通信
c复制struct pipe {
char* buf; // 环形缓冲区
uint32_t head; // 写指针
uint32_t tail; // 读指针
uint32_t size; // 缓冲区大小
struct semaphore sem; // 信号量控制
};
- 共享内存：映射相同的物理页到不同进程地址空间
- 信号量：基于原子操作的进程同步
6. 项目收获与进阶建议
通过这个项目，我深刻理解了操作系统的几个核心机制：
- 中断处理的全流程：从IDT设置到中断服务例程，再到上下文保存恢复
- 特权级切换的代价：用户态到内核态的转换需要数百个时钟周期
- 同步原语的重要性：在实现信号量时，关中断是最简单的原子操作保障
对于想深入操作系统开发的同学，我的建议是：
- 先精读《操作系统真像还原》前6章，确保理解每个代码示例
- 使用Git管理开发过程，方便回溯问题版本
- 给每个关键函数添加详细注释，这对面试复盘很有帮助
- 尝试扩展以下功能：
- 实现ELF加载器
- 添加简单的系统调用(如fork/exec)
- 支持多核调度
这个项目在面试中给我的最大优势是：当讨论底层机制时，我能准确描述从代码到硬件的完整执行路径。比如当面试官问"进程切换时CPU寄存器如何保存"，我不仅能回答理论，还能展示具体的汇编实现。