📚 课程目录第2章内核基础概念

内核基础概念：进程、线程、内核态与用户态、系统调用、中断与异常、内核同步

Linux内核是操作系统的核心，它管理着系统资源并为上层应用提供抽象服务。要理解内核编程，首先必须厘清几个基础概念：进程与线程的调度单元、内核态与用户态的权限边界、系统调用作为用户与内核的桥梁、中断与异常作为内核响应外部事件的机制，以及内核同步机制如何保证并发安全。这些概念构成了内核编程的底层逻辑，与用户态编程有着本质差异。本章将逐一拆解这些核心概念，并对比内核编程与用户编程的思维模式与约束条件。

进程与线程：内核视角的调度实体

核心原理：在Linux内核中，进程（Process）是资源分配的基本单位，线程（Thread）是CPU调度的基本单位。内核通过task_struct结构体描述每个进程/线程，其中包含了进程状态、调度信息、文件描述符表、内存管理信息（mm_struct）、信号处理等字段。值得注意的是，Linux内核并不区分进程与线程——两者都通过clone()系统调用创建，区别仅在于创建时共享资源的标志位（CLONE_VM、CLONE_FILES等）。线程本质上是共享了地址空间和资源的"轻量级进程"。

判断方法：查看系统中进程与线程的关系，可以使用ps -eLf命令观察线程组（TGID）与线程ID（TID）的对应关系。内核调度器（CFS）以task_struct为调度实体，每个线程拥有独立的thread_info和内核栈（通常为8KB或16KB），但共享进程的地址空间。

对比维度	进程	线程
地址空间	独立虚拟地址空间	共享进程地址空间
资源开销	创建/切换开销大（需切换页表）	创建/切换开销小（无需切换页表）
同步需求	进程间通信（IPC）机制	共享内存需加锁同步
内核表示	独立的`task_struct` + `mm_struct`	独立的`task_struct`，共享`mm_struct`

经验提醒：内核编程中，当使用kthread_create()创建内核线程时，该线程没有独立的地址空间（mm为NULL），它借用前一个用户进程的mm，因此内核线程不能访问用户态内存，只能操作内核地址空间。

内核态与用户态：权限边界与切换机制

核心原理：CPU通过特权级（Ring 0-3）区分执行权限。Linux仅使用Ring 0（内核态）和Ring 3（用户态）。内核态可以执行特权指令（如修改页表、操作中断控制器、访问所有内存），用户态则受到硬件保护。这种隔离保证了系统安全——用户程序无法直接破坏内核或其他进程的数据。

操作流程：用户态到内核态的切换主要有三种途径：系统调用（主动陷入）、中断（异步事件）、异常（同步错误）。切换过程涉及：保存用户态上下文（寄存器、栈指针）、切换到内核栈、加载内核代码段选择子、跳转到入口点（entry_SYSCALL_64或entry_INT80_32）。返回时执行iret或sysret指令恢复用户态。

// 用户态调用read()的简化流程
用户程序调用read(fd, buf, count)
  → glibc封装syscall指令（x86_64）
  → CPU切换到Ring 0，跳转到内核入口
  → 内核根据系统调用号（0）查sys_call_table
  → 执行ksys_read() → vfs_read() → 具体文件系统实现
  → 返回用户态，恢复上下文

风险说明：频繁的态切换会带来性能开销（约100ns-1μs）。内核编程中应避免在热路径上设计不必要的系统调用，批量操作（如readv/writev）可减少切换次数。

系统调用：用户与内核的受控接口

核心原理：系统调用是内核提供给用户程序的唯一合法入口。Linux维护一张sys_call_table，每个系统调用有唯一编号。用户程序通过软中断（int 0x80）或专用指令（syscall/sysenter）陷入内核。内核在syscall_init()中初始化该表，并设置MSR_LSTAR寄存器指向入口函数。

判断方法：新增一个系统调用的步骤：1）在include/linux/syscalls.h声明原型；2）在kernel/sys.c或相应文件实现；3）在syscall_64.tbl（x86_64）分配编号；4）重新编译内核。但现代内核开发更推荐使用ioctl、netlink或sysfs等机制扩展功能，避免修改系统调用表。

案例拆解：假设需要统计某进程的I/O读写字节数。用户态可用getrusage()系统调用获取ru_inblock和ru_oublock字段。内核在getrusage()实现中遍历目标进程的task_struct，累加ioac结构体中的计数。该过程涉及：从用户态传入PID → 内核通过find_task_by_vpid()查找任务 → 读取ioac数据 → 通过copy_to_user()拷贝回用户缓冲区。关键点：内核不能直接访问用户指针，必须使用copy_to_user/copy_from_user并检查地址合法性。

中断与异常：内核的事件驱动机制

