Java并发编程学习笔记:synchronized
- 一、synchronized关键字
- 实例方法
- 静态方法
- 代码块
- 二、底层原理
- 三、锁的升级
- 锁的状态
- 锁升级
一、synchronized关键字
实例方法
作用在类的普通方法上,锁的是当前对象实例。构造方法本身是线程安全的,不能使用synchronized关键字修饰。
synchronized void function() {}
静态方法
作用在类的静态方法上,锁的是当前类class。
synchronized static void function() {}
代码块
作用在代码块上,锁的是指定的对象实例或者class。
synchronized (object) {}
synchronized (class) {}
二、底层原理
synchronized 关键字底层原理属于 JVM,个人感觉就是信号量和PV操作理论的实际应用。
synchronized 同步语句块的实现使用的是 monitorenter(指令指向同步代码块的开始位置) 和 monitorexit (指令则指明同步代码块的结束位置)。
-
在执行monitorenter时,会尝试获取对象的锁,如果锁的计数器为 0 则表示锁可以被获取,获取后将锁计数器设为 1 也就是加 1。
-
对象锁的的拥有者线程才可以执行 monitorexit 指令来释放锁。在执行 monitorexit 指令后,将锁计数器设为 0,表明锁被释放,其他线程可以尝试获取锁。
-
如果获取对象锁失败,那当前线程就要阻塞等待,直到锁被另外一个线程释放为止。
synchronized 修饰的方法用到的是 ACC_SYNCHRONIZED 标识,该标识指明了该方法是一个同步方法,从而去执行相对应的同步方法。
使用synchronized修饰方法和代码块的本质都是对对象监视器 monitor 的获取,每个 Java 对象都可以关联一个 Monitor 对象,不加 synchronized 的对象不会关联监视器。
监视器的主要功能就是提供互斥访问、线程同步、等待与唤醒等机制,是实现信号量机制PV的核心。
三、锁的升级
锁的状态
无锁: 对于共享资源,不涉及多线程的竞争访问。
偏向锁: 在只有一个线程连续多次获取同一个锁对象时,JVM会将锁偏向于该线程。后续该线程进入同步块时,只需检查是否为偏向锁持有者即可,无需进行其他加锁动作。当其他线程尝试获取该锁时,偏向锁才会撤销并升级为轻量级锁或重量级锁。
轻量级锁: 当多个线程同时申请共享资源锁的访问时,这就产生了竞争,JVM尝试使用CAS操作来快速获得锁 (通过自旋的方式循环尝试获取锁,不阻塞线程采用循环等待)。如果自旋一定次数后仍无法获取到锁,则轻量级锁会膨胀成重量级锁,以防止无谓的CPU空转。
重量级锁: 如果共享资源锁已经被某个线程持有,此时是偏向锁状态,未释放锁前,再有其他线程来竞争时,则会升级到重量级锁。在轻量级锁状态多线程竞争锁时,也会升级到重量级锁。重量级锁由操作系统来实现,是传统的互斥锁的实现方式(确保一次只有一个线程可以访问临界区资源),所以性能消耗相对较高。
这4种级别的锁,在获取时性能消耗逐渐增加,也是锁升级的方向。
锁升级
锁升级是针对于synchronized锁在不同竞争条件下的一种优化,根据锁在多线程中竞争的程度和状态,可在无锁、偏向锁、轻量级锁和重量级锁之间进行流转,以降低获取锁的成本,提高获取锁的性能。锁升级的过程是不可逆的。
无锁到偏向锁: 当一个线程访问同步代码块并获取锁时,如果此时没有其他线程竞争该锁,那么JVM会把锁对象的标识符设置为这个获得锁的线程ID,并将锁对象的状态标记为偏向模式。持有偏向锁的线程在进入和退出同步代码块时,只需要检查当前线程ID是否与锁对象的标识符一致即可,无需执行CAS等复杂的操作。
JDK1.5版本后默认关闭了偏向锁。如果未开启偏向锁,线程访问共享资源则直接由无锁升级为轻量级锁。
偏向锁升级至轻量级锁: 当有第二个线程尝试获取已被偏向的锁时,偏向锁会撤销并升级为轻量级锁。在轻量级锁状态下,线程首先会在栈上创建一个“锁记录”结构(Lock Record),然后尝试通过CAS操作将其替换为对象头中的锁标志位。 如果CAS成功,表示线程获得了锁;如果失败,则表示存在其他线程的竞争,此时会自旋一段时间再次尝试获取锁。当自旋超过一定次数仍无法获取时,轻量级锁就会膨胀成重量级锁。
轻量级锁升级至重量级锁: 升级后,线程会被操作系统挂起,放入等待队列,由操作系统的线程调度器来决定何时唤醒线程继续争夺锁资源。