互斥锁和自旋锁比较

1、互斥锁和自旋锁:各种锁的基锁
2、互斥锁(独占锁)加锁失败后,线程会释放 CPU ,给其他线程;
自旋锁加锁失败后,线程会忙等待(可以使用while实现,最好使用CPU提供的PAUSE指令(可以减少循环等待时的耗电量)),直到它拿到锁;
3、注意:互斥锁加锁失败时,会从用户态陷入到内核态,让内核帮我们切换线程,虽然简化了使用锁的难度,但是存在一定的性能开销成本。

一、这个开销成本就是会有两次线程上下文切换的成本。
1、当线程加锁失败时,内核会把线程的状态从「运行」状态设置为「睡眠」状态,然后把 CPU 切换给其他线程运行;
2、接着,当锁被释放时,之前「睡眠」状态的线程会变为「就绪」状态,然后内核会在合适的时间,把 CPU 切换给该线程运行。

什么是线程的上下文切换:当两个线程是属于同一个进程,因为虚拟内存是共享的,所以在切换时,虚拟内存这些资源就保持不动,只需要切换线程的私有数据、寄存器等不共享的数据。

综上所述:如果你能确定被锁住的代码执行时间很短,就不应该用互斥锁,而应该选用自旋锁,否则使用互斥锁。

二、自旋锁是通过 CPU 提供的 CAS 函数(Compare And Swap),在「用户态」完成加锁和解锁操作,不会主动产生线程上下文切换,所以相比互斥锁来说,会快一些,开销也小一些。

叫CAS(Compare And Swap)。就是在并发很小的情况下,数据被意外修改的概率很低,但是又存在这种可能性,此时就用CAS。

这里再解释下ABA问题,假如你睡觉前数据是5,醒来后数据还是5,并不能肯定数据没有被修改过。可能数据先被修改成8然后又改回到5,只是你不知道罢了。对于这个问题(加上标志位),其实也很好解决,再加一个版本号字段就行了,并规定只要修改数据,必须使版本号加1。

CAS操作单个共享变量的时候可以保证原子的操作,多个变量就不行了,JDK 5之后 AtomicReference可以用来保证对象之间的原子性,就可以把多个对象放入CAS中操作。

保证对象原子性:AtomicInteger举例,他的自增函数incrementAndGet()就是这样实现的,其中就有大量循环判断的过程,直到符合条件才成功。

  1. 线程1读取了数据A
  2. 线程2读取了数据A
  3. 线程2通过CAS比较,发现值是A没错,可以把数据A改成数据B
  4. 线程3读取了数据B
  5. 线程3通过CAS比较,发现数据是B没错,可以把数据B改成了数据A
  6. 线程1通过CAS比较,发现数据还是A没变,就写成了自己要改的值

自旋锁的加锁步骤:
第一步,查看锁的状态,如果锁是空闲的,则执行第二步;
第二步,将锁设置为当前线程持有;

自旋锁是最比较简单的一种锁,一直自旋,利用 CPU 周期,直到锁可用。需要注意,在单核 CPU 上,需要抢占式的调度器(即不断通过时钟中断一个线程,运行其他线程)。否则,自旋锁在单 CPU 上无法使用,因为一个自旋的线程永远不会放弃 CPU。

### 互斥锁自旋锁区别 在并发编程中,`mutex lock` `spin lock` 是两种常见的同步机制,用于协调多线程环境中对共享资源的访问。以下是它们的主要区别及其应用场景分析。 #### Mutex Lock Mutex(Mutual Exclusion)是一种基于操作系统调度的锁定机制,允许同一时间只有一个线程进入临界区。当一个线程尝试获取已被占用的互斥锁时,该线程会被挂起并放入等待队列中,直到锁被释放[^1]。 - **特点**: - 线程在等待期间会放弃 CPU 时间片,从而降低功耗。 - 适用于可能较长时间持有锁的情形。 - 存在线程上下文切换的成本,这可能会带来一定的性能开销。 - **适用场景**: - 锁定的时间较长或不确定的情况下更为合适。 - 多核系统中,如果线程频繁阻塞唤醒,可能导致较高的延迟。 #### Spin Lock Spin Lock 是一种忙等待型的锁,当一个线程尝试获取已被占用的自旋锁时,它不会立即进入休眠状态而是不断循环检查锁的状态,直至其可用为止[^2]。 - **特点**: - 不会产生线程上下文切换,因此在短时间锁定情况下具有较低的延迟。 - 资源消耗较大,因为即使线程未获得锁也会持续运行,占用 CPU 循环检测。 - 更适合单处理器或多处理器环境下极短时间内完成的任务。 - **适用场景**: - 锁定时间非常短暂的情景下表现优异。 - 在实时性要求高的应用程序中有一定优势,因为它减少了因线程切换带来的不确定性。 尽管两者都旨在解决资源共享问题,但它们的设计哲学技术实现存在显著差异: | 特性 | Mutex Lock | Spin Lock | |---------------------|------------------------------------|---------------------------------| | 性能影响 | 上下文切换引入额外成本 | 高度利用CPU周期 | | 使用场合 | 较长锁定期 | 极短锁定期内 | | 并发模型适应能力 | 支持多种模式 | 主要针对低延迟需求 | 下面提供了一个简单的对比示例来展示这两种技术如何应用于实际编码当中: ```cpp #include <pthread.h> #include <iostream> // Example of using mutex lock pthread_mutex_t mtx = PTHREAD_MUTEX_INITIALIZER; void* thread_function(void*) { pthread_mutex_lock(&mtx); // Acquire the lock std::cout << "Critical section entered." << std::endl; pthread_mutex_unlock(&mtx); // Release the lock return nullptr; } int main() { pthread_t t1, t2; pthread_create(&t1, NULL, thread_function, NULL); pthread_create(&t2, NULL, thread_function, NULL); pthread_join(t1, NULL); pthread_join(t2, NULL); return 0; } ``` ```cpp // Example of using spin lock volatile int spinlock = 0; void acquire_spinlock() { while (__sync_lock_test_and_set(&spinlock, 1)) { } // Atomically set and test } void release_spinlock() { __sync_lock_release(&spinlock); // Clear the lock flag atomically } void* thread_function(void*) { acquire_spinlock(); // Attempt to grab the lock without sleeping std::cout << "Critical section entered via spinlock." << std::endl; release_spinlock(); return nullptr; } ``` --- ###
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

皮皮虾骑着皮皮狗

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值