如何理解互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景

技术如何理解互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景本篇内容主要讲解“如何理解互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让小编来带大家

本文主要讲解“如何理解互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景”。感兴趣的朋友不妨看看。本文介绍的方法简单、快速、实用。让边肖带你学习如何理解互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景。

如何理解互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景

正文

多线程访问共享资源时,不可避免地会因为资源竞争而造成数据的无序。因此,为了解决这个问题,我们通常会在访问共享资源之前进行锁定。

互斥锁是最常用的一种。当然,锁有很多种,比如自旋锁、读写锁、乐观锁等。不同种类的锁自然适合不同的场景。

如果选择了错误的锁,在一些高并发场景下,系统的性能可能会降低,这样用户体验会很差。

因此,为了选择合适的锁,我们不仅需要知道锁的成本,还需要分析业务场景中访问共享资源的方式,然后考虑并发访问共享资源时的冲突概率。

只有开出正确的药方,我们才能减少锁对高并发的影响。

然后,根据不同的应用场景,我们来说说“互斥锁、自旋锁、读写锁、乐观锁、悲观锁”的选择和使用。

互斥锁与自旋锁:谁更轻松自如?

下面两种类型是互斥锁和自旋锁,许多高级锁都是基于它们。你可以认为它们是各种锁的基础,所以我们必须知道它们之间的区别和应用。

加锁的目的是保证任何时候只有一个线程可以访问共享资源,避免多线程造成共享数据的混乱。

当一个线程被锁定时,其他线程的锁定将失败。互斥锁和自旋锁在锁定失败后有不同的处理方法:

互斥锁失败后,线程会将CPU释放给其他线程。

旋转锁失败后,线程将等待,直到获得锁。

互斥锁是一种“排他锁”。比如线程A锁定成功,此时互斥已经被线程A独占。只要线程A不释放手里的锁,线程B就锁定失败,所以会把CPU释放给其他线程。由于线程B释放了CPU,线程B的锁定代码将被阻塞。

互斥锁失效导致的阻塞现象是由操作系统内核实现的。当锁定失败时,内核会将线程置于“睡眠”状态。锁释放后,内核会在适当的时候唤醒线程。当线程成功获取锁时,它可以继续执行。下图:

如何理解互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景

所以互斥锁失效时,会从用户模式掉到内核模式,让内核帮我们切换线程。虽然简化了锁的使用难度,但也存在一定的性能开销成本。

这个间接成本是多少?有两个线程上下文切换的代价:

当一个线程无法锁定时,内核会将线程的状态从“运行”设置为“休眠”,然后将CPU切换到其他线程运行。

然后,当锁被释放时,之前处于“休眠”状态的线程会变为“就绪”状态,然后内核会在适当的时候将CPU切换到该线程。

线程的上下文切换是什么?当两个线程属于同一个进程时,由于虚拟内存是共享的,切换时虚拟内存的这些资源保持不变,只需要切换线程的私有数据、寄存器等非共享数据。

上下切换所花费的时间被广泛计算,从几十纳秒到几微秒不等。如果锁定代码的执行时间很短,上下文切换时间可能会比锁定代码的执行时间长。

因此,如果可以确定锁定代码的执行时间很短,就不要使用互斥锁,而要使用自旋锁,否则就使用互斥锁。

自旋锁是CPU提供的CAS功能(Compare And Swap),在“用户模式”下完成锁定和解锁操作,不会主动产生线程上下文切换,因此比互斥锁更快、更便宜。

一般锁定过程,包括两个步骤:

第一步,检查锁的状态,如果锁是空闲的,执行第二步;

其次,将锁设置为由当前线程持有;

CAS函数将这两个步骤组合成硬件级指令,形成原子指令,从而确保这两个步骤不可分割,要么一次执行这两个步骤,要么两个步骤都不执行。

当使用自旋锁时,当多线程争夺锁时,未能锁定的线程将“忙碌等待”,直到获得锁。在这里,“忙等待”可以通过在一个循环中等待的同时来实现,但是最好使用CPU提供的PAUSE命令来实现“忙等待”,因为这样可以降低循环等待期间的功耗。

旋转锁是最简单的一种锁,总是旋转,使用CPU循环。

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

自旋锁开销少,在多核系统下一般不会主动产生线程切换,适合异步、协程等在用户态切换请求的编程方式,但如果被锁住的代码执行时间过长,自旋的线程会长时间占用  CPU 资源,所以自旋的时间和被锁住的代码执行的时间是成「正比」的关系,我们需要清楚的知道这一点。

自旋锁与互斥锁使用层面比较相似,但实现层面上完全不同:当加锁失败时,互斥锁用「线程切换」来应对,自旋锁则用「忙等待」来应对。

它俩是锁的最基本处理方式,更高级的锁都会选择其中一个来实现,比如读写锁既可以选择互斥锁实现,也可以基于自旋锁实现。

