线程是CPU调度的最小单位,也就是说一个进程中的多个线程是以不定的调度顺序并发执行的。而一个进程中的多个线程是共享内存资源的,这里就引出了一个概念----临界资源,多个线程都可以访问的资源,而线程中访问临界资源的代码段称为临界区。如果多个线程都有同一个临界资源的临界区,那这些线程的调用顺序不同得到的结果就可能不同,这时我们就需要一些措施使线程按照我们的想法顺序执行从而避免这种情况情况,这个过程称之为线程的同步。
线程同步的第一种措施是互斥量。互斥量实际上是一把锁,相关的操作主要是在临界区前加锁、临界区后解锁;互斥量的类型是pthread_mutex_t。
该类型的初始化和销毁有静态方法和动态方法,其中静态方法很简单:pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;动态方法是使用pthread_mutex_init()和pthread_mutex_destroy()函数。
- pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
- int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *attr);
- int pthread_mutex_destory(pthread_mutex_t *mutex);
加锁、解锁操作如下:
- int pthread_mutex_lock(pthread_mutex_t *mutex);
- int pthread_mutex_unlock(pthread_mutex_t *mutex);
- int pthread_mutex_trylock(pthread_mutex_t *mutex);
这里的临界资源,并不仅限于全局变量这样每个线程都能访问到的资源,还包括进程中使用的一些其他资源如文件。在多个线程中访问同一个文件的代码也是临界区,所以也需要使用互斥量。Linux系统还给我们提供了现成的文件不同操作函数(原理就是使用了互斥量)。
- void flockfile(FILE *filehandle);
- int ftrylockfile(FILE *filehandle);
- void funlockfile(FILE *filehandle);
在多个线程可以调用同一个函数,使用pthread_once()函数可以指定让该函数在所有线程只被调用一次(被哪个调用不一定)
- int pthread_once(pthread_once_t *once_control, void (*init_routine)(void));
- pthread_once_t once_control = PTHREAD_ONCE_INIT;
还有一种和处理量类似的锁----读写锁,读写锁和互斥锁的区别是:对于临界区加的锁有两种,共享式读锁和独占式写锁,如果临界区中对临界资源只做读的操作则使用读锁即可,否则需要写锁。读锁可以加上多把,但写锁只能加一把(并且不能有读锁)。相关操作如下:
- pthread_rwlock_t rwlock = PTHREAD_RWLOCK_INITIALIZE;
- int pthread_rwlock_init(pthread_rwlock_t * rwlock, const pthread_rwlockattr_t * attr);
- int pthread_rwlock_destroy(pthread_rwlock_t *rwlock);
- int pthread_rwlock_rdlock(pthread_rwlock_t *rwlock);
- int pthread_rwlock_rwlock(pthread_rwlock_t *rwlock);
- int pthread_rwlock_unlock(pthread_rwlock_t *rwlock);
互斥量经常和条件变量一起配合使用,条件变量并不是锁,而是一种等待--通知机制。等待的是条件,通知的是条件达成,提供了线程间的等待条件的方式。条件变量的类型pthread_cond_t,相关的初始化销毁操作如下:
- pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
- int pthread_cond_init(pthread_cond_t * cond, const pthread_condattr_t *attr);
- int pthread_cond_destroy(pthread_cond_t *cond);
- 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 * timeout);
通知条件达成的函数如下:
- int pthread_cond_broadcast(pthread_cond_t *cond);
- int pthread_cond_signal(pthread_cond_t *cond);
最后一种同步的措施是使用无名信号量。信号量也称为信号灯,灯亮时表示资源可以使用(可以进入临界区),灯灭时表示无资源可用(不可以进入临界区 阻塞);并且信号量是一种多灯,也就是说灯的数量可以是多个,但只要有一个亮可以进入临界区;每次进入临界区后应灭一盏灯,每次出临界区后应点亮一盏灯。相关的操作如下:
- int sem_init(sem_t *sem, int pshared, unsigned int value);
- int sem_destroy(sem_t *sem);
- int sem_wait(sem_t *sem);
- int sem_post(sem_t *sem);
- int sem_getvalue(sem_t *sem, int *sval);
说的锁,不得不提的是死锁的概念。死锁:两个或两个以上的线程(进程)在执行过程中,因竞争资源而造成的一种互相等待的现象。死锁产生的原因:资源竞争以及线程(进程)推进顺序非法。死锁产生的条件:互斥条件、请求和保持条件、不可剥夺条件、环路等待条件。死锁处理方法:预防死锁(破坏条件中的任意一个)、避免死锁(缩短事务的逻辑处理过程、死锁超时、优化程序、仔细测试、错误处理)