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)