核心原理：中断（Interrupt）由硬件异步触发（如网卡收到数据包、定时器到期），异常（Exception）由CPU执行指令时同步产生（如除零、缺页）。内核通过IDT（中断描述符表）分发处理。中断处理分为上半部（handle_irq，快速响应，关闭中断）和下半部（softirq/tasklet/workqueue，延迟处理）。异常则直接同步处理，如缺页异常调用do_page_fault()。

操作流程：中断处理流程：设备触发IRQ → 中断控制器（APIC）发送向量号 → CPU查找IDT → 保存上下文 → 执行do_IRQ() → 调用注册的irq_handler_t → 返回。对于共享中断，内核遍历irqaction链表，调用所有注册的处理函数。

类型	触发源	示例	处理特点
中断	硬件异步	磁盘DMA完成、时钟tick	可嵌套，需考虑重入
异常	CPU同步	缺页、非法指令、调试陷阱	与当前指令绑定，可恢复或终止
系统调用	软件主动	read/write/open	特殊异常（int 0x80/syscall）

风险说明：中断上下文不能睡眠（不能调用schedule()、kmalloc(GFP_KERNEL)），因为中断没有进程上下文。若需要睡眠操作，必须将工作推迟到workqueue中执行。这是内核编程最常见的错误之一。

内核同步：并发安全的基石

核心原理：内核是并发执行的——多CPU核并行、中断随时抢占、进程调度切换。共享数据必须通过同步机制保护。Linux提供多种同步原语：自旋锁（spinlock_t）适合短临界区且不允许睡眠的场景；信号量（struct semaphore）允许睡眠等待；互斥锁（struct mutex）是信号量的特化，更高效；RCU（Read-Copy-Update）优化读多写少场景；原子操作（atomic_t）用于简单计数器。

选择方法：根据临界区长度和上下文环境选择：若在中断上下文或持有锁时不能睡眠，用自旋锁；若临界区可能长时间阻塞，用互斥锁或信号量；若读操作远多于写操作，用RCU或读写锁；若只是计数器增减，用原子操作。

// 自旋锁使用示例（中断上下文安全）
spinlock_t my_lock = SPIN_LOCK_UNLOCKED;
unsigned long flags;
spin_lock_irqsave(&my_lock, flags);
// 临界区代码（不能睡眠）
shared_counter++;
spin_unlock_irqrestore(&my_lock, flags);

案例拆解：某网络驱动维护一个统计结构stats，包含收包计数和字节数。驱动在软中断（NET_RX_SOFTIRQ）中更新该结构，而用户态通过procfs读取。初始实现未加锁，导致读取时看到不一致数据（计数与字节数不匹配）。解决方案：使用u64_stats_sync机制——写者使用u64_stats_update_begin/end，读者使用u64_stats_fetch_begin/retry。该机制利用顺序锁（seqlock）思想，写者优先，读者可能重试。实测性能损失小于5%，远优于全局自旋锁的30%开销。复盘经验：网络热路径应避免使用普通自旋锁，优先考虑percpu变量或seqlock。

内核编程与用户编程的差异

核心原理：内核编程环境与用户态有本质区别：无标准C库（不能使用printf、malloc）、无浮点运算（需手动保存FPU状态）、栈空间有限（内核栈仅8KB）、错误处理通过返回码和ERR_PTR宏、并发环境更复杂。内核提供专用API：printk替代printf，kmalloc/kfree替代malloc/free，BUG_ON/WARN_ON用于断言。

对比分析：用户程序崩溃只影响自身进程，内核崩溃导致整个系统宕机（panic）。因此内核代码必须更加严谨：检查所有错误路径、避免资源泄漏、正确处理并发访问。内核模块还面临版本兼容性问题——不同内核版本的API可能变化。

维度	用户编程	内核编程
内存分配	malloc/free（可睡眠）	kmalloc（GFP_KERNEL可睡眠，GFP_ATOMIC不可）
错误处理	异常/返回值	返回码 + ERR_PTR，无异常机制
调试手段	gdb、valgrind	printk、kgdb、ftrace、kprobe
并发控制	线程库锁	自旋锁/信号量/RCU，需考虑中断上下文
库依赖	glibc等标准库	仅内核API，无浮点支持

经验提醒：内核模块开发时，务必使用module_init/module_exit注册入口/出口函数，并检查register_*函数的返回值。使用container_of宏从结构体成员获取包含该成员的结构体指针，这是内核编程的高频操作。

理解这些基础概念后，开发者才能正确把握内核编程的边界与约束。进程/线程模型决定了资源管理方式，内核态/用户态隔离定义了权限边界，系统调用提供了受控交互通道，中断/异常驱动了事件处理，同步机制保障了并发安全。这些概念相互交织，构成了Linux内核设计的核心骨架。在实际开发中，需要根据具体场景灵活运用这些机制，同时时刻警惕内核编程的特殊性——任何疏忽都可能导致系统崩溃或数据损坏。