线程同步
当我们对一个变量做增量操作时,其过程通常可分解为以下3步:
- 从内存中将变量读入寄存器
- 在寄存器中对变量做增量操作
- 把新的值写回内存单元
当多个线程同时对同一个变量做该增量操作时,如果不进行同步,结果很可能会与预想的不一致。如两个线程同时读出变量的原始值,先后做增量操作后再写回内存,此处涉及两次增量操作,这导致实际效果是只有一次增量操作。
锁与原子操作都可以用来实现线程间的同步。
锁
互斥锁 mutex
pthread提供了如下的互斥锁操作接口(头文件<pthread.h>
):
/* Initialize a mutex. */
int pthread_mutex_init (pthread_mutex_t *__mutex, const pthread_mutexattr_t *__mutexattr);
/* Destroy a mutex. */
int pthread_mutex_destroy (pthread_mutex_t *__mutex);
/* Lock a mutex. */
int pthread_mutex_lock (pthread_mutex_t *__mutex);
/* Unlock a mutex. */
int pthread_mutex_unlock (pthread_mutex_t *__mutex);
/* Try locking a mutex. */
int pthread_mutex_trylock (pthread_mutex_t *__mutex);
/* Wait until lock becomes available, or specified time passes. */
int pthread_mutex_timedlock (pthread_mutex_t *__restrict __mutex, const struct timespec *__restrict __abstime);
如果线程不希望在未能获取到锁的情况下被阻塞,那么可以使用pthread_mutex_trylock
尝试加锁。也可以使用pthread_mutex_timedlock
在超时未能获取到锁的情况下直接返回。
读写锁 rdlock
互斥锁一次只允许一个线程加锁,即使多个线程只是对某个资源进行读操作。实际上这种情况下不存在同步问题,只有在同时读和写或者同事多个写时同步才是必须的。因此出现了读写锁,它与互斥锁类似,但具有更高的并行性。
读写锁存在3个状态:读模式加锁、写模式加锁、不加锁。一次只有一个线程可以进行写模式加锁,且写模式加锁后再进行的读模式加锁将被阻塞,反之亦然。但多个线程可以同时获取读模式下的读写锁。这对于一些采用一写多读形式的应用非常友好。由于多个线程可以同时对读模式加锁,因此读写锁也被称为共享互斥锁。