Java中的锁以及sychronized实现机制

理解锁的基础知识

如果想要透彻的理解java锁的来龙去脉，需要先了解以下基础知识。

基础知识之一：锁的类型

按照其性质分类

公平锁/非公平锁

公平锁是指多个线程按照申请锁的顺序来获取锁。非公平锁是指多个线程获取锁的顺序并不是按照申请锁的顺序，有可能后申请的线程比先申请的线程优先获取锁。有可能，会造成优先级反转或者饥饿现象。对于Java ReentrantLock而言，通过构造函数指定该锁是否是公平锁，默认是非公平锁。非公平锁的优点在于吞吐量比公平锁大。对于Synchronized而言，也是一种非公平锁。由于其并不像ReentrantLock是通过AQS的来实现线程调度，所以并没有任何办法使其变成公平锁。

乐观锁/悲观锁

乐观锁与悲观锁不是指具体的什么类型的锁，而是指看待并发同步的角度。悲观锁认为对于同一个数据的并发操作，一定是会发生修改的，哪怕没有修改，也会认为修改。因此对于同一个数据的并发操作，悲观锁采取加锁的形式。悲观的认为，不加锁的并发操作一定会出问题。乐观锁则认为对于同一个数据的并发操作，是不会发生修改的。在更新数据的时候，会采用尝试更新，不断重新的方式更新数据。乐观的认为，不加锁的并发操作是没有事情的。从上面的描述我们可以看出，悲观锁适合写操作非常多的场景，乐观锁适合读操作非常多的场景，不加锁会带来大量的性能提升。悲观锁在Java中的使用，就是利用各种锁。乐观锁在Java中的使用，是无锁编程，常常采用的是CAS算法，典型的例子就是原子类，通过CAS自旋实现原子操作的更新。

独享锁/共享锁

独享锁是指该锁一次只能被一个线程所持有。共享锁是指该锁可被多个线程所持有。对于Java ReentrantLock而言，其是独享锁。但是对于Lock的另一个实现类ReentrantReadWriteLock，其读锁是共享锁，其写锁是独享锁。读锁的共享锁可保证并发读是非常高效的，读写，写读，写写的过程是互斥的。独享锁与共享锁也是通过AQS来实现的，通过实现不同的方法，来实现独享或者共享。对于Synchronized而言，当然是独享锁。

互斥锁/读写锁

上面讲的独享锁/共享锁就是一种广义的说法，互斥锁/读写锁就是具体的实现。互斥锁在Java中的具体实现就是ReentrantLock，读写锁在Java中的具体实现就是ReentrantReadWriteLock

可重入锁

可重入锁又名递归锁，是指在同一个线程在外层方法获取锁的时候，在进入内层方法会自动获取锁。对于Java ReentrantLock而言, 他的名字就可以看出是一个可重入锁，其名字是Reentrant Lock重新进入锁。对于Synchronized而言,也是一个可重入锁。可重入锁的一个好处是可一定程度避免死锁。

基础知识之二：java线程阻塞的代价

java的线程是映射到操作系统原生线程之上的，如果要阻塞或唤醒一个线程就需要操作系统介入，需要在户态与核心态之间切换，这种切换会消耗大量的系统资源，因为用户态与内核态都有各自专用的内存空间，专用的寄存器等，用户态切换至内核态需要传递给许多变量、参数给内核，内核也需要保护好用户态在切换时的一些寄存器值、变量等，以便内核态调用结束后切换回用户态继续工作。

如果线程状态切换是一个高频操作时，这将会消耗很多CPU处理时间；
如果对于那些需要同步的简单的代码块，获取锁挂起操作消耗的时间比用户代码执行的时间还要长，这种同步策略显然非常糟糕的。
synchronized会导致争用不到锁的线程进入阻塞状态，所以说它是java语言中一个重量级的同步操纵，被称为重量级锁，为了缓解上述性能问题，JVM从1.5开始，引入了轻量锁与偏向锁，默认启用了自旋锁，他们都属于乐观锁。

