1. Synchronized
JVM 会自动通过使用 monitor 来加锁和解锁,保证了同时只有一个线程可以执行指定的代码,从而保证了线程的安全,同时具有可重入性和不可中断的性质。
1.1 两种使用方式:
- 对象锁
- 分为 代码块形式 和 方法锁形式。
- 类锁
- 只有一个 Class 对象,全局锁定。
- 加载 static 方法上 和 使用 synchronized(*.class){ … } 。
1.2 缺陷
- 效率低。
- 锁的释放情况少。
- 试图获得锁时不能设定超时。
- 不能中断一个正在试图获得锁的线程。
- 不够灵活(读写锁更灵活)。
- 加锁和释放的时机单一。
- 每个锁仅有单一的条件(某个对象),可能是不够的。
- 无法知道是否成功获取到锁。
注意点:锁对象不能为空、作用域不宜过大、避免死锁。
2. 线程共享变量可见性
2.1 Java 内存模型
- 所有的变量都存储在主内存中。
- 每个线程都有自己独立的工作内存,里面保存该线程使用到的变量的副本(主内存中该变量的一份拷贝)。
两条规定:
- 线程对共享变量的所有操作都必须在自己的工作内存中进行,不能直接从主内存中读写。
- 不同线程之间无法直接访问其他线程工作内存中的变量,线程间的变量传递需要通过主内存来完成。
2.2 共享变量的可见性
- 线程修改后的共享变量值能及时从工作内存刷新到主内存中。
- 其他线程能够及时把共享变量的最新值从主内存更新到自己的工作内存中。
2.3 可见性的实现方式
- synchronized
- volatile
导致共享变量在线程间不可见的原因:
- 线程的交叉执行
- 重排序结合线程交叉执行
- 共享变量更新后的值没有在工作内存与主内存间及时更新
线程执行互斥代码的过程(synchronized):
- 获得互斥锁
- 清空工作内存
- 从主内存拷贝变量的最新副本到工作内存
- 执行代码
- 将更改后的共享变量的值刷新到主内存中
- 释放互斥锁
volatile 实现内存可见性:
通过加入内存屏障和禁止重排序优化来实现的。
- 对 volatile 变量执行写操作时,会在写操作后加入一条 store 屏障指令。
- 对 volatile 变量执行读操作时,会在读操作前加入一条 load 屏障指令。
volatile 变量在每次被线程访问时,都强迫从主内存中重读该变量的值,而当该变量发生变化时,又会强迫线程将最新的值刷新到主内存。这样在任何时刻,不同的线程总能看到该变量最新的值。