读写锁:读和写还有优先级区分?

读写锁从字面意思我们也可以知道,它由「读锁」和「写锁」两部分构成,如果只读取共享资源用「读锁」加锁,如果要修改共享资源则用「写锁」加锁。

所以,读写锁适用于能明确区分读操作和写操作的场景。

读写锁的工作原理是:

  • 当「写锁」没有被线程持有时,多个线程能够并发地持有读锁,这大大提高了共享资源的访问效率,因为「读锁」是用于读取共享资源的场景,所以多个线程同时持有读锁也不会破坏共享资源的数据。

  • 但是,一旦「写锁」被线程持有后,读线程的获取读锁的操作会被阻塞,而且其他写线程的获取写锁的操作也会被阻塞。

所以说,写锁是独占锁,因为任何时刻只能有一个线程持有写锁,类似互斥锁和自旋锁,而读锁是共享锁,因为读锁可以被多个线程同时持有。

知道了读写锁的工作原理后,我们可以发现,读写锁在读多写少的场景,能发挥出优势。

另外,根据实现的不同,读写锁可以分为「读优先锁」和「写优先锁」。

读优先锁期望的是,读锁能被更多的线程持有,以便提高读线程的并发性,它的工作方式是:当读线程 A 先持有了读锁,写线程 B  在获取写锁的时候,会被阻塞,并且在阻塞过程中,后续来的读线程 C 仍然可以成功获取读锁,最后直到读线程 A 和 C 释放读锁后,写线程 B  才可以成功获取读锁。如下图:

如何理解互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景

而写优先锁是优先服务写线程,其工作方式是:当读线程 A 先持有了读锁,写线程 B 在获取写锁的时候,会被阻塞,并且在阻塞过程中,后续来的读线程 C  获取读锁时会失败,于是读线程 C 将被阻塞在获取读锁的操作,这样只要读线程 A 释放读锁后,写线程 B 就可以成功获取读锁。如下图:

如何理解互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景

读优先锁对于读线程并发性更好,但也不是没有问题。我们试想一下,如果一直有读线程获取读锁,那么写线程将永远获取不到写锁,这就造成了写线程「饥饿」的现象。

写优先锁可以保证写线程不会饿死,但是如果一直有写线程获取写锁,读线程也会被「饿死」。

既然不管优先读锁还是写锁,对方可能会出现饿死问题,那么我们就不偏袒任何一方,搞个「公平读写锁」。

公平读写锁比较简单的一种方式是:用队列把获取锁的线程排队,不管是写线程还是读线程都按照先进先出的原则加锁即可,这样读线程仍然可以并发,也不会出现「饥饿」的现象。

互斥锁和自旋锁都是最基本的锁,读写锁可以根据场景来选择这两种锁其中的一个进行实现。

乐观锁与悲观锁:做事的心态有何不同?

前面提到的互斥锁、自旋锁、读写锁,都是属于悲观锁。

悲观锁做事比较悲观,它认为多线程同时修改共享资源的概率比较高,于是很容易出现冲突,所以访问共享资源前,先要上锁。

那相反的,如果多线程同时修改共享资源的概率比较低,就可以采用乐观锁。

乐观锁做事比较乐观,它假定冲突的概率很低,它的工作方式是:先修改完共享资源,再验证这段时间内有没有发生冲突,如果没有其他线程在修改资源,那么操作完成,如果发现有其他线程已经修改过这个资源,就放弃本次操作。

放弃后如何重试,这跟业务场景息息相关,虽然重试的成本很高,但是冲突的概率足够低的话,还是可以接受的。

可见,乐观锁的心态是,不管三七二十一,先改了资源再说。另外,你会发现乐观锁全程并没有加锁,所以它也叫无锁编程。

这里举一个场景例子:在线文档。

我们都知道在线文档可以同时多人编辑的,如果使用了悲观锁,那么只要有一个用户正在编辑文档,此时其他用户就无法打开相同的文档了,这用户体验当然不好了。

那实现多人同时编辑,实际上是用了乐观锁,它允许多个用户打开同一个文档进行编辑,编辑完提交之后才验证修改的内容是否有冲突。

怎么样才算发生冲突?这里举个例子,比如用户 A 先在浏览器编辑文档,之后用户 B 在浏览器也打开了相同的文档进行编辑,但是用户 B 比用户 A  提交改动,这一过程用户 A 是不知道的,当 A 提交修改完的内容时,那么 A 和 B 之间并行修改的地方就会发生冲突。

服务端要怎么验证是否冲突了呢?通常方案如下:

  • 由于发生冲突的概率比较低,所以先让用户编辑文档,但是浏览器在下载文档时会记录下服务端返回的文档版本号;

  • 当用户提交修改时,发给服务端的请求会带上原始文档版本号,服务器收到后将它与当前版本号进行比较,如果版本号一致则修改成功,否则提交失败。