明确java线程切换的代价，是理解java中各种锁的优缺点的基础之一。

基础知识之三：CAS

CAS（Compare and swap）比较和替换是设计并发算法时用到的一种技术。简单来说，比较和替换是使用一个期望值和一个变量的当前值进行比较，如果当前变量的值与我们期望的值相等，就使用一个新值替换当前变量的值。

Java5以来，你可以使用java.util.concurrent.atomic包中的一些原子类来使用CPU中的这些功能：

[Java] 纯文本查看 复制代码

private AtomicBoolean locked = new AtomicBoolean(false);

public boolean lock() {

return locked.compareAndSet(false, true);

}

locked变量不再是boolean类型而是AtomicBoolean。这个类中有一个compareAndSet()方法，它使用一个期望值和AtomicBoolean实例的值比较，和两者相等，则使用一个新值替换原来的值。在这个例子中，它比较locked的值和false，如果locked的值为false，则把修改为true。
如果值被替换了，compareAndSet()返回true，否则，返回false。

CAS的ABA问题

进程P1在共享变量中读到值为A
P1被抢占了，进程P2执行
P2把共享变量里的值从A改成了B，再改回到A，此时被P1抢占。
P1回来看到共享变量里的值没有被改变，于是继续执行。

这个例子你可能没有看懂，维基百科上给了一个活生生的例子——

你拿着一个装满钱的手提箱在飞机场，此时过来了一个火辣性感的美女，然后她很暖昧地挑逗着你，并趁你不注意的时候，把用一个一模一样的手提箱和你那装满钱的箱子调了个包，然后就离开了，你看到你的手提箱还在那，于是就提着手提箱去赶飞机去了。小结

前面提到了java的4种锁，他们分别是重量级锁、自旋锁、轻量级锁和偏向锁，
不同的锁有不同特点，每种锁只有在其特定的场景下，才会有出色的表现，java中没有哪种锁能够在所有情况下都能有出色的效率，引入这么多锁的原因就是为了应对不同的情况；

前面讲到了重量级锁是悲观锁的一种，自旋锁、轻量级锁与偏向锁属于乐观锁，所以现在你就能够大致理解了他们的适用范围，但是具体如何使用这几种锁呢，就要看后面的具体分析他们的特性；

synchronized的实现机制

Java SE1.6里synchronized一共有四种状态，无锁状态，偏向锁状态，轻量级锁状态和重量级锁状态，它会随着竞争情况逐渐升级。锁可以升级但不能降级，意味着偏向锁升级成轻量级锁后不能降级成偏向锁。这种锁升级却不能降级的策略，目的是为了提高获得锁和释放锁的效率。

自旋锁

自旋锁原理非常简单，如果持有锁的线程能在很短时间内释放锁资源，那么那些等待竞争锁的线程就不需要做内核态和用户态之间的切换进入阻塞挂起状态，它们只需要等一等（自旋），等持有锁的线程释放锁后即可立即获取锁，这样就避免用户线程和内核的切换的消耗。

但是线程自旋是需要消耗cpu的，说白了就是让cpu在做无用功，如果一直获取不到锁，那线程也不能一直占用cpu自旋做无用功，所以需要设定一个自旋等待的最大时间。

如果持有锁的线程执行的时间超过自旋等待的最大时间扔没有释放锁，就会导致其它争用锁的线程在最大等待时间内还是获取不到锁，这时争用线程会停止自旋进入阻塞状态。

自旋锁的优缺点

自旋锁尽可能的减少线程的阻塞，这对于锁的竞争不激烈，且占用锁时间非常短的代码块来说性能能大幅度的提升，因为自旋的消耗会小于线程阻塞挂起再唤醒的操作的消耗，这些操作会导致线程发生两次上下文切换！

