Linux锁机制与条件变量

Linux的四种锁机制

互斥锁：mutex

互斥锁：mutex，用于保证在任何时刻，都只能有一个线程访问该对象。当获取锁操作失败时，线程会进入睡眠，等待锁释放时被唤醒。

读写锁：rwlock

读写锁：rwlock，分为读锁和写锁。处于读操作时，可以允许多个线程同时获得读操作。但在同一时刻只能有一个线程可以获得写锁。即“读共享，写独占”。

【注】适用于读取数据的频率远远大于写数据的频率。

自旋锁：spinlock

自旋锁：spinlock，在任何时刻只能有一个线程访问对象。当获取锁操作失败时，不会进入睡眠，而是会在原地忙等，直到锁被释放。这样节省了线程从睡眠状态到被唤醒期间的消耗，在加锁时间短暂的环境下回极大的提高效率；但如果加锁时间过长，会非常浪费CPU资源。

RCU：read-copy-update

RCU：即read-copy-update，在修改数据时，首先需要读取数据，然后生成一个副本，对副本进行修改。修改完成后，再将老数据update成新的数据。

使用RCU时，读者几乎不需要同步开销，既不需要获取锁，也不使用原子指令，不会导致锁竞争，因此就不用考虑死锁的问题了。

而对于写者的同步开销较大，它需要复制被修改的数据，还必须使用锁机制同步并行其他写者的修改操作。

【注】大量的读操作，少量的写操作，效率非常高。

Linux条件变量

一个条件变量可以阻塞多个线程，这些线程会组成一个等待队列。当条件成立时，条件变量可以解除线程的“被阻塞状态”，即条件变量可以完成两项操作：

  1）阻塞线程，直到接收到“条件成立”的信号

  2）向等待队列中的一个或所有线程发送“条件成立”的信号，解除他们“被阻塞”状态

为了避免多线程之间发生“抢夺资源”的问题，条件变量必须和一个互斥量搭配使用。

条件变量的具体用法

条件变量用 pthread_cond_t 类型的变量表示，此类型定义在<pthread.h>头文件中。

1、初始化条件变量

1、pthread_cond_t myCond = PTHREAD_COND_INITIALIZER;
2、int pthread_cond_init(pthread_cond_t * cond, const pthread_condattr_t * attr);

2、阻塞当前线程，等待条件成立

int pthread_cond_wait(pthread_cond_t* cond, pthread_mutex_t* mutex);
int pthread_cond_timedwait(pthread_cond_t* cond, pthread_mutex_t* mutex, const struct timespec* abstime); 

3、解除线程的“阻塞”状态

int pthread_cond_signal(pthread_cond_t* cond);//解除至少一个线程的“被阻塞”状态
int pthread_cond_broadcast(pthread_cond_t* cond);//解除所有线程的“被阻塞”状态

4、销毁条件变量

int pthread_cond_destroy(pthread_cond_t *cond);