12、线程同步机制全解析

线程同步机制全解析

1. FIFO 互斥锁

在某些程序里，你可能希望确保被互斥锁阻塞的线程成为该互斥锁的下一个拥有者，而简单的 POSIX 互斥锁定义里并没有这一特性。通常，当两个线程都需要互斥锁来完成工作时会出现这种情况：它们持有互斥锁的时间较长，各自独立工作，且在未持有互斥锁时几乎不做什么。比如，线程 T1 获取互斥锁并执行工作，线程 T2 尝试获取互斥锁但被阻塞。T1 释放互斥锁并唤醒 T2，然而在 T2 获得互斥锁之前，T1 又重新获取了它。

如果实现了 FIFO 互斥锁，当互斥锁的拥有者释放锁时，会自动将所有权交给第一个等待者。不过，这种情况比较罕见，在处理之前值得重新考虑算法。因为对比不同情况会发现，线程可能会花费大量时间处于睡眠状态，或许减少线程数量会让程序运行得更好。但如果确实遇到此类问题，自己实现有保证的 FIFO 互斥锁也并不复杂。不过，大多数情况下你可能并不需要 FIFO 互斥锁。

2. 递归互斥锁

• Win32 与 POSIX 的差异 ：Win32 互斥锁是递归的，同一线程可以多次锁定而不会死锁，POSIX 互斥锁则不具备此特性。虽然用 POSIX 构建递归互斥锁并不难，且递归互斥锁是 UNIX98 的一部分，但关键问题不在于能否构建，而在于是否有必要。在 C 语言中，如果需要使用递归互斥锁，很可能是代码结构设计不佳，应该重新设计代码。因为锁定互斥锁是为了保护共享数据，锁定一次后再次锁定往往是代码结构问题。而且，多次锁定递归互斥锁后，需要解锁相同次数其他线程才能锁定，编写“unlock_all”例程可能会让代码更复杂，容易出错。
• Java 中