39、Pthreads编程：互斥锁、死锁与条件变量详解

Pthreads编程：互斥锁、死锁与条件变量详解

1. 细粒度互斥锁保护列表元素

在多线程编程中，为了保护列表中的每个元素，可以为每个元素使用单独的互斥锁变量。这种情况下，锁的粒度是细粒度的，多个线程可以同时访问列表的不同部分。然而，这也需要对同步机制进行大量的重新组织，可能会导致更大的开销。

2. 互斥变量与死锁

当多个线程处理不同的数据结构，且每个数据结构都由单独的互斥变量保护时，必须小心避免死锁。如果线程以不同的顺序锁定互斥变量，就可能发生死锁。

例如，有两个线程T1和T2，以及两个互斥变量ma和mb：
- 线程T1先锁定ma，然后锁定mb；
- 线程T2先锁定mb，然后锁定ma。

如果T1在锁定ma后被运行时系统的调度器中断，使得T2能够成功锁定mb，就会发生死锁：
- T2在尝试锁定ma时会被阻塞，因为ma已经被T1锁定；
- 同样，T1在再次唤醒后尝试锁定mb时也会被阻塞，因为mb已经被T2锁定。

最终，两个线程都会永远被阻塞，相互等待对方释放锁。

为了避免死锁，可以采用以下两种策略：
- 固定锁定顺序 ：每个线程始终以相同的预定义顺序锁定关键互斥变量。例如，在上述示例中，线程T2必须以与T1相同的顺序锁定ma和mb，即先锁定ma，然后锁定mb。这样，上述死锁就不会发生，因为如果ma已经被T1锁定，T2就无法锁定mb。锁定顺序可以任意选择，但为了避免死锁，整个程序必须使用相同的顺序。
- 回退策略 ：每个参与的线程可以按自己的顺序锁定互斥变量，不需要使