volatile
volatile关键字可以用于修饰的共享变量,能够保证变量在线程中的可见性。volatile的两个实现原则,volatile关键字修饰的变量转成汇编语言之后,会出现Lock前缀指令
- Lock前缀指令会引起处理器缓存写回到内存
Lock前缀指令导致在执行指令期间,声言处理器的LOCK#信号,在多处理器环境中,LOCK#确保在声言该信号期间,处理器可以独占任何共享内存 - 一个处理器的缓存写回到内存会导致其它处理器的缓存无效
处理器使用嗅探技术保证该处理器的内部缓存、系统内存和其它处理器的缓存的数据在总线上保持一致
synchronized
- 修饰普通方法,锁是当前实例对象
- 修饰静态方法,锁是当前类的class对象
- 修饰代码块,锁是synchronized里面配置的对象
在写synchronized原理之前,需要明确一些概念
java对象头
如果对象为数组,对象头长度为三个字宽,如果为非数组类型,则为两个字宽,在32位虚拟机中,1字宽 = 4字节,即32bit
长度 | 内容 | 说明 |
---|---|---|
32/64 bit | Mark Work | 存储对象的hashCode和锁信息 |
32/64 bit | Class Metadata Address | 存储到对象类型数据的指针,虚拟机通过该指针确定对象所属的类 |
32/32 bit | Array Length | 数组的长度 |
java对象头的存储结构
锁的对比
- 偏向锁:没有多线程竞争的情况下,减少传统的重量级锁使用操作系统互斥量产生的性能消耗,轻量级锁在无竞争的情况下采用CAS操作去替代互斥量,偏向锁在无竞争情况下会消除整个同步块。会偏向于获取他的第一个线程,接下来的执行过程中,该锁没有被其它线程获取,那么持有偏向锁的线程不需要同步。
- 轻量级锁:偏向锁失败升级为轻量级锁,为了减少传统重量级锁使用操作系统互斥操作的开销,轻量级锁的加锁和解锁都使用了CAS,在锁竞争激烈的情况下,轻量级锁会很快膨胀为重量级锁
- 重量级锁:利用操作系统的互斥量来完成锁定
- 自旋锁自适应自旋:在发生轻量级锁竞争的情况下,由于一般线程占有锁的时间比较短,如果在此时让操作系统来完成线程的挂起,比较消耗性能,为了让线程等待,引入了自旋,让一个线程忙循环。JDK1.6之后引入了自适应自旋锁,自旋时间不确定,通过前一次锁上的自旋时间和锁的拥有者状态决定。
锁 | 优点 | 缺点 | 适用场景 |
---|---|---|---|
偏向锁 | 加锁和解锁不需要额外的消耗,和执行非同步方法相比只存在纳秒级别的差距 | 如果线程之间存在锁竞争会带来额外的锁撤销的消耗 | 使用于只有一个线程访问同步块的场景 |
轻量级锁 | 竞争的线程不会阻塞提高了程序的响应速度 | 如果始终得不到锁竞争的线程,使用自旋会消耗CPU | 追求响应时间,同步块执行非常快 |
重量级锁 | 线程锁竞争不使用自旋,不会消耗CPU | 线程阻塞响应时间慢 | 追求吞吐量,同步块执行时间较长」 |
同步代码块
JVM基于进入和退出monitor对象来实现方法同步和代码块同步,对于任何一个java对象都有一个monitor与之关联,当monitor对象被持有之后,对象处于锁定状态。对于同步代码块
public void testBlock(){
synchronized(s){
System.out.println(1);
}
}
编译过后的字节码如下,当线程执行到monitorenter指令的时候,尝试获取对象所对应的monitor的所有权,尝试获取对象的锁,synchronized用的锁是存储在java对象头中
在同步代码块开始的位置插入了monitorenter命令,在代码块结束的位置插入了monitorexit命令,monitorenter和monitorexit命令必须是成对出现,相互匹配。