第二章 线程安全性
1.编写线程安全代码的核心:对状态访问操作进行管理,特别是对共享的(Shared)和可变的(Mutable)状态的访问。
2.如果当多个线程访问同一个可变的状态变量时没有使用合适的同步,那么程序就会出现错误。
解决方法:
- 不在线程之间共享该状态变量。
- 将状态变量修改为不可变的变量。
- 在访问状态变量时使用同步。
3.正确性:某个类的形为与其规范完全一致。
线程安全:当多个线程访问某个类时,这个类始终都能表现出正确的行为。
4.无状态的对象一定是线程安全的。
5.竞态条件:当某个计算的正确性取决于多线程的交替执行时序 (正确的结果取决于运气)(常见类型:先检查后执行)
先检查后执行的一种情况:延迟初始化。
例:
public class LazyInitRace{
private ExpensiveObject instance =null;
public ExpensiveObject getInstance(){
if(instance==null){
instance =new ExpensiveObject();
}
return instance;
}
}
6.先检查后执行、读取-修改-写入等操作称为复合操作,采用原子性操作来保证访问时都是原子的,以此保证线程安全。(将普通 long count=0 改为 AtomicLong count=new AtomicLong(0))
7.支持原子性的内置锁机制:同步代码块(Synchronized Block)
8.重入:某个线程试图获取一个已经由自己持有的锁。
重入意味着获取锁的操作粒度时“线程”,而不是“调度”。