Synchronized用法及原理

本文就围绕Synchronized展开，主要介绍Synchronized的用法、Synchronized的原理。

Synchronized用法

Synchronized是Java提供的一个同步控制的关键字。主要有两种用法，分别是：同步代码块和同步方法。也就是说，Synchronized既可以修饰方法，也可以修饰代码块。被Synchronized修饰的方法或代码块，同一时间只能被单个线程访问。

Synchronized的实现原理

Synchronized，是Java中用于解决并发情况下数据同步的一个很重要的关键字。通过反编译后的代码可以看出：对于同步方法，JVM采用ACC_SYNCHRONIZED标记符来实现同步；对于同步代码块。JVM采用moniterenter、moniterexit两个指令来实现同步。

方法级的同步是隐式的。同步方法的常量池中会有一个ACC_SYNCHRONIZED标志。当某个线程要访问某个方法的时候，会检查是否有ACC_SYNCHRONIZED，如果有设置，则需要先获得监视器锁，然后开始执行方法，方法执行之后再释放监视器锁。这时如果其他线程来请求执行方法，会因为无法获得监视器锁而被阻断住。值得注意的是，如果在方法执行过程中，发生了异常，并且方法内部并没有处理该异常，那么在异常被抛到方法外面之前监视器锁会被自动释放。

同步代码块使用monitorenter和monitorexit两个指令实现。可以把执行monitorenter指令理解为加锁，执行monitorexit理解为释放锁。 每个对象维护着一个记录着被锁次数的计数器。未被锁定的对象的该计数器为0，当一个线程获得锁（执行monitorenter）后，该计数器自增变为 1 ，当同一个线程再次获得该对象的锁的时候，计数器再次自增。当同一个线程释放锁（执行monitorexit指令）的时候，计数器再自减。当计数器为0的时候。锁将被释放，其他线程便可以获得锁。 

无论是ACC_SYNCHRONIZED还是moniterenter、moniterexit都是基于Monitor实现的，在Java虚拟机（HotSpot）中，Moniter是基于C++实现的，由ObjectMonitor实现。ObjectMonitor类中提供了几个方法，如enter,exit,wait,notify,notifyAll等。