但是如果锁的竞争激烈，或者持有锁的线程需要长时间占用锁执行同步块，这时候就不适合使用自旋锁了，因为自旋锁在获取锁前一直都是占用cpu做无用功，占着XX不XX，同时有大量线程在竞争一个锁，会导致获取锁的时间很长，线程自旋的消耗大于线程阻塞挂起操作的消耗，其它需要cpu的线程又不能获取到cpu，造成cpu的浪费。所以这种情况下我们要关闭自旋锁；

自旋锁的开启

JDK1.6中-XX:+UseSpinning开启；
-XX:PreBlockSpin=10 为自旋次数；
JDK1.7后，去掉此参数，由jvm控制；

偏向锁

Java偏向锁(Biased Locking)是Java6引入的一项多线程优化。
偏向锁，顾名思义，它会偏向于第一个访问锁的线程，
大多数情况下锁不仅不存在多线程竞争，而且总是由同一线程多次获得。偏向锁的目的是在某个线程获得锁之后，消除这个线程锁重入（CAS）的开销，看起来让这个线程得到了偏护。另外，JVM对那种会有多线程加锁，但不存在锁竞争的情况也做了优化，听起来比较拗口，但在现实应用中确实是可能出现这种情况，因为线程之前除了互斥之外也可能发生同步关系，被同步的两个线程（一前一后）对共享对象锁的竞争很可能是没有冲突的。对这种情况，JVM用一个epoch表示一个偏向锁的时间戳（真实地生成一个时间戳代价还是蛮大的，因此这里应当理解为一种类似时间戳的identifier）
如果在运行过程中，遇到了其他线程抢占锁，则持有偏向锁的线程会被挂起，JVM会消除它身上的偏向锁，将锁恢复到标准的轻量级锁。
它通过消除资源无竞争情况下的同步，进一步提高了程序的运行性能。

偏向锁的获取

访问Mark Word中偏向锁的标识是否设置成1，锁标志位是否为01，确认为可偏向状态。
如果为可偏向状态，则测试线程ID是否指向当前线程，如果是，进入步骤5，否则进入步骤3。
如果线程ID并未指向当前线程，则通过CAS操作竞争锁。如果竞争成功，则将Mark Word中线程ID设置为当前线程ID，然后执行5；如果竞争失败，执行4。
如果CAS获取偏向锁失败，则表示有竞争。当到达全局安全点（safepoint）时获得偏向锁的线程被挂起，偏向锁升级为轻量级锁，然后被阻塞在安全点的线程继续往下执行同步代码。（撤销偏向锁的时候会导致stop the word）
执行同步代码。

偏向锁的释放

偏向锁的撤销在上述第四步骤中有提到。偏向锁只有遇到其他线程尝试竞争偏向锁时，持有偏向锁的线程才会释放锁，线程不会主动去释放偏向锁。偏向锁的撤销，需要等待全局安全点（在这个时间点上没有字节码正在执行），它会首先暂停拥有偏向锁的线程，判断锁对象是否处于被锁定状态，撤销偏向锁后恢复到未锁定（标志位为“01”）或轻量级锁（标志位为“00”）的状态。

偏向锁的适用场景

始终只有一个线程在执行同步块，在它没有执行完释放锁之前，没有其它线程去执行同步块，在锁无竞争的情况下使用，一旦有了竞争就升级为轻量级锁，升级为轻量级锁的时候需要撤销偏向锁，撤销偏向锁的时候会导致stop the word操作；
在有锁的竞争时，偏向锁会多做很多额外操作，尤其是撤销偏向所的时候会导致进入安全点，安全点会导致stw，导致性能下降，这种情况下应当禁用；

jvm开启/关闭偏向锁

开启偏向锁：-XX:+UseBiasedLocking -XX:BiasedLockingStartupDelay=0
关闭偏向锁：-XX:-UseBiasedLocking

轻量级锁

轻量级锁是由偏向所升级来的，偏向锁运行在一个线程进入同步块的情况下，当第二个线程加入锁争用的时候，偏向锁就会升级为轻量级锁；

加锁

