加锁和释放锁的原理

加锁和释放锁的原理

  当方法执行完后或者抛出异常后,都会释放锁

method1等价于method2,因为method1执行完以后会自动释放锁,而么method2使用lock.unlock()释放锁

反编译看monitor指令

被 synchronized 关键字修饰的方法、代码块,就是 monitor 机制的临界区

进入锁和释放锁是基于monitor来实现的 同步方法和同步代码块,monitor有两个指令,monitorenter会插入到同步代码块的位置,monitorexit会插入到方法块结束和退出的时候,可能有多个monitorexit对应一个monitorenter,因为退出可以是方法结束或者抛出异常

通过反编译(把.class文件转为.java)

编译:

反编译:

Monditorenter和Monditorexit

实际上一个对象和一个monitor相关联,一个monitorde lock锁只能被一个线程再同一时间获得

Monditorenter的三种情况

1.当monitor计数器为0,代表没有被获得,然后线程立马获得该Monitor,并把计数器加1,当别的线程想进来,但是看到计数器为1,就代表已经被其他线程占有,就只有等待

2.如果Monitor已经拿到了锁的所有权,又重入了锁,则monitor会累加

3.如果monitor被其他线程占用了,当我想去获取的时候,不能获取到,只能处于阻塞状态,当计数器为0才能再次尝试去获取锁

Monditorexit的作用是释放锁,前提是要先拥有此锁,原理是将计数器减1,减1如果monitor为0,则对象不再拥有对锁的所有权,就是解锁,如果不是1,则证明是重入进来的,继续持有锁,

可重入原理

 可见性原理

原文地址:https://www.cnblogs.com/steakliu/p/10657547.html

时间: 2024-11-19 10:24:26

加锁和释放锁的原理的相关文章

AQS与重入锁ReetrantLock原理

一.AQS原理 AQS(AbstractQueuedSynchronizer)队列同步器是用来构建锁.同步组件的基础框架. AQS内部通过一个volatile int类型的成员变量state控制同步状态[0代表锁未被占用,1表示已占用],通过内部类Node构成FIFO的同步队列实现等待获取锁的线程排队工作,通过内部类ConditionObject构建条件等待队列,来完成等待条件线程的排队工作.当线程调用Condition对象的wait方法后会被加入等待队列中,当有线程调用Condition的si

Java 重入锁 ReentrantLock 原理分析

1.简介 可重入锁ReentrantLock自 JDK 1.5 被引入,功能上与synchronized关键字类似.所谓的可重入是指,线程可对同一把锁进行重复加锁,而不会被阻塞住,这样可避免死锁的产生.ReentrantLock 的主要功能和 synchronized 关键字一致,均是用于多线程的同步.但除此之外,ReentrantLock 在功能上比 synchronized 更为丰富.比如 ReentrantLock 在加锁期间,可响应中断,可设置超时等. ReentrantLock 是我们

基于Redis的简单分布式锁的原理

参考资料:https://redis.io/commands/setnx 加锁是为了解决多线程的资源共享问题.Java中,单机环境的锁可以用synchronized和Lock,其他语言也都应该有自己的加锁机制.但是到了分布式环境,单机环境中的锁就没什么作用了,因为每个节点只能获取到自己机器内存中的锁,而无法获取到其他节点的锁状态. 分布式环境中,应该用专门的分布式锁来解决需要加锁的问题.分布式锁有很多实现,Redis,zookeeper都可以.这里以Redis为例,讲述一下基于Redis的分布式

java 偏向锁、轻量级锁及重量级锁synchronized原理

Java对象头与Monitor java对象头是实现synchronized的锁对象的基础,synchronized使用的锁对象是存储在Java对象头里的. 对象头包含两部分:Mark Word 和 Class Metadata Address 其中Mark Word在默认情况下存储着对象的HashCode.分代年龄.锁标记位等以下是32位JVM的Mark Word默认存储结构 由于对象头的信息是与对象自身定义的数据没有关系的额外存储成本,因此考虑到JVM的空间效率,Mark Word 被设计成

多线程加锁,文件锁,进程锁.

有锁才能运行. 当一个线程调用锁的acquire()方法获得锁时,锁就进入“locked”状态.每次只有一个线程可以获得锁.如果此时另一个线程试图获得这个锁,该线程就会变为“blocked”状态,称为“同步阻塞”.直到拥有锁的线程调用锁的release()方法释放锁之后,锁进入“unlocked”状态.线程调度程序从处于同步阻塞状态的线程中选择一个来获得锁,并使得该线程进入运行(running)状态. Python多线程读写文件加锁 https://blog.csdn.net/qq_305542

第36讲 谈谈MySQL支持的事务隔离级别,以及悲观锁和乐观锁的原理和应用场景

在日常开发中,尤其是业务开发,少不了利用 Java 对数据库进行基本的增删改查等数据操作,这也是 Java 工程师的必备技能之一.做好数据操作,不仅仅需要对 Java 语言相关框架的掌握,更需要对各种数据库自身体系结构的理解.今天这一讲,作为补充 Java 面试考察知识点的完整性,关于数据库的应用和细节还需要在实践中深入学习.今天我要问你的问题是,谈谈 MySQL 支持的事务隔离级别,以及悲观锁和乐观锁的原理和应用场景?典型回答所谓隔离级别(Isolation Level),就是在数据库事务中,

ReentrantLock获取锁、释放锁源码浅析

JUC包下的ReentrantLock是基于Aqs模板实现的,它区分公平锁和非公平锁,内部实现了两个同步器,本文关注非公平锁部分. 伪代码 我们先看两个伪代码: 1.获取锁 1 if(获取锁成功) { 2 return 3 } else { 4 加入等待队列 5 for(死循环) { 6 if (获取到锁) { 7 return 8 } 9 阻塞线程 10 } 11 } 我们看到,如果一次获取成功则结束,如果没有获取成功将进入循环中,并且当前线程阻塞直到被唤醒并且获取到锁才结束. 2.释放锁 1

Python连载33-共享变量加锁、释放

一.共享变量 共享变量:当多个线程访问同一个变量的时候.会产生共享变量的问题. 例子: import threading sum = 0 loopSum = 1000000 def myAdd(): global sum, loopSum for i in range(1,loopSum): sum += 1 def myMinu(): global sum, loopSum for i in range(1,loopSum): sum -= 1 if __name__ == "__main__

面试 LockSupport.park()会释放锁资源吗?

(手机横屏看源码更方便) 引子 大家知道,我最近在招人,今天遇到个同学,他的源码看过一些,然后我就开始了AQS连环问. 我:说说AQS的大致流程? 他:AQS包含一个状态变量,一个同步队列--balabala--互斥锁balabala,共享锁balabala-- 我:AQS中除了同步队列,还有什么队列? 他:还有个Condition,Condition中有个条件队列-- 我:条件队列和同步队列有什么区别? 他:条件队列balabala,然后调用LockSupport.park()进入休眠,等待被