在多线程或多进程间共享数据时,为了保证共享数据的正确性,同步是必不可少的。其中,互斥锁与条件变量是同步的重要组成部分, 互斥锁用来上锁, 条件变量用来等待。
1.1 互斥锁
互斥是指相互排斥(mutual exclusion)。互斥锁用于保护临界区(critical region), 以保证任何时刻只有一个线程(进程)在执行其中的代码,假设互斥锁由多个线程(进程),保护一个临界区的代码通常如下:
lock_the_mutex(...);
/* critical region */
unlock_the_mutex(...);
1.1.1 互斥锁初始化
Posix 互斥锁被声明为 pthread_mutex_t 数据类型的变量。可以用如下两种方法进行初始化。
- 将互斥量初始化成常量值 PTHREAD_MUTEX_INITIALIZER 。linux 中 PTHREAD_MUTEX_INITIALIZER 的宏定义如下:
#if __WORDSIZE == 64 #define PTHREAD_MUTEX_INITIALIZER \ { { 0, 0, 0, 0, 0, 0, { 0, 0 } } } #ifdef __USE_GNU #define PTHREAD_RECURSIVE_MUTEX_INITIALIZER_NP \ { { 0, 0, 0, 0, PTHREAD_MUTEX_RECURSIVE_NP, 0, { 0, 0 } } } #define PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP \ { { 0, 0, 0, 0, PTHREAD_MUTEX_ERRORCHECK_NP, 0, { 0, 0 } } } #define PTHREAD_ADAPTIVE_MUTEX_INITIALIZER_NP \ { { 0, 0, 0, 0, PTHREAD_MUTEX_ADAPTIVE_NP, 0, { 0, 0 } } } #endif #else #define PTHREAD_MUTEX_INITIALIZER \ { { 0, 0, 0, 0, 0, { 0 } } } #ifdef __USE_GNU #define PTHREAD_RECURSIVE_MUTEX_INITIALIZER_NP \ { { 0, 0, 0, PTHREAD_MUTEX_RECURSIVE_NP, 0, { 0 } } } #define PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP \ { { 0, 0, 0, PTHREAD_MUTEX_ERRORCHECK_NP, 0, { 0 } } } #define PTHREAD_ADAPTIVE_MUTEX_INITIALIZER_NP \ { { 0, 0, 0, PTHREAD_MUTEX_ADAPTIVE_NP, 0, { 0 } } } #endif #endif
- 如果互斥锁是通过动态分配的,那么我们在运行之时就不用使用第一种方式来初始化互斥锁,这时可以通过 pthread_mutex_init 函数来初始化。同时从上面的 PTHREAD_MUTEX_INITIALIZER 的宏定义可以看出,我们只要 将动态分配的变量全都初始化为0,也是行的,linux下可以用 bzero,标准 C 中有 memset。
1.1.2 互斥锁上锁和解锁
三个上锁或解锁的函数:
#include <pthread.h>
int pthread_mutex_lock(pthread_mutex_t *mptr);
int pthread_mutex_trylock(pthread_mutex_t *mptr);
int pthread_mutex_unlock(pthread_mutex_t *mptr);
其中pthread_mutex_lock为阻塞函数,pthread_mutex_trylock 为非阻塞函数。对阻塞函数而言,如果互斥锁己被上锁则返回EBUSY错误。
1.2 条件变量
1.2.1 等待与信号发送
条件变量是类型为 pthread_cond_t 的变量。条件变量的相关操作函数如下:
#include<pthread.h>
int pthread_cond_wait(pthread_cond_t *cptr, pthread_mutex_t *mptr);
int pthread_cond_signal(pthread_cond_t *cptr);
pthread_cond_wait(cond, mutex) 该函数原子地执行以下两个动作:
- 给互斥锁 mutex 解锁。
- 把调用线程投入睡眠, 直到另外某个线程就本条件变量cond调用pthread_cond_signal,pthread_cond_wait 在返回前重新给互斥锁 mutex 上锁。
给条件变量发送信号的代码大体如下:
struct {
pthread_mutex_t mutex;
pthread_cond_t cond;
/* 维护本条件的各个变量 */
}var = { PTHREAD_MUTEX_INITIALIZER, PTHREAD_COND_INITIALIZER /*, ... */};
pthread_mutex_lock(& var.mutex);
/* set the condition as true */
pthread_cond_signal(& var.cond);
pthread_mutex_unlock(& var.mutex);
为了避免虚假唤醒(spurious wakeup), 测试条件并进入睡眠以等待该条件变为真 的代码如下:
pthread_mutex_lock(& var.mutex);
while (/* condition is false */ )
pthread_cond_wait(& var.cond, & var.mutex);
/* change the condition */
pthread_mutex_unlock(& var.mutex);
为了避免上锁冲突将
/* producer */
pthread_mutex_lock(& nready.mutex);
if( nready.nready == 0)
pthread_cond_signal(& nready.cond);
nready.nready++;
pthread_mutex_unlock(& nready.mutex);
/* consumer */
pthread_mutex_lock(& nready.mutex);
while( nready.nready == 0)
pthread_cond_wait(& nready.cond, & nready.mutex);
nready.nready--;
pthread_mutex_unlock(& nready.mutex);
中的生产者的代码改为:
int dosignal;
pthread_mutex_lock(& nready.mutex);
dosignal = ( nready.nready == 0);
nready.nready++;
pthread_mutex_unlock(& nready.mutex);
if (dosignal)
pthread_cond_signal(& nready.cond);
1.2.2 定时等待与广播
pthread_cond_signal 只唤醒等待在相应条件变量的一个线程,pthread_cond_broadcast 可以唤醒阻塞在相应条件变量上的所有线程。
#include <pthread.h>
int pthread_cond_broadcast(pthread_cond_t *cptr);
int pthread_cond_timedwait(pthread_cont_t *cptr, pthread_mutex_t *mptr, \
const struct timespec *abstime);
struct timespec{
time_t tv_sec; /* seconds */
long tv_nsec; /* nanoseconds */
};
1.3 互斥锁和条件变量的属性
互斥锁属性的数据类型为 pthread_mutexattr_t, 条件变量属性的数据类型为 pthread_condattr_t。
互斥锁和条件变量及其性性初始化、摧毁函数和属性设置函数如下:
int pthread_mutex_init(pthread_mutex_t *mptr, const pthread_mutexattr_t *attr);
int pthread_mutex_destroy(pthread_mutex_t *mptr);
int pthread_cond_init(pthread_cond_t *cptr, const pthread_condattr_t *attr);
int pthread_cond_destroy(pthread_cond_t *cptr);
int pthread_mutexattr_init(pthread_mutexattr_t *mptr);
int pthread_mutexattr_destroy(pthread_mutexattr_t *mptr);
int pthread_condattr_init(pthread_condattr_t *cptr);
int pthread_condattr_destroy(pthread_condattr_t *cptr);
int pthread_mutexattr_getpshared(const pthread_mutexattr_t *attr, int *valptr);
int pthread_mutexattr_setpshared(pthread_mutexattr_t *attr, int value);
int pthread_condattr_getpshared(const pthread_condattr_t *attr, int *valptr);
int pthread_condattr_setpshared(pthread_condattr_t *attr, int value);
/* return 0 if successed, else return errno */