1. 课程导论：为什么需要 spinlock？多核竞争条件的基本概念

1.1 从单核到多核：并发执行带来的根本挑战

在单核 CPU 环境下，操作系统内核的执行本质上是串行交错的。即使有中断和进程切换，任意时刻也只有一个执行流在运行内核代码。然而，当 xv6 运行在多核处理器上时，多个 CPU 核心可以真正同时执行内核代码。这种从“伪并发”到“真并发”的转变，引入了单核编程中不存在的核心问题：竞争条件（Race Condition）。

1.2 竞争条件：一个经典的 xv6 示例

考虑 xv6 内核中一个简单的共享计数器场景。假设两个 CPU 核心同时执行以下代码来增加一个全局变量 counter：

// 两个核心同时执行这段代码
void increment_counter(void) {
    // 看似简单的一行，实际对应三条机器指令
    counter = counter + 1;
}

在 x86/RISC-V 架构下，counter = counter + 1 会被编译为以下三条非原子指令：

1.3 为什么需要 spinlock？

为了解决上述竞争条件，操作系统需要一种互斥机制来保证：当一个核心正在操作共享数据时，其他核心不能同时操作同一份数据。自旋锁（Spinlock） 正是 xv6 在多核环境下提供的最基本的互斥原语。

自旋锁的核心思想是：在进入临界区之前，尝试获取锁；如果锁已被其他核心持有，则原地循环等待（自旋），直到锁被释放。

1.4 自旋锁的核心特性

1.5 xv6 自旋锁的接口与使用模式

xv6 在 spinlock.h 和 spinlock.c 中定义了自旋锁的核心结构和操作函数：

// spinlock.h
struct spinlock {
    uint locked;       // 锁状态：0 表示未锁定，1 表示已锁定
    char *name;        // 锁的名称（用于调试）
    struct cpu *cpu;   // 持有锁的 CPU（用于调试和死锁检测）
};

// 核心函数
void acquire(struct spinlock *lk);  // 获取锁
void release(struct spinlock *lk);  // 释放锁
void initlock(struct spinlock *lk, char *name);  // 初始化锁

在 xv6 内核中使用自旋锁保护共享数据的标准模式如下：

struct spinlock mylock;
int shared_data;

void init(void) {
    initlock(&mylock, "my_lock");
}

void safe_update(void) {
    acquire(&mylock);       // 进入临界区前获取锁
    // 临界区开始
    shared_data = shared_data + 1;
    // 临界区结束
    release(&mylock);       // 离开临界区后释放锁
}

1.6 不加锁的后果：数据损坏与内核崩溃

在 xv6 中，如果对共享数据结构（如进程表 ptable、文件描述符表、内存分配器 kmem）不加锁保护，多核竞争会导致：

• 内存分配器损坏：两个核心同时从空闲链表分配内存，导致链表指针错乱，返回同一块内存给不同进程。
• 进程状态不一致：一个核心在调度进程时，另一个核心同时修改同一进程的状态，导致调度器做出错误决策。
• 文件系统元数据损坏：多个核心同时操作 inode 或块缓存，导致磁盘数据永久损坏。
• 死锁与活锁：虽然锁本身可能引入死锁，但无锁竞争导致的非确定性崩溃更难调试。

1.7 本章小结：spinlock 的定位

自旋锁是 xv6 多核编程的基石。它虽然简单，但正确实现和使用却充满陷阱：原子指令的选择、内存屏障的放置、中断的开关、死锁的避免，以及调试竞争条件时需要的特殊技巧。本课程后续章节将逐一深入这些主题，从 xv6 源码出发，结合调试工具，系统性地掌握多核环境下的并发控制。