UNIX环境高级编程——线程同步之互斥锁、读写锁和条件变量（小结）

一、使用互斥锁

1、初始化互斥量

pthread_mutex_t mutex =PTHREAD_MUTEX_INITIALIZER;//静态初始化互斥量
int pthread_mutex_init(pthread_mutex_t*mutex,pthread_mutexattr_t*attr);//动态初始化互斥量
int pthread_mutex_destory(pthread_mutex_t*mutex);//撤销互斥量

不能拷贝互斥量变量，但可以拷贝指向互斥量的指针，这样就可以使多个函数或线程共享互斥量来实现同步。上面动态申请的互斥量需要动态的撤销。

2、加锁和解锁互斥量

int pthread_mutex_lock(pthread_mutex_t *mutex);
int pthread_mutex_trylock(pthread_mutex_t *mutex);
int pthread_mutex_unlock(pthread_mutex_t*mutex);

当调用pthread_mutex_lock加锁互斥量时，如果此时互斥量已经被锁住，则调用线程将被阻塞。而pthread_mutex_trylock函数当调用互斥量已经被锁住时调用该函数将返回错误代码EBUSY。使用和信号量一样，先锁住互斥量再处理共享数据，最后解锁互斥量。
 

针对上信号量中的示例进行修改得：

#include<pthread.h>
#include<stdio.h>
#include<semaphore.h>
#define NITERS 100000000
/*共享变量*/
unsigned int cnt = 0;

//sem_t mutex;
pthread_mutex_t mutex;

void *count(void *arg)
{
   int i;
   for(i=0;i<NITERS;i++)
   {
     pthread_mutex_lock(&mutex);
     cnt++;
      pthread_mutex_unlock(&mutex);
    }
   return arg;
}

int main()
{
    pthread_t tid1,tid2;
    int status;
    pthread_mutex_init(&mutex,NULL);
     
    pthread_mutex_destroy(&mutex);
    if(cnt!=(unsigned)NITERS*2)
       printf("Boom!,cnt=%d\n",cnt);
    else
      printf("Ok cnt=%d\n",cnt);

    return 0;
}

3、使用多个互斥量

使用多个互斥量可能造成死锁问题。如下：

线程1                                              线程2

pthread_mutex_lock(&mutex_a);                     pthread_mutex_lock(&mutex_b);

pthread_mutex_lock(&mutex_b);                     pthread_mutex_lock(&mutex_a);

当两个线程都完成第一步时，都无法完成第二步，将造成死锁。可以通过以下两种方法来避免死锁：

固定加锁层次：所有需要同时加锁互斥量A和互斥量B的代码，必须先加锁A再加锁B。

试加锁和回退：在锁住第一个互斥量后，使用pthread_mutex_trylock来加锁其他互斥量，如果失败则将已加锁的互斥量释放，并重新加锁。

 

 

二、使用读写锁

通过读写锁，可以对受保护的共享资源进行并发读取和独占写入。读写锁是可以在读取或写入模式下锁定的单一实体。要修改资源，线程必须首先获取互斥写锁。必须释放所有读锁之后，才允许使用互斥写锁。

1. 初始化和销毁:

#include <pthread.h>
int pthread_rwlock_init(pthread_rwlock_t *restrict rwlock, const pthread_rwlockattr_t *restrict attr);
int pthread_rwlock_destroy(pthread_rwlock_t *rwlock);

同互斥量一样, 在释放读写锁占用的内存之前, 需要先通过pthread_rwlock_destroy对读写锁进行清理工作, 释放由init分配的资源.

2.加锁和解锁

读取读写锁中的锁                int pthread_rwlock_rdlock(pthread_rwlock_t*rwlock);

读取非阻塞读写锁中的锁           int pthread_rwlock_tryrdlock(pthread_rwlock_t*rwlock);

写入读写锁中的锁                int pthread_rwlock_wrlock(pthread_rwlock_t*rwlock);

写入非阻塞读写锁中的锁           int pthread_rwlock_trywrlock(pthread_rwlock_t*rwlock);

解除锁定读写锁                  int pthread_rwlock_unlock(pthread_rwlock_t*rwlock);

 

三、条件变量

假如某个线程需要等待系统处于某种状态下才能继续执行，Linux为了解决这种问题引入了条件变量这种线程同步对象，条件变量是用来通知共享数据状态信息的，等待条件变量总是返回锁住的互斥量，条件变量是与互斥量相关、也与互斥量保护的共享数据相关的信号机制。

条件变量不提供互斥，需要一个互斥量来同步对共享数据的访问，这就是为什么在等待条件变量时必须指定一个互斥量。

1、创建和销毁条件变量

#include <pthread.h>
pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
int pthread_cond_init(pthread_cond_t *restrict cond,const pthread_condattr_t *restrict attr);
int pthread_cond_destroy(pthread_cond_t *cond);    

2、等待条件变量

#include <pthread.h>
int pthread_cond_timedwait(pthread_cond_t *restrict cond,pthread_mutex_t *restrict mutex,const struct timespec *restrict abstime);
int pthread_cond_wait(pthread_cond_t *restrict cond,pthread_mutex_t *restrict mutex);

两个函数的差别在于前者指定一个超时时间，在该时间内阻塞调用线程，并等待条件变量，如果规定时间内条件还没有发生，则函数返回。每个条件变量必须一个特定互斥量关联，当线程等待条件变量时，他必须将相关互斥量锁住。在阻塞线程之前，条件变量等待操作将解锁互斥量，而在重新返回线程之前，会在次锁住互斥量。

3、唤醒条件变量等待线程

#include <pthread.h>
int pthread_cond_broadcast(pthread_cond_t *cond);
int pthread_cond_signal(pthread_cond_t *cond);

pthread_cond_signal将会激活等待线程中的一个；pthread_cond_broadcast将会激活所有的线程。另外请注意这两个函数也需要互斥量来保护。