Linux下的线程同步与死锁避免

在 Linux 下进行多线程编程时，线程同步是至关重要的部分，尤其是在多个线程需要共享资源的场景中。尽管同步机制能够解决竞争条件，但它也带来了死锁的风险。死锁是指多个线程互相等待对方释放锁而导致永远无法继续执行的现象。为了避免死锁，可以从破坏导致死锁的四个必要条件入手。本文将从这四个条件展开，探讨如何通过破坏这些条件来避免死锁。

---

死锁的四个必要条件

根据操作系统中的经典理论，死锁的产生必须满足以下四个必要条件：

1. 互斥条件：某些资源是只能被一个线程独占使用的。
2. 持有并等待条件：一个线程已经持有了某个资源，同时它在等待获取其他线程持有的资源。
3. 不可剥夺条件：已经获得的资源不能被强行剥夺，线程只能主动释放资源。
4. 循环等待条件：存在一个线程循环等待的链，链中的每个线程都在等待下一个线程持有的资源。

为了避免死锁，可以通过破坏至少其中一个条件来打破死锁局面。下面，我们将详细探讨这四个条件以及如何在 Linux 下的线程同步机制中破坏这些条件来避免死锁。

---

破坏死锁条件的方法

破坏互斥条件

互斥条件是指某些资源只能被一个线程独占使用，无法同时被多个线程访问。在某些情况下，我们可以通过将资源转换为可共享的资源来破坏互斥条件，从而避免死锁。

使用读写锁（pthread_rwlock_t）

读写锁允许多个线程同时读取数据，而只有在写操作时需要独占锁。这种机制可以提高并发性，避免因读操作而产生死锁。

pthread_rwlock_t rwlock = PTHREAD_RWLOCK_INITIALIZER;void* reader(void* arg) {pthread_rwlock_rdlock(&rwlock); // 获取读锁// 执行读操作pthread_rwlock_unlock(&rwlock); // 释放锁return NULL;
}void* writer(void* arg) {pthread_rwlock_wrlock(&rwlock); // 获取写锁// 执行写操作pthread_rwlock_unlock(&rwlock); // 释放锁return NULL;
}

通过使用读写锁，我们可以允许多个线程并发读取数据，从而减少死锁的可能性。

---

破坏持有并等待条件

持有并等待条件指的是一个线程持有一个资源，同时等待其他资源的情况。为了避免这种情况，我们可以在申请资源之前，确保线程不占有其他资源，或者一次性申请所有所需资源。

一次性申请所有资源

如果线程需要多个资源，可以采用一次性申请所有资源的策略。即，线程只有在能够获取所有资源时才会继续执行，否则会释放已经持有的资源，避免持有并等待的发生。

pthread_mutex_t lock1, lock2;void* task(void* arg) {// 一次性申请所有资源if (pthread_mutex_trylock(&lock1) == 0) {if (pthread_mutex_trylock(&lock2) == 0) {// 执行任务pthread_mutex_unlock(&lock2);}pthread_mutex_unlock(&lock1);}return NULL;
}

通过一次性申请资源，线程要么成功获取所有资源并继续执行，要么立即释放资源，减少持有并等待的风险。

---

破坏不可剥夺条件

不可剥夺条件是指资源一旦被线程占有，其他线程就无法强制剥夺。我们可以引入超时机制或设计自愿释放机制来打破这一条件。

使用超时锁定机制

我们可以通过使用 pthread_mutex_trylock() 或在某些高级锁机制中使用超时锁定机制，让线程在等待资源时不会无限期等待。如果线程无法在规定的时间内获得资源，它可以选择放弃并执行其他操作。

pthread_mutex_t lock;void* task(void* arg) {if (pthread_mutex_trylock(&lock) == 0) {// 成功获取锁，执行任务pthread_mutex_unlock(&lock);} else {// 获取锁失败，执行其他操作或等待一段时间后重试}return NULL;
}

通过这种方式，线程不会无限期地等待资源，从而避免了死锁的发生。

可重入锁（递归锁）

递归锁（pthread_mutex_t 使用 PTHREAD_MUTEX_RECURSIVE 属性初始化）允许同一线程多次锁定同一个互斥锁，而不发生死锁。当线程完成任务后，它需要相应次数地解锁。

pthread_mutex_t recursive_mutex;pthread_mutexattr_t attr;
pthread_mutexattr_init(&attr);
pthread_mutexattr_settype(&attr, PTHREAD_MUTEX_RECURSIVE);
pthread_mutex_init(&recursive_mutex, &attr);

递归锁通过允许同一线程多次锁定相同的资源，避免了某些递归调用中的死锁风险。

---

破坏循环等待条件

循环等待条件是指存在一个线程循环等待链，每个线程都在等待下一个线程持有的资源。我们可以通过强制规定获取锁的顺序来打破循环等待。

统一锁顺序

为避免循环等待，所有线程都应按照相同的顺序请求资源。例如，如果所有线程都按顺序 lock1 -> lock2 -> lock3 获取锁，便不会产生循环等待。

pthread_mutex_t lock1, lock2;void* task1(void* arg) {pthread_mutex_lock(&lock1); // 按照固定顺序加锁pthread_mutex_lock(&lock2);// 执行任务pthread_mutex_unlock(&lock2);pthread_mutex_unlock(&lock1);
}void* task2(void* arg) {pthread_mutex_lock(&lock1); // 同样的顺序pthread_mutex_lock(&lock2);// 执行任务pthread_mutex_unlock(&lock2);pthread_mutex_unlock(&lock1);
}

通过保持锁的获取顺序一致，线程避免了陷入循环等待，从而有效地防止死锁。