线程同步:锁机制详解
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 会无限循环。如果持有自旋锁的线程被中断