Java并发编程学习——《Java Concurrency in Practice》学习笔记 2.线程安全性

概述

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

Java语言没有强制要求将状态都封装在类中，然而，程序状态的封装性越好，就越容易实现程序的线程安全性。

在某些情况中，良好的面向对象设计技术与实际情况的需求并不一致。在这些情况中，可能需要牺牲一些良好的设计原则，以换取性能或者对遗留代码的向后兼容。

首先使代码正确运行，然后再提高代码的速度。只在必要的时候进行性能优化。

2.1 什么是线程安全性

在线程安全性的定义中，最核心的概念就是正确性。

正确性：某个类的行为与其规范完全一致。可以将单线程的正确性近似定义为 所见即所知 we konw it when we see it。

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

线程安全类中封装了必要的同步机制，因此客户端无需进一步采取同步措施。

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

2.2 原子性

在并发编程中，由于不恰当的执行时序而出现不正确的结果是一种非常重要的情况，称作：竞态条件 Race Condition

2.2.1 竞态条件

当某个计算的正确性取决于多个线程的交替执行时序时，就会发生竞态条件。最常见的竞态条件类型就是 先检查后执行 Check-Then-Act 操作，即通过一个可能失效的观测结果来决定下一步的动作。

2.2.2 延迟初始化

使用 先检查后执行 的一种常见情况就是延迟初始化。

竞态条件并不总是会产生错误，还需要某种不恰当的执行顺序。然而，竞态条件也可能导致严重的问题。

2.2.3 复合操作

要避免静态条件问题，就必须在某个线程修改该变量时，通过某种方式防止其他线程使用这个变量，从而确保其他线程只能在修改操作完成之前或之后读取和修改状态，而不是在修改状态的过程中。

包含了一组必须以原子方式执行的操作称为复合操作，可以确保线程安全性。

尽可能的使用现有的线程安全对象（如AtomicLong）来管理类的状态。与非线程安全的对象相比，判断线程安全对象的可能状态及其状态转换情况要更为容易，从而也更容易维护和验证线程安全性。

2.3 加锁机制

要保持状态的一致性，就需要在单个原子操作中更新素有相关的状态变量

2.3.1 内置锁

Java提供了内置的锁机制支持原子性：同步代码块 Synchronized block.

Java的内置锁是互斥锁，最多只有一个线程能持有。因此也是阻塞的。

2.3.2 重入

内置锁是可重入的，线程可以获得一个已经由它自己持有的锁。

重入提升了加锁行为的封装性，简化了开发，解决了子类同步方法调用父类同步方法时会产生的死锁问题。

2.4 用锁来保护状态

只有在写入共享变量时才需要使用同步，这是错误的。

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

一种常见的加锁约定是，将所有的可变状态都封装在对象内部，并通过对象的内置锁对所有访问可变状态的代码路径进行同步，使得在该对象上不会发生并发访问。

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

2.5 活跃性与性能

通常，在简单性与性能之间存在着相互制约因素。当实现某个同步策略时，一定不要盲目的为了性能而牺牲简单性。

当执行时间较长的计算或者可能无法快速完成的操作时，一定不要持有锁。