线程在执行同步块之前，JVM会先在当前线程的栈桢中创建用于存储锁记录的空间，并将对象头中的Mark Word复制到锁记录中，官方称为Displaced Mark Word。然后线程尝试使用CAS将对象头中的Mark Word替换为指向锁记录的指针。如果成功，当前线程获得锁，如果失败，则自旋获取锁，当自旋获取锁仍然失败时，表示存在其他线程竞争锁(两条或两条以上的线程竞争同一个锁)，则轻量级锁会膨胀成重量级锁。

解锁

轻量级解锁时，会使用原子的CAS操作来将Displaced Mark Word替换回到对象头，如果成功，则表示同步过程已完成。如果失败，表示有其他线程尝试过获取该锁，表示当前锁存在竞争，锁就会膨胀成重量级锁。则要在释放锁的同时唤醒被挂起的线程。

总结

偏向锁/轻量级锁/重量级锁
这三种锁是指锁的状态，并且是针对Synchronized。在Java 5通过引入锁升级的机制来实现高效Synchronized。这三种锁的状态是通过对象监视器在对象头中的字段来表明的。

第一步，检查MarkWord里面是不是放的自己的ThreadId ,如果是，表示当前线程是处于 “偏向锁”.跳过轻量级锁直接执行同步体。

第二步，如果MarkWord不是自己的ThreadId,锁升级，这时候，用CAS来执行切换，新的线程根据MarkWord里面现有的ThreadId，通知之前线程暂停，之前线程将Markword的内容置为空。

第三步，两个线程都把对象的HashCode复制到自己新建的用于存储锁的记录空间，接着开始通过CAS操作，把共享对象的MarKword的内容修改为自己新建的记录空间的地址的方式竞争MarkWord.

第四步，第三步中成功执行CAS的获得资源，失败的则进入自旋.

第五步，自旋的线程在自旋过程中，成功获得资源(即之前获的资源的线程执行完成并释放了共享资源)，则整个状态依然处于轻量级锁的状态，如果自旋失败第六步，进入重量级锁的状态，这个时候，自旋的线程进行阻塞，等待之前线程执行完成并唤醒自己.

锁优化

以上介绍的锁不是我们代码中能够控制的，但是借鉴上面的思想，我们可以优化我们自己线程的加锁操作；

减少锁的时间

不需要同步执行的代码，能不放在同步快里面执行就不要放在同步快内，可以让锁尽快释放；

减少锁的粒度

它的思想是将物理上的一个锁，拆成逻辑上的多个锁，增加并行度，从而降低锁竞争。它的思想也是用空间来换时间；

java中很多数据结构都是采用这种方法提高并发操作的效率：
ConcurrentHashMap的锁分段技术

LinkedBlockingQueue也体现了这样的思想，在队列头入队，在队列尾出队，入队和出队使用不同的锁，相对于LinkedBlockingArray只有一个锁效率要高；

锁粗化

锁的粗化则是要增大锁的粒度;
在以下场景下需要粗化锁的粒度：
假如有一个循环，循环内的操作需要加锁，我们应该把锁放到循环外面，否则每次进出循环，都进出一次临界区，效率是非常差的；

使用读写锁

ReentrantReadWriteLock 是一个读写锁，读操作加读锁，可以并发读，写操作使用写锁，只能单线程写；

读写分离

CopyOnWriteArrayList 、CopyOnWriteArraySet
我们可以对CopyOnWrite容器进行并发的读，而不需要加锁，因为当前容器不会添加任何元素,而是操作容器的副本。所以CopyOnWrite容器也是一种读写分离的思想，读和写不同的容器。

使用cas

如果需要同步的操作执行速度非常快，并且线程竞争并不激烈，这时候使用cas效率会更高，因为加锁会导致线程的上下文切换，如果上下文切换的耗时比同步操作本身更耗时，且线程对资源的竞争不激烈，使用volatiled+cas操作会是非常高效的选择；

转载：https://segmentfault.com/a/1190000013512810?utm_source=tag-newest

查看全文
如若内容造成侵权/违法违规/事实不符，请联系编程学习网邮箱：809451989@qq.com进行投诉反馈，一经查实，立即删除！

