一、线程安全性定义:
当多个线程访问某个类时,这个类始终都能表现出正确的行为,那么就称这个类是线程安全的。
无状态对象一定是线程安全的。
二、原子性
1、竞态条件
当某个计算的正确性取决于多个线程的交替执行时序时,那么就会发生竞态条件。最常见的竞态条件是 “先检查后执行” 操作。本质是基于一种可能失效的观察结果来做出判断或者执行计算。
2、原子性的保证
java.util.concurrent.atomic 包含了一些原子变量类,它能够确保所有对其的访问操作都是原子的。(单状态变量可以用此方法保证)
3、加锁机制
多状态变量方法无法直接使用原子变量类。 要保持状态的一致性,就需要在单个原子操作中更新所有相关的状态变量。
4、内置锁
Java 中关键字 synchronized 提供了内置锁。对于static 方法,Class 对象作为锁;对于其它方法,对象实例 this 作为锁。