如果当多个线程访问同一个可变的状态变量时没有使用合适的同步,那么程序
就会出现错误。有三种方式可以修复这个问题:
- 不在线程之间共享该状态变量
- 将状态变量修改为不可变的变量
- 在访问状态变量的时候使用同步
1. 什么是线程安全性
当多个线程访问某个类时,不管运行时环境采用何种调度方式或者这些线程将如何交替执行,并且在主调代码中不需要任何额外的同步或协同,这个类都能表现出正确的行为,那么久称这个类是线程安全的类。
2. 原子性
不可分割的操作,行为
竞态条件:由于不恰当的执行时序而出现不正确的结果
常见竞态条件类型:先检查后执行。
通过复合操作来避免竞态条件问题,从而实现原子性操作
假定有两个操作A和B,如果从执行A的线程来看,当另一个线程执行B时,要么将B全部执行完,要么完全不执行B,那么A和B对彼此来说是原子的。原子操作是指对于访问同一个状态的所有操作(包括该操作本身)来说,这个操作是一个以原子方式执行的操作
3. 加锁机制
Java的内置锁机制:同步代码块(Synchronized Block)。可重入
4. 用锁保护状态
对于可能被多个线程同时访问的可变状态变量,在访问它时都需要持有同一个锁,在这种情况下,我们称状态变量是有这个锁保护的。
每个共享的和可变的变量都应该只有一个锁来保护,从而使维护人员知道是哪个锁
5. 活跃性与性能
通常,在简单性与性能之间存在着相互制约因素。当实现某个同步策略时,一定不要盲目地为了性能而牺牲简单性(这可能会破坏安全性)。
当执行时间较长的计算或者可能无法快速完成的操作时(例如,网络I/O或控制台I/O),一定不要持有锁。