Linux 互斥与同步

互斥

1.创建互斥锁:pthread_mutex_t

使用互斥锁之前必须要创建一个锁的对象。互斥锁的类型为pthread_mutex_t，创建一个变量就是创建了一个互斥锁，我们通过这个变量建立开锁和解锁的联系。但这个锁还不能够直接使用，需要对其进行初始化。

2.初始化互斥锁:

我们对创建好的锁进行初始化的方法有两种

• int pthread_mutex_init(&mux,NLL);

第一个参数mutex：传入锁的地址即（&mtx）

第二个参数attr：如果传入NULL，互斥锁的属性设置为默认

• mtx = PTHREAD_MUTEX_INITIALIZER;

3.获取互斥锁

我们可以将获取互斥锁理解成建立互斥关系，即当你获取锁（建立互斥关系）之后，直到你释放锁（销毁互斥关系）这个时间段内，别人都不能对你加锁的数据访问。也就是说在获取锁和释放锁区间的操作，每次只能有一线程访问。

• 阻塞调用：pthread_mutex_lock(&mtx);

这个操作是阻塞的，当互斥关系已经被建立时pthread_mutex_lock()会进入锁的等待队列中,并且进入阻塞状态，直到其他线程解除互斥关系（释放锁），轮到自己建立互斥关系时，才返回；当获取锁失败时，该执行流会被放在互斥锁的PCB等待队列中

• 非阻塞调用：pthread_mutex_trylock():

如果已经有线程建立互斥关系，则直接返回，如果没有线程建立互斥关系，则自己建立互斥关系（获取锁）。

 

3.释放互斥锁

当我们使用完临界资源时，需要释放互斥锁，否则该资源别的执行流不能使用

• pthread_mutex_unlock（&mtx）

4.销毁线程锁（解除互斥关系）

通过 pthread_mutex_udestroy(&mtx)销毁一个锁后，线程锁的状态变为“未定义”。一个被销毁的线程锁可以再次被pthread_mutex_init()初始化。对于被销毁的线程锁，对其进行操作的结果是未定义的。尽量避免对于一个处于锁定状态的线程锁进行销毁操作。（销毁开辟的等待队列等资源）

同步

1.条件变量定义

pthread_cond_t cond;

• 条件变量的使用比喻和互斥锁一起使用。且条件变量也有等待队列。

2.初始化：

和互斥锁一样，条件变量也需要初始化，我们有两种方式

int pthread_cond_init (pthread_cond_t *cond, const pthread_condattr_t *attr);

• cond：需要初始化的条件变量
• attr：初始化属性，一般为NULL，表示默认属性

3.等待条件满足

int pthread_cond_wait(pthread_cond_t* cond,pthread_mutex_t* mutex);

• cond：同步条件
• mutex：所用资源的互斥锁

注意：

• 在等待时，所有使用相同条件变量的执行流会被放到同一个等待队列中，等待唤醒。
• 当进入执行到该函数时，该执行流会被放到cond的等待队列中，等待下次唤醒。如果等待的线程超过两个，则即使被唤醒也不一定满足继续执行条件，需要再次判断，是否满足是否满足继续执行的条件，所以在pthread_cond_wait需用while而不是if来进行条件判定

4.唤醒

int pthread_cond_signal(pthread_cond_t* cond);

• cond：所要通知条件变量

注意

• 环形队列中的