synchronized 保证原子性:synchronized保证只有一个线程拿到锁,能够进入到同步代码块。
synchronized 保证可见性:执行synchronized时,会对应lock原子操作,会刷新工作内存中共享变量的值。
synchronized 保证有序性: 加synchronized后,依然会发生重排序,只不过有同步代码块,可以保证只有一个线程执行同步代码块中的代码,可以保证有序性。
synchronized 的可重入特性: synchronized是可重入锁,内部锁对象中会有一个计数器记录线程获取几次锁了,在执行完同步代码块时,计数器的数量会减一,直到计数器的数量为0,就释放这个锁;
原理: synchronized的锁对象中有一个计数器(recursions变量)会记录线程获得几次锁
好处: 可以避免死锁; 可以让我们更好的来封装代码。
synchronized 不可中断特性: 不可中断是指 当一个线程获得锁后,另一个线程一直处于阻塞或等待状态,前一个线程不释放锁,后一个线程一直处于阻塞或等待,不可被中断;
synchronized 属于不可被中断;
Lock的lock方法是不可被中断的,tryLock方法是可中断的;
通过javap的反汇编可知:synchronized的使用变成了monitorentor和monitorexit两个指令,每个锁对象都会关联一个monitor(监视器,它才是真正的锁对象),它内部有两个重要的成员变量:owner会保存获得锁的线程,recursions会保存获得锁的次数,当执行到monitorexit时,recursions会减一,当计数器减到0时,这个线程就会释放锁。