一、Synchronized的概念
是利用锁的机制来实现同步的。
锁机制有如下两种特性:
互斥性:即在同一时间只允许一个线程持有某个对象锁,通过这种特性来实现多线程中的协调机制,这样在同一时间只有一个线程对需同步的代码块(复合操作)进行访问。互斥性我们也往往称为操作的原子性。
可见性:必须确保在锁被释放之前,对共享变量所做的修改,对于随后获得该锁的另一个线程是可见的(即在获得锁时应获得最新共享变量的值),否则另一个线程可能是在本地缓存的某个副本上继续操作从而引起不一致。
二、Synchronized的使用
修饰静态方法
//修饰静态方法 public static synchronized void print() { try { TimeUnit.SECONDS.sleep(1); } catch (InterruptedException e) { // TODO Auto-generated catch block e.printStackTrace(); } System.out.println(Thread.currentThread().getName()+"runing"); }
修饰非静态方法
//修饰非静态方法 public synchronized void print1() { try { TimeUnit.SECONDS.sleep(1); } catch (InterruptedException e) { // TODO Auto-generated catch block e.printStackTrace(); } System.out.println(Thread.currentThread().getName()+"runing"); }
修饰代码块
//代码块的使用 public void prnit2() { synchronized (this) { try { TimeUnit.SECONDS.sleep(1); } catch (InterruptedException e) { // TODO Auto-generated catch block e.printStackTrace(); } System.out.println(Thread.currentThread().getName()+"runing"); } } //代码块的使用 public void prnit3() { synchronized (SynchroTest.class) { try { TimeUnit.SECONDS.sleep(1); } catch (InterruptedException e) { // TODO Auto-generated catch block e.printStackTrace(); } System.out.println(Thread.currentThread().getName()+"runing"); } }
疑问:修饰代码块的时候,Synchronized参数对象起到了什么作用?
答:当JVM是用ClassLoader加载字节码的时候,会在方法区创建一个对象,同时也会在堆去创建一个Class(注意是大写的)。使用Synchronized.xxx.class就是说明所有Class对应的对象都使用共同一个锁(比较抽象)。详情请看原理分析JVM指令分析的 Monitorenter,Monitorexit。JVM会将对象与Monitor相关联。
java中每一个对象都会有一个monitor对象(监视器)。它的作用就是给对象加锁用的。
- 某一线程占有这个对象的时候,先看monitor的计数器是不是为0,如果是0说明还没有线程占有,此时会将monitor的计数器+1.如果不为0,表示有其他线程占有这个对象,需要等待。当占有这个对象的线程释放这个对象的时候,那么此时会将这个对象的monitor-1(并不是monitor=0,而是-1)。类似于CPU中的cache line作用。
三、Synchronized的原理分析
线程堆栈分析(互斥性)
public static void main(String[] args) throws InterruptedException { final SynchroTest tSynchroTest1 = new SynchroTest(); for (int i = 10; i < 15; i++) { new Thread(tSynchroTest1::print1).start(); } } // 修饰非静态方法 public synchronized void print1() { try { TimeUnit.MINUTES.sleep(2); } catch (InterruptedException e) { // TODO Auto-generated catch block e.printStackTrace(); } System.out.println(Thread.currentThread().getName() + "runing"); }
根据以上代码进行分析。
-
- jconsole分析,可以看出当前拥有对象锁的Thread-3因为线程睡眠,所以状态为TIMED_WAITING(等待状态)。看Thread-2可以看出总阻止数为1,也就是BLOCKED状态(上锁状态)。
-
- jstack pid分析也可以看到dos命令窗口中的当前用对象线程是TIME_WAITING,阻塞线程是BLOCKED
- JVM的指令分析
- javap(反编译)使用cmd,找到calss文件路径 D:\workspace1\GuaHao\bin\BlockQueueTest>javap -v SynchroTest。代码块的一个加锁方式,是使用Monitorenter、Monitorexit配合使用
-
- 细心的朋友上图会看到51有一个monitorexit 和 56还有一个monitorexit?为什么会有两个互斥出口
- 答:51行是正常出口,56是一个异常出口。当程序发生运行时异常的时候会从56monitorexit跳出。
2.方法加锁方式,是使用、配合使用
对象与monitor:一个实例对象包含了对象头,实例变量,填充数据。
对象头:加锁的一个基础。
实例变量:私有变量,属性变量信息
填充数据:对象的启示地址,8字节表示。
对象头
- JDK6之前 Synchronized是重量锁,比较暴力。 JDK6之后 添加了
- 偏向锁:再对象第一次被某一线程占有的时候,是否偏向锁置1,锁表01,写入线程号;当其他的线程访问的时候,就会竞争,结果分别是失败和成功。很多次被第一线程占有它的线程获得次数比较多此时就是偏向锁。相当于找对象(女朋友),当这个对象与第一个男人分手后,找到第二个男人之后,可能还会去找前男友,这就是属于偏向锁。竞争不激烈的时候使用。偏向锁与无所状态时间很接近。CAS算法campare and set(留个小作业,什么叫CAS算法?)
- 轻量级锁:线程有交替适用,互斥性不是很强,使用CAS算法不在适用,锁标志00。
- 重量级锁:强互斥,锁标记10,等待时间长。
他们的区别是时间上的区别。
用户线程和核心线程相互转换(非常耗时)
由偏向锁转轻量级锁在转重量级锁的时候存在不可逆行为,只能低转高,不可反之。
自旋锁:再转换过程中还存在一个叫做自旋锁的情况,再轻量级装重量级的时候,并不是马上从用户线程转成核心线程,再互斥的情况下会执行几 次空循环,如果空循环完成后再没有拿到占有权,则才会进行转换。
消除锁:JIT(编译)的时候如果定义一个int i=0,并对这个定义进行加锁,那么由于上篇文章说道了,定义int i=0,是存在原子性的,所以这个这 个锁会在编译期间自动消除,防止JVM产生不必要的资源浪费
CAS算法:引用GA特大的Java VAS原理深度分析文章 https://blog.csdn.net/tanga842428/article/details/52742698
欢迎大家来提问,如果有不理解的可以再评论区提出,我会定时解惑。
同舟共济,新海同航
什么是偏向锁:如何证明?
跟着路神一起开车证明呀,哈哈。我们的Synchronized关键字会调用OS(操作系统)中的pthread_mutex_lock()方法,然后修改此方法,再此方法中打印一句话,如果每次都输出说明次Synchronized非偏向锁。如果只打印一次,说明我们的synchronized本次是偏向锁,如此就证明了JVM中的偏向锁的存在。Synchronized关键字会再第一次调pthread_mutex_lock(),如果是偏向锁,则不在调用,非偏向锁则会多次调用
来源:https://www.cnblogs.com/gnwzj/p/10556028.html