C语言中的并发与同步机制：互斥锁、条件变量、信号量与生产者消费者问题（二）

目录

一、互斥锁（Mutex）

互斥锁概念

C语言中互斥锁的使用

二、条件变量（Condition Variables）

条件变量概念

C语言中条件变量的使用

一、互斥锁（Mutex）

互斥锁概念

定义： 互斥锁（Mutex）是一种用于实现线程同步的低级原语，它确保在任一时刻，只有一个线程能够访问被互斥锁保护的资源（称为临界区）。互斥锁提供了一种机制，使得多个线程在访问共享资源时，能够按照某种预定的顺序或规则进行访问，避免因并发访问导致的数据不一致或竞态条件。

作用： 互斥锁的主要作用在于：

1. 保护临界区：确保同一时间只有一个线程进入并操作临界区内的共享数据，防止数据竞争和状态不一致。
2. 同步线程执行：通过控制对共享资源的访问权限，实现线程间的协调和同步，确保按照预期的顺序执行相关操作。

在并发环境中的必要性： 在多线程并发环境中，如果没有互斥锁或其他同步机制，多个线程可能同时访问和修改共享数据，导致数据损坏、逻辑错误或程序行为不可预测。互斥锁是解决这类并发问题的关键工具，它强制实施访问控制，确保线程间的正确交互，维持程序的正确性和数据一致性。

C语言中互斥锁的使用

a. 互斥锁数据类型与API介绍

在Linux环境下，使用POSIX线程库（pthread）提供的互斥锁接口进行并发控制。主要涉及到的数据类型和API函数如下：

• 互斥锁数据类型：pthread_mutex_t，代表互斥锁对象。在使用前需要通过pthread_mutex_init()进行初始化。

• 互斥锁API：

  • 初始化：pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *attr)，创建并初始化一个互斥锁。attr参数可以指定互斥锁属性（如类型、优先级继承等），传入NULL使用默认属性。

  • 锁定：pthread_mutex_lock(pthread_mutex_t *mutex)，申请并获取互斥锁。如果互斥锁已被其他线程持有，调用线程将被阻塞，直到互斥锁变为可用。

  • 解锁：pthread_mutex_unlock(pthread_mutex_t *mutex)，释放已持有的互斥锁，允许其他等待的线程获取该锁。

  • 销毁：pthread_mutex_destroy(pthread_mutex_t *mutex)，在互斥锁不再使用时，释放其占用的系统资源。必须在所有线程都未锁定该互斥锁时调用。

b. 互斥锁操作示例

以下是一个使用互