互斥锁（Mutex，全称Mutual Exclusion）是多线程同步的基础机制，核心作用是保证同一时间只有一个线程能进入临界区，避免共享资源的并发读写冲突，是解决数据竞争问题的核心工具。
一、核心作用
通过“加锁-解锁”的原子操作，实现临界区的互斥访问：
- 临界区：访问共享资源（如全局变量、共享内存）的代码段；
- 互斥性：一个线程持有锁时，其他线程尝试加锁会被阻塞，直到锁被释放。
二、关键特性
- 原子性：加锁（ lock ）和解锁（ unlock ）操作是不可分割的，不会被线程调度器打断；
- 唯一性：同一时间只有一个线程能持有锁；
- 阻塞性：未获取到锁的线程会进入阻塞状态（而非轮询），降低CPU资源消耗；
- 可重入性（部分互斥锁）：支持同一线程多次加锁（需对应次数解锁），避免“线程自己锁死自己”。
三、POSIX互斥锁（C语言）的核心函数
以 pthread_mutex_t 为例（Linux下常用）：
| 函数 | 功能 |
|---|---|
| pthread_mutex_init | 初始化互斥锁，参数指定锁的属性（如是否可重入、进程间共享） |
| pthread_mutex_lock | 尝试获取锁： - 锁空闲：立即获取并返回； - 锁被占用：阻塞当前线程，直到锁被释放 |
| pthread_mutex_trylock | 尝试获取锁： - 锁空闲：获取并返回0； - 锁被占用：直接返回错误（不阻塞） |
| pthread_mutex_unlock | 释放锁： - 唤醒一个阻塞在该锁上的线程； - 仅能由持有锁的线程调用 |
| pthread_mutex_destroy | 销毁互斥锁，释放资源（需确保锁已被释放） |
四、典型使用流程（保护共享变量）
#include<pthread.h>#include<stdio.h>pthread_mutex_tmutex;// 互斥锁intshared_var=0;// 共享变量void*thread_func(void*arg){for(inti=0;i<10000;i++){// 加锁：进入临界区pthread_mutex_lock(&mutex);shared_var++;// 操作共享变量// 解锁：离开临界区pthread_mutex_unlock(&mutex);}returnNULL;}intmain(){pthread_mutex_init(&mutex,NULL);// 初始化锁pthread_tt1,t2;pthread_create(&t1,NULL,thread_func,NULL);pthread_create(&t2,NULL,thread_func,NULL);pthread_join(t1,NULL);pthread_join(t2,NULL);printf("shared_var最终值：%d\n",shared_var);// 正确输出20000（无锁时可能小于20000）pthread_mutex_destroy(&mutex);// 销毁锁return0;}五、常见互斥锁类型（按属性）
| 锁类型 | 特点 |
|---|---|
| 普通锁（默认） | 不可重入，同一线程多次加锁会死锁。 |
| 可重入锁 | 同一线程可多次加锁，需对应次数解锁；适合递归/嵌套场景。 |
| 进程间共享锁 | 锁存储在共享内存中，支持跨进程线程互斥；默认仅限同进程。 |
互斥锁和条件变量通常配合使用：
- 互斥锁：保护共享资源的读写；
- 条件变量：实现线程的等待-通知逻辑；
- 例如生产者-消费者模型中，互斥锁保护队列的读写，条件变量让消费者等待“队列非空”、生产者等待“队列不满”。
（支持资料、图片参考_相关定制）_文章底部可以扫码)
)
