6、线程同步：锁机制详解

线程同步：锁机制详解

1. 竞态条件问题

竞态条件是由一系列事件导致的错误。例如，在某些情况下，多个线程同时检查race_list，发现其为空后都将单元编号赋值为 0；或者MOD_QUIESCE无错误返回后，race_softc结构被添加到race_list，最后MOD_UNLOAD完成。竞态条件的一个特点是难以重现，通常需要进行数百万次尝试才可能出现。

2. 防止竞态条件

可以使用锁来防止竞态条件。锁也称为同步原语，用于序列化两个或多个线程的执行。例如，对于因并发访问race_list导致的竞态条件，可以使用锁来序列化对race_list的访问。在一个线程访问race_list之前，它必须先获取foo锁，同一时间只有一个线程可以持有该锁。如果线程无法获取锁，则必须等待当前持有者释放。

FreeBSD 中有几种不同类型的锁，每种锁都有其自身的特点。

3. 互斥锁（Mutexes）

互斥锁确保在任何时刻只有一个线程可以访问共享对象。FreeBSD 提供了两种类型的互斥锁：自旋互斥锁和睡眠互斥锁。

3.1 自旋互斥锁（Spin Mutexes）

自旋互斥锁是简单的自旋锁。如果一个线程尝试获取被另一个线程持有的自旋锁，它会“自旋”并等待锁被释放，即 CPU 会无限循环。如果持有自旋锁的线程被中断