Synchornized底层原理

synchornized 底层原理

首先，需要知道主内存与工作内存之间的交互协议，通过7个原子命令实现：lock、read、load、use、assign、store、write、unload

1. 保证原子性：

保证只有一个线程能够拿到锁，能够进入同步代码块
使用monitorenter和monitorexit 来保证原子性
在同步代码块之前执行monitorenter指令，在同步代码块结束的位置执行monitorexit指令

2. 保证可见性

使用关键字：violate来保证可见性
或者仍然使用synchornized，相当于原子操作中的lock命令，会刷新工作内存中共享变量的值
打印操作也行 sout

3. 保证有序性

为了提高程序的执行顺序，编译器和cpu会对程序中的代码进行重排序。（重排序原则：必须保证单线程情况下程序的运行结果是正确的）所以，添加了synchornized后，仍然会发生重排序，但是有同步代码块，可以保证只有一个线程执行了该同步代码块，所以在大方向上，仍然可以保证有序性

4. 可重入性

synchornized的锁对象中有一个计数器，可以记录线程获得几次锁。
可以避免死锁的发生

5.不可中断特性

synchornized不可中断
Lock的lock方法不可中断，trylock可中断

原理

1、反汇编学习源码

1.1 monitorenter：

每个对象都和一个监视器monitor（c++中的一个对象）关联。监视器被占用时会锁住，其他线程无法进入。monitor中有两个变量，owner和recursions，分别记录拥有锁的进程和获得锁的次数。

1.2 monitorexit

每次执行一次，计数器减一。直到数字为零，释放锁

2、JVM源码层面

2.1 monitor监视器锁

monitor中的参数：recursions 记录重入次数、object 记录该monitor的对象、owner 拥有者、waitset 处于等待期间的线程、cxq 多线程竞争锁时的单向链表 、entrylist 处于等待lock状态的线程，会被加入到该队列

2.2 monitor进入

执行monitorentry的时候，会调用interpreterRuntime.cpp ，判断当时是否为偏向锁
首先，通过CAS操作（linux内核方法），尝试将monitor的owner设置为当前线程，若为第一次进入，设置锁次数为1 ，并将owner设置为当前线程。若非第一次进入，且owner为当前线程，则次数+1。如果获取锁失败，则等待锁的释放.

2.3 monitor等待

1、当前线程被封装为ObjectWaiter对象node，状态设置为：ObjectWaiter：：TS_CXQ.
2、在for循环中，通过CAS操作，把node节点push到cxq链表中
3、node被push到链表中，通过自旋尝试获得锁，若失败，则通过park挂起，等待唤醒
4‘、线程被唤醒时，从挂起的点继续执行，通过trylock尝试获得锁

2.4monitor释放

1、退出同步代码块，recursion减一，一直到0，释放锁
2、根据不同的策略，从cxq或entryList中获得头节点，唤醒该节点封装的线程（unpark）