版本1:
每个对象有一个监视器锁(monitor)。当monitor被占用时就会处于锁定状态,线程执行monitorenter指令时尝试获取monitor的所有权,过程如下:
1、如果monitor的锁计数器为0,则该线程进入monitor,然后将计数器设置为1 ,该线程即为monitor的所有者。
2、如果线程已经占有该monitor,只是重新进入,则进入monitor的计数器加1
3.如果其他线程已经占用了monitor,则该线程进入阻塞状态,直到monitor的锁计数器为0,再重新尝试获取monitor的所有权。
执行monitorexit的线程必须是reference所对应的monitor的所有者。
指令monitorexit执行时,monitor的计数器减1,如果减1后计数器为0,那线程退出monitor,不再是这个monitor的所有者。其他被这个monitor阻塞的线程可以尝试去获取这个 monitor 的所有权。
版本2:(简洁版)
Synchronized关键字经过编译之后,会在同步块的前后分别形成monitorenter和monitorexit这两个字节指令码。
在执行monitorenter时,首先要获取对象的锁,如果这个对象没有被锁定,或者当前对象已经拥有该对象的锁,把锁的计数器加1,相应的执行monitorexit时,会将锁计数器减1,当计数器为0时,锁就被释放掉。如果获取锁对象失败,那当前线程就进入阻塞等待,直到锁对象被另一个线程释放为止。
通过这两段描述,我们应该能很清楚的看出Synchronized的实现原理,Synchronized的语义底层是通过一个monitor的对象来完成,其实wait/notify等方法也依赖于monitor对象,这就是为什么只有在同步的块或者方法中才能调用wait/notify等方法,否则会抛出java.lang.IllegalMonitorStateException的异常的原因。
Synchronized和reentrantlock原理和区别
相似点:
这两种同步方式有很多相似之处,它们都是加锁方式同步,而且都是阻塞式的同步,也就是说当如果一个线程获得了对象锁,进入了同步块,其他访问该同步块的线程都必须阻塞在同步块外面等待,而进行线程阻塞和唤醒的代价是比较高的(操作系统需要在用户态与内核态之间来回切换,代价很高,不过可以通过对锁优化进行改善)。
区别:
这两种方式最大区别就是对于Synchronized来说,它是java语言的关键字,是原生语法层面的互斥,由jvm内置实现(又称内置锁)。而ReentrantLock它是JDK 1.5之后提供的API层面的互斥锁(又称显式锁),需要lock()和unlock()方法配合try/finally语句块来完成。
2.ReentrantLock
由于ReentrantLock是java.util.concurrent包下提供的一套互斥锁,相比Synchronized,ReentrantLock类提供了一些高级功能,主要有以下3项:
1.等待可中断,持有锁的线程长期不释放的时候,正在等待的线程可以选择放弃等待,改为去处理其他的事。通过lock.lockInterruptibly()来实现这个机制。
2.公平锁,公平锁是指多个线程等待同一个锁时,必须按照申请锁的时间顺序获得锁,ReenTrantLock可以指定是公平锁还是非公平锁。而synchronized只能是非公平锁。
3.锁绑定多个条件,一个ReentrantLock对象可以同时绑定对个对象。ReenTrantLock提供了一个Condition(条件)类,用来实现分组唤醒需要唤醒的线程们,而不是像synchronized要么随机唤醒一个线程要么唤醒全部线程。