《Java并发编程实战》笔记2：线程安全性

共享（Shared） — 变量可以由多个线程同时访问
可变（Mutable） — 变量的值在生命周期内可以发生变化
Java中的同步机制 — synchronized，volatile，显式锁（Explicit Lock），原子变量。

如何修复没有同步的可变的状态变量？

• 不在线程之间共享该状态变量
• 将状态变量修改问不可变的变量
• 在访问状态变量时使用同步

当设计线程安全的类时，良好的面向对象技术、不可修改性，以及明晰的不变性规范都能起到一定的帮助作用。

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

无状态对象一定是线程安全的。

原子性含义 — 一组语句作为一个不可分割的单元被执行。

竞态条件 — 如“先检查后执行（Check-Then-Act）” $\to$ 延迟初始化、“读取-修改-写入”

原子操作 — 对于访问同一个状态的所有操作（包括该操作本身）来说，这个操作是以原子的方式执行的操作。
复合操作 — 包含了一组一组必须以原子方式执行的操作以确保线程的安全性。

在java.util.concurrent.atomic包中包含了各种原子类，他们是线程安全的对象，应尽可能的使用现有的线程安全的对象（如AtomicLong，AtomicInteger）来管理类的状态。因为他们状态更容易判断，更容易维护和验证线程安全性。

要保持状态的一致性，就需要在单个原子操作中更新所有相关的状态变量。
解释：当不变性条件中涉及多个变量时，各个变量之间并不是彼此独立的，而是某个变量的值会对其他变量的值产生约束。因此，当更新某一个变量时，需要在同一个原子操作中对其他变量同时进行更新。

内置锁 — 每个Java对象都可以用作一个实现同步的锁，这些锁被称为内置锁（Intrinsic Lock）。内置锁是可重入的。内置锁可以避免显示的创建锁。

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

并非所有的数据都需要锁的保护，只有被多个线程同时访问的可变数据才需要通过锁来保护。

对于每个包含多个变量的不变性条件，其中涉及的所有变量都需要由同一个锁来保护。

虽然synchronized方法可以确保单个操作的原子性，但如果把多个操作合并为一个复合操作，还是需要额外的加锁机制。

直接在方法上加synchronized保证了线程的安全性，但是他牺牲了较大的性能。位于方法内部的局部变量并不是共享的，所以我们可以改为只用synchronized包含那些只需要共享的状态，把局部变量等分离出去，这样缩小同步范围来提高性能。但是这样牺牲了程序的简单性，实际上我们是在性能和简单性上进行平衡，而不是盲目的追求其中之一。

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

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