《Java并发编程线程实战》——chapter2线程安全性

如果当多个线程访问同一个可变的状态变量时没有使用合适的同步，那么程序
就会出现错误。有三种方式可以修复这个问题：
- 不在线程之间共享该状态变量
- 将状态变量修改为不可变的变量
- 在访问状态变量的时候使用同步

1. 什么是线程安全性

当多个线程访问某个类时，不管运行时环境采用何种调度方式或者这些线程将如何交替执行，并且在主调代码中不需要任何额外的同步或协同，这个类都能表现出正确的行为，那么久称这个类是线程安全的类。

2. 原子性

不可分割的操作，行为

竞态条件：由于不恰当的执行时序而出现不正确的结果

常见竞态条件类型：先检查后执行。

通过复合操作来避免竞态条件问题，从而实现原子性操作

假定有两个操作A和B，如果从执行A的线程来看，当另一个线程执行B时，要么将B全部执行完，要么完全不执行B，那么A和B对彼此来说是原子的。原子操作是指对于访问同一个状态的所有操作（包括该操作本身）来说，这个操作是一个以原子方式执行的操作

3. 加锁机制

Java的内置锁机制：同步代码块（Synchronized Block）。可重入

4. 用锁保护状态

对于可能被多个线程同时访问的可变状态变量，在访问它时都需要持有同一个锁，在这种情况下，我们称状态变量是有这个锁保护的。

每个共享的和可变的变量都应该只有一个锁来保护，从而使维护人员知道是哪个锁

5. 活跃性与性能

通常，在简单性与性能之间存在着相互制约因素。当实现某个同步策略时，一定不要盲目地为了性能而牺牲简单性（这可能会破坏安全性）。

当执行时间较长的计算或者可能无法快速完成的操作时（例如，网络I/O或控制台I/O），一定不要持有锁。