IDEA中最常用的插件
插件安装 IDEA里面，依次选择打开 File --> Settings --> Plugins，在Plugins里面可以搜索1. Alibaba Java Coding Guidelines 阿里巴巴代码规范检查插件功能：代码规范检查使用方法：在你需要检查的代上面，点击右键，选择编码规约扫描将会出现如下所示的检查结果，…...
2024/4/27 14:58:31
RPA 实施指南：企业如何实现流程优化
RPA（机器人流程自动化）正受到越来越多的关注。如今，全球大量企业正快速而广泛地将其应用于，大量重复、劳动密集型以及事务性业务流程上。据 Everest 的一项调查研究发现，78% 的共享服务组织正在实施或打算部署 RPA。对于许多企业而言，无需巨大的 IT 投入，即可利用 RPA …...
2024/4/27 14:13:01
OpenStack Queens版搭建详解
目录OpenStack Queens版搭建详解1.基础环境配置1.2 节点网络规划1.3 关闭防火墙1.4 配置yum源1.5 配置节点IP1.6 配置主机名1.7 配置主机名解析(hosts)1.8 配置NTP服务2.安装基础软件包2.1 安装OpenStack软件包2.2 安装mariadb数据库2.3 安装RabbitMQ消息队列2.4 安装Memcached…...
2024/4/25 14:35:27
spring beans源码解读之 ioc容器之始祖--DefaultListableBeanFactory
https://www.cnblogs.com/davidwang456/p/4187012.html...
2024/4/27 19:05:58
java操作符（1）
一、使用java操作符操作符接受一个或多个参数，并生成一个新值。参数的形式与普通的方法调用不同，但效果是相同的。加号和一元的正号（+）、减号和一元的负号（-）、乘号（*）、除号（/）以及赋值号（=）的用法与其他编程语言类似。操作符作用于操作数，生成一个新值。几乎所有…...
2024/4/27 16:05:02
人性最大的善良是——换位思考
杨绛先生曾写过一句话：当你身居高位时，看到的都是浮华春梦；当你身处卑微，才有机缘看到世态真相。人间百态，各有所难，每个人只看到自己眼中的世界，看不到全貌。生而为人，最可怕的就是：你生活在光亮里，就以为整个世界都是光亮的。 01 做人的最高境界，是感同身受凌晨…...
2024/4/27 13:48:45
Python图像处理-7.pil ginput 交互式标注，标注点过的点坐标
from PIL import Image from pylab import *im = array(Image.open(pic1.png)) imshow(im) print(Please click 3 point) x = ginput(3) print(you clicked:,x) show()...
2024/4/27 17:25:00
vSAN6.2 VM交换文件
点击关注公众号：VirtualMan 查看更多解决方案！那些在此阶段对vSAN有了很好理解的人会知道，部署在vSAN数据存储上的虚拟机是作为一组对象而不是像将VM部署在传统数据存储上一样作为一组文件部署的。这些对象包括VM Home命名空间，VMDK和VM Swap。VM Swap很有意思，因为它仅在…...
2024/4/27 15:25:08
2019-07-02：AI量化投资之技术指标（ad）
一、原理量在价先的原理，我们认为成交量在价格之前行动。我们从一根K线的最高价和收盘价以及最低价来衡量多空的对比。最高价与收盘价之差代表空方，收盘价与最低价之差代表多方。多方和空方的价格之差就代表了多空力量消长，我们再乘以成交量所得的数值就代表多空某一方力量的…...
2024/4/26 18:20:48
Mac安装lightGBM错误 image not found
错误安装 pip install lightgbm 使用时直接调用： import lightgbm as lgb 然后在notebook中使用时会报错：那么请先执行：这一步会卸载原来错误安装的库 pip uninstall lightgbm 安装cmake依赖在命令行，依次执行以下命令，如果出现Error: invalid option: --without-multil…...
2024/4/27 14:03:48
node.js 脚手架使用 cors 插件快速实现跨域请求
我在学习uniapp的时候学到了请求这块就想着自己用node.js搭建一个本地的服务器用来请求意料之内碰见了跨域问题 cors 同源策略限制安装 cors插件让你三分钟解决跨域问题1.安装 cors npm install cors2.配置//配置ajax跨域请求 app.use(cors({origin:"*&q…...
2024/4/17 22:01:15
微人事第四天：@ControllerAdvice的两种种用法
1.处理全局异常根据文件上传的代码(在我博客的前一章)，现在在配置文件中修改文件上传的大小 spring.servlet.multipart.max-file-size=1KB访问http://localhost:8080/index3.html 上传一张图片显示：可以得知上传的文件大小超过了1KB，但是现在的提示很不友好。我们现在要来…...
2024/4/10 19:25:01
[ pytorch ] —— 基本原理
自动求导与权重更新import torch from torch.autograd import Variabledef func(input, theta):# functiony = theta * inputreturn y.mean(), theta #------------------# # Hyperparameter # #------------------# learning_rate = 0.1################ # Input Data # …...
2024/4/25 20:34:27
iOS开发笔记--CocoaPod引入库报错library not found for -lXXXXXXXX
最近遇见一个通过CocoaPod引入xxxxx.a报错 library not found for -lxxxxx 的问题。各种情况都排除以后发现是一个巨坑 xxxxx.a 的命名有问题导致Xcode找不到，xxxx.a的命名需要改为lib开头如：libxxxx.a...
2024/4/26 8:16:15
大小写转换+全角转半角+清除空格+仅数字+仅字母+仅字母和数字方法汇总
大小写转换 1、转小写方法 var value = ABC value.toLowerCase() console.log(value) // abc2、转大写方法 var value = abc value.toUpperCase() console.log(value) // ABC全角转半角 fullToHalf(val) {let retVal = for (let i = 0; i < val.length; i++) {if (v…...
2024/4/23 3:59:59
Maven Archetype使用——自定义项目模板
Maven Archetype可以理解成Maven项目的模板，相信各位或多或少都是用过。我们刚开始学习maven创建项目时，经常会使用常规的Maven项目模板，例如maven-archetype-quickstart、maven-archetype-webapp；你只需要提供基本的元素（如groupId,artifactId与version等），项目模…...
2024/3/29 12:36:57
Quartz任务调度Job有无状态
有状态的job和无状态的job @PersistJobDataAfterExecution注解的使用有状态的job可以理解为多次Job调用期间可以持有一些状态信息,这些状态信息存储在JobDataMap中,而默认的无状态job每次调用时都会创建一个新的jobDataMap 添加count的setter和getter方法 public Integer getC…...
2024/4/17 0:10:39
JAVA强引用介绍
引用架构图强引用（默认支持模式）当内存不足，JVM开始垃圾回收，对应强引用的对象，就算是出现了OOM也不会对该对象进行回收。强引用是我们最常见的普通对象引用，只要还有强引用指向一个对象，就能表明对象还“活着”，垃圾收集器不会碰这种对象，在JAVA中最常见的就是强引…...
2024/4/4 9:39:29
Model&Form&ModelForm拾遗
Model&Form&ModelForm拾遗一、Model&Form&ModelFormModel：用于用户请求数据的验证(针对性弱)，但有强大的数据库操作 Form：强大的数据验证（用于用户请求数据） ModelForm：强大的数据验证，适中的数据库操作。用于数据库操作（只针对部分操作）；用于用户请…...
2024/4/25 16:30:29
oracle_index的建立、修改、删除侵删
索引是关系数据库中用于存放每一条记录的一种对象，主要目的是加快数据的读取速度和完整性检查。建立索引是一项技术性要求高的工作。一般在数据库设计阶段的与数据库结构一道考虑。应用系统的性能直接与索引的合理直接有关。下面给出建立索引的方法和要点。 3.5.1 建立索引 1.…...
2024/4/16 9:32:40

Java中的锁以及sychronized实现机制

相关文章

最新文章