Linux多线程编程：互斥锁与条件变量详解

1. 线程同步与互斥的核心概念

在多线程编程中，当多个线程同时访问共享资源时，如果没有适当的同步机制，就会导致数据竞争和不一致的问题。想象一下，这就像多个厨师同时使用同一个厨房 - 如果没有明确的规则和协调，很容易出现食材被拿错、工具被乱放的情况。

线程同步就是建立这样的规则和协调机制，确保多个线程能够有序地访问共享资源。而互斥则是同步的一种基本形式，它保证同一时间只有一个线程能够访问特定的共享资源。

2. 为什么需要线程同步

在Linux系统编程中，线程同步的必要性主要体现在以下几个方面：

1. 数据一致性：防止多个线程同时修改同一数据导致的不一致
2. 操作原子性：确保某些操作作为一个不可分割的整体执行
3. 执行顺序控制：协调线程间的执行顺序，满足特定业务逻辑

一个典型的例子是银行账户转账操作。如果没有同步机制，两个线程同时从一个账户扣款，可能导致余额计算错误。

3. 互斥锁的实现与使用

3.1 互斥锁的基本原理

互斥锁（Mutex）是最常用的线程同步机制之一。它的工作原理类似于洗手间的门锁 - 当一个人进入并锁上门后，其他人必须等待直到门被解锁。

在Linux中，互斥锁通过pthread_mutex_t类型实现，主要操作包括：

• pthread_mutex_init：初始化互斥锁
• pthread_mutex_lock：获取锁（如果锁已被占用则阻塞）
• pthread_mutex_trylock：尝试获取锁（不阻塞）
• pthread_mutex_unlock：释放锁
• pthread_mutex_destroy：销毁互斥锁

3.2 互斥锁的实际应用

下面是一个使用互斥锁保护共享计数器的示例：

c复制#include <pthread.h>
#include <stdio.h>

int counter = 0;
pthread_mutex_t counter_mutex = PTHREAD_MUTEX_INITIALIZER;

void* increment_counter(void* arg) {
    for (int i = 0; i < 100000; ++i) {
        pthread_mutex_lock(&counter_mutex);
        c