锁与原子操作以及CAS的实现

线程同步

当我们对一个变量做增量操作时,其过程通常可分解为以下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个状态:读模式加锁、写模式加锁、不加锁。一次只有一个线程可以进行写模式加锁,且写模式加锁后再进行的读模式加锁将被阻塞,反之亦然。但多个线程可以同时获取读模式下的读写锁。这对于一些采用一写多读形式的应用非常友好。由于多个线程可以同时对读模式加锁,因此读写锁也被称为共享互斥锁。

  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值