实际上,我们常见的 SVN 和 Git  也是用了乐观锁的思想,先让用户编辑代码,然后提交的时候,通过版本号来判断是否产生了冲突,发生了冲突的地方,需要我们自己修改后,再重新提交。

乐观锁虽然去除了加锁解锁的操作,但是一旦发生冲突,重试的成本非常高,所以只有在冲突概率非常低,且加锁成本非常高的场景时,才考虑使用乐观锁。

总结

开发过程中,最常见的就是互斥锁的了,互斥锁加锁失败时,会用「线程切换」来应对,当加锁失败的线程再次加锁成功后的这一过程,会有两次线程上下文切换的成本,性能损耗比较大。

如果我们明确知道被锁住的代码的执行时间很短,那我们应该选择开销比较小的自旋锁,因为自旋锁加锁失败时,并不会主动产生线程切换,而是一直忙等待,直到获取到锁,那么如果被锁住的代码执行时间很短,那这个忙等待的时间相对应也很短。

如果能区分读操作和写操作的场景,那读写锁就更合适了,它允许多个读线程可以同时持有读锁,提高了读的并发性。根据偏袒读方还是写方,可以分为读优先锁和写优先锁,读优先锁并发性很强,但是写线程会被饿死,而写优先锁会优先服务写线程,读线程也可能会被饿死,那为了避免饥饿的问题,于是就有了公平读写锁,它是用队列把请求锁的线程排队,并保证先入先出的原则来对线程加锁,这样便保证了某种线程不会被饿死,通用性也更好点。

互斥锁和自旋锁都是最基本的锁,读写锁可以根据场景来选择这两种锁其中的一个进行实现。

另外,互斥锁、自旋锁、读写锁都属于悲观锁,悲观锁认为并发访问共享资源时,冲突概率可能非常高,所以在访问共享资源前,都需要先加锁。

相反的,如果并发访问共享资源时,冲突概率非常低的话,就可以使用乐观锁,它的工作方式是,在访问共享资源时,不用先加锁,修改完共享资源后,再验证这段时间内有没有发生冲突,如果没有其他线程在修改资源,那么操作完成,如果发现有其他线程已经修改过这个资源,就放弃本次操作。

但是,一旦冲突概率上升,就不适合使用乐观锁了,因为它解决冲突的重试成本非常高。

不管使用的哪种锁,我们的加锁的代码范围应该尽可能的小,也就是加锁的粒度要小,这样执行速度会比较快。再来,使用上了合适的锁,就会快上加快了。

到此,相信大家对“如何理解互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景”有了更深的了解,不妨来实际操作一番吧!这里是网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习!

内容来源网络,如有侵权,联系删除,本文地址:https://www.230890.com/zhan/42410.html

(0)

相关推荐

  • CF666C 题解

    技术CF666C 题解 CF666C 题解题目大意
    多组询问。每次询问给定一个串 \(s\) 和一个长度 \(L\)。
    问有多少个长度为 \(L\) 的只包含小写字母的串, 有至少一个子序列等于 \(s

    礼包 2021年11月7日
  • vuex的几种方法和作用(vuex学习目标是什么教程)

    技术vuex的核心概念和基本使用是怎么样的vuex的核心概念和基本使用是怎么样的,相信很多没有经验的人对此束手无策,为此本文总结了问题出现的原因和解决方法,通过这篇文章希望你能解决这个问题。介绍Vuex是实现组件全局状态

    攻略 2021年12月15日
  • SpringBoot项目中怎么使用@Scheduled读取动态参数

    技术SpringBoot项目中怎么使用@Scheduled读取动态参数本篇内容主要讲解“SpringBoot项目中怎么使用@Scheduled读取动态参数”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。

    攻略 2021年11月1日
  • Win10/Win11安装WSA提示Add-AppxPackage部署失败解决方法:关闭签名许可验证 教程

    技术Win10/Win11安装WSA提示Add-AppxPackage部署失败解决方法:关闭签名许可验证 教程 Win10/Win11安装WSA提示Add-AppxPackage部署失败解决方法:关闭签

    礼包 2021年11月25日
  • 有哪些写Python程序的建议

    技术有哪些写Python程序的建议这篇文章主要介绍“有哪些写Python程序的建议”,在日常操作中,相信很多人在有哪些写Python程序的建议问题上存在疑惑,小编查阅了各式资料,整理出简单好用的操作方法,希望对大家解答”

    攻略 2021年11月2日
  • 柯基多少钱,养一只柯基一年大概要多少钱

    技术柯基多少钱,养一只柯基一年大概要多少钱这个看你怎么养了!狗粮、漱口水、营养膏、沐浴露零食、驱虫药、滴耳液、眼药水啥的,都是消耗品柯基多少钱。还有必需品也不少,这些东西价格不等。随便一说开销就上去了。
    不过今天我就按照

    生活 2021年10月21日