synchronized实现底层原理

synchronized 为java的关键字，

通过synchronized修饰的对象，方法或者成员变量可以保证在多线程访问下数据依然保持正确

synchronized 可以保证数据的原子性，有序性，以及可见性

原子性：synchronized可保证代码块执行时的原子操作

有序性：当一个线程获取到该代码块的数据时，其他线程不能够获取到，只能在队列中等待或者自旋

可见性：在线程内存中对数据进行修改了以后，会主动通知主线程更新数据（主要底层汇编是通过lock 指令实现的）

 

实现原理：

synchronized 修饰的方法会在JVM层有一个特定的标识：ACC_SYNCHRONIZED 用来标识这个方法是一个同步方法，JVM在读取这个方法刚进入这个方法时会调用一个指令monitorenter 的方法来进入方法内部，在调用monitorenter指令后其他线程如果要访问该方法，只能进入等待队列或者自旋等待，等待程序执行了monitorexit方法后释放，可被其他线程竞争。monitor在底层C++的实现时通过CAS操作来实现了，具体是通过C++代码调用cmpxchg 方法，然后具体到cpu 是通过 lock cmpxchg  但是在cpu层面cmpxchg不是一个原子操作，但是前面加了一个lock 。lock的作用就是仅当前cpu能够执行cmpxchg指令，并且在对数据进行修改过后会立即将数据刷新到主存中，保证数据的可见性。

对象在内存中存储：

Object o = new Object(); 

对象o在java堆中的存储包括了四部分，首先为：markword，Klass pointor , 数据区，填充区。其中markword，以及Klass pointor 合并叫做header。

markword包括了很多信息，其中比较重要的有三点：

1，锁信息

2，GC标记的信息

3，hashcode