线程同步
当我们对一个变量做增量操作时,其过程通常可分解为以下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);