java对象头
在同步的时候获取对象的monitor,即可获取对象的锁,那么锁怎么理解,其实就是一个标记位,那么这个标志就是放在java对象头,java对象头里面的Mark Word里面默认存放对象的HashCode,分代年龄和锁标记
synchronized底层实现
synchronized最大特征是同一时刻只有一个线程能获得对象的监视器,从而进入同步代码块或者同步方法中(MonitorEnter和MonitorExit),表现为互斥性,这种方式效率低下,每次只能通过一个线程。
在JDK1.6的时候,synchronized关键字被优化
起初是偏向锁,大多数情况下锁不仅不存在多线程竞争,而且总是由同一线程多次获取,为了让线程获得锁的代价更低引入了偏向锁。
偏向锁是四中形态中做乐观的一种锁,从始至终只有一个线程请求一把锁
偏向锁的获取
当一个线程访问同步块并且获取锁时候,会在对象头和栈帧中的锁记录里面存储偏向的线程ID,以后该线程在进入和退出同步块时候不需要进行CAS操作来加锁解锁,只需要简单的测试一下对象头Mark Word 里面是否存放着指向当前线程的偏向锁。如果测试成功,表示线程获取了锁,如果测试失败,则需要再测试一下Mark Word 中偏向锁标志位是否为1(表示当前是偏向锁):如果没有设置,则使用CAS竞争锁,如果设置了,则尝试使用CAS将对象头的偏向锁指向当前线程
偏向锁的撤销
偏向锁使用了一种等到竞争才出现才释放锁的机制,当前其他线程尝试竞争偏向锁时,持有偏向锁的线程才会是释放锁。
偏向锁的撤销,需要等待全局安全点(在这个时间上有没有正在执行的字节码)。它首先暂停拥有偏向锁的线程,检查他是否存活,如果线程不出去活动状态,则将对象头置为无锁状态,如果依然存活,Mark Word偏向其他线程或者恢复到无锁或者标记对象不适合作为偏向锁
偏向锁在JDK1.6默认是开启的,但他在程序启动几秒才激活,可以使用JVM参数来关闭延迟,也可以关闭偏向锁,那么程序默认会进入轻量级锁的状态
轻量级锁
多个线程不同时间请求同一把锁,也就是没有锁竞争,针对这种情况,JVM采用了轻量级锁,来避免线程阻塞和唤醒
加锁
线程在执行同步代码块之前,JVM会现在当前线程的栈帧中创建用于存储锁记录的空间,并且将对象头中的Mark Word 替换为指向锁记录的指针,如果成功,当前线程获取锁,如果失败,表示其他线程竞争所,当前线程尝试自旋来获取锁
解锁
轻量级锁解锁时候,会使用原子的CAS操作经Mark Word替换回对象头,如果成功,表示没有发生竞争,如果失败,表示当前锁存在竞争,锁会膨胀成为重量级锁。
重量级锁
重量级锁是JVM中最基础的锁实现,在这种情况下,JVM虚拟机会阻塞加锁失败的线程,并且在目标锁被释放的时候,唤醒这些线程
java线程的阻塞以及唤醒,都是依靠操作系统来完成的,对于Linux,上述 操作都是依靠pthread的互斥锁来实现的。此外,这些操作将涉及系统调用,需要从操作系统的用户太切换为内核态,开销很大。
为了避免线程阻塞唤醒的操作,JVM在线程进入阻塞之前,以及被唤醒之久竞争不到锁的情况下,进入自旋状态,在处理器上空炮并且轮询锁是否被释放,如果此时正好被释放,那么当前线程无需进入阻塞状态,而且直接获得这把锁。
总结
java虚拟机中synchronized关键字的实现,安装代价由高到低可以分为重量级锁,轻量级锁和偏向锁三种。
1重量级锁会阻塞,唤醒请求加锁的线程。他真多多个线程同时竞争同一把殴的情况。JVM采用了适应性自旋的方式,来避免线程在面对非常小的synchronized代码块仍然被阻塞唤醒
2轻量级锁采用CAS操作,将锁对象的标记替换成一个指针,指向当前线程栈上的一块空间,存储着锁对象原来的标记字段,他针对的是多个线程在不同时间申请同一把锁的情况。
3偏向锁只会在第一次请求时采用CAS操作,在锁对象的标记字段中记录下当前线程的地址,然后在运行过程中,持有该偏向锁的线程的锁操作直接返回,他针对锁只会被同一线程持有的情况
其他优化
锁粗化
锁粗化就是将多次连接在一起的加锁,解锁操作合并为一次,将多个连续的锁扩展成一个范围更大的锁。
锁消除
锁消除不必要的加锁操作,如果堆上的数据不会逃逸出当前线程,那么认为这段代码是线程安全的,不用加锁。