当前位置：首页 > news >正文

多线程核心：互斥与同步

news 2026/6/4 18:00:19

在多线程开发中，互斥和同步是解决 “资源竞争” 与 “执行顺序” 问题的核心技术，本文结合原理 + 代码 + 图示详细解析。

一、互斥（Mutex）：临界资源的排他性访问

1. 基本概念

临界资源：多线程中会被 “读写操作” 的资源（全局变量、文件、硬件设备等）。
排他访问：同一时刻，只能有一个线程访问临界资源。

2. 问题场景

多线程并发执行时，若同时操作临界资源，会出现数据不一致：比如线程 A 执行A += 1（实际是 “读 A→运算→写 A” 三步），但线程 B 可能在 A “读” 和 “写” 之间插入操作，导致最终结果错误。

3. 解决方案：互斥锁

通过互斥锁（Mutex）保证 “临界区代码” 的原子性（同一时刻只有一个线程执行）。

互斥锁的使用步骤

定义互斥锁

初始化互斥锁

加锁（进入临界区）

执行临界区代码

解锁（退出临界区）

销毁互斥锁

定义互斥锁

初始化互斥锁

加锁（进入临界区）

执行临界区代码

解锁（退出临界区）

销毁互斥锁

互斥锁相关函数（POSIX 标准）

运行

// 1. 定义互斥锁 pthread_mutex_t mutex; // 2. 初始化互斥锁 int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *attr); // 参数：attr=NULL表示默认属性；返回值：成功0/失败非0 // 3. 加锁（阻塞等待，直到拿到锁） int pthread_mutex_lock(pthread_mutex_t *mutex); // 说明：加锁后，其他线程无法进入临界区 // 4. 解锁 int pthread_mutex_unlock(pthread_mutex_t *mutex); // 说明：解锁后，其他线程可竞争锁 // 5. 销毁互斥锁 int pthread_mutex_destroy(pthread_mutex_t *mutex);

互斥锁注意事项

临界区代码要尽量短（不要在临界区里 sleep、做耗时操作）；
加锁和解锁必须是同一个线程（避免 “锁泄露”）。

二、同步（Semaphore）：有顺序的排他访问

1. 基本概念

同步是带顺序的互斥—— 不仅要 “排他访问资源”，还要保证 “线程按指定顺序执行”。

关系：互斥是同步的超集，同步是互斥的一个特例。

2. 解决方案：信号量

信号量（Semaphore）是一种 “计数器”，通过P/V操作控制资源的 “申请” 与 “释放”，既可以实现互斥，也可以实现同步。

信号量的使用步骤

定义信号量

初始化信号量

P操作（申请资源）

执行代码

V操作（释放资源）

销毁信号量

定义信号量

初始化信号量

P操作（申请资源）

执行代码

V操作（释放资源）

销毁信号量

信号量相关函数（POSIX 标准）

运行

// 1. 定义信号量 sem_t sem; // 2. 初始化信号量 int sem_init(sem_t *sem, int pshared, unsigned int value); // 参数： // - pshared：0=线程间共享；非0=进程间共享 // - value：信号量初始值（资源数量） // 返回值：成功0/失败-1 // 3. P操作（申请资源：sem -= 1） int sem_wait(sem_t *sem); // 说明：若sem>0，直接减1并执行；若sem=0，阻塞等待 // 4. V操作（释放资源：sem += 1） int sem_post(sem_t *sem); // 说明：释放后，唤醒等待的线程 // 5. 销毁信号量 int sem_destroy(sem_t *sem);

信号量的典型场景

互斥：初始值设为 1（同一时刻 1 个线程访问资源）；
同步：初始值设为 0（控制线程执行顺序，比如线程 A 执行完再让线程 B 执行）。

三、互斥 VS 同步：核心区别

特性	互斥（Mutex）	同步（Semaphore）
核心目标	保护临界资源，避免竞争	控制线程执行顺序
资源数量	仅支持 “1 个资源” 的排他访问	支持 “多个资源” 的并发访问（value>1）
操作主体	加锁 / 解锁必须是同一个线程	P/V 操作可以是不同线程
临界区代码	必须短小（不能 sleep）	可包含耗时操作（适当 sleep）