Synchronized的实现原理

版本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要么随机唤醒一个线程要么唤醒全部线程。