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

《Java并发编程实战》笔记

基础知识

线程安全性

如果当多个线程访问同一个可变的状态参量时没有使用合适的同步，那么程序就会出现错误。
有三种方式可以修复这个问题：

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

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

编写并发程序应用时，一种正确的编程方法：首先使代码正确运行，然后再提高代码的速度。即便如此，最好也只是当性能测试结果和应用需求告诉你必须提高性能，以及测量结果表明这种优化在实际环境中确实能带来性能提升时，才进行优化。

什么是线程安全性？

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

正确性

某个类的行为与其规范完全一致。

在对正确性的定义清晰了之后，我们就有了对线程安全性明确的定义：

线程安全性

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

• 在线程安全类中封装了必要的同步机制，因此客户端无须进一步采取同步措施。
• 无状态对象一定是线程安全的。

原子性

竞态条件

当某个计算的正确性取决于多个线程的交替执行时序时，那么就会发生竞态条件。

“先检查后执行的竞态条件”——基于一种可能失效的观察结果来做出判断或者执行某个计算。

原子操作

假定有两个操作A和B，如果从执行A的线程来看，当另一个线程执行B时，要么将B全部执行完，要么完全不执行B,那么A和B对彼此来说是原子的。
** 原子操作是指，对于访问同一个状态的所有操作（包括该操作本身）来说，这个操作是一个以原子方式执行的操作。**
可用java.util.concurrent.atomic包中的一些原子变量类（如AtomicLong）来代替原来的基本类型（如long），这样能够确保所有对这一变量的访问操作都是原子的。
当在无状态的类中添加一个状态时，如果状态完全由线程安全的对象来管理，那么这个类仍是线程安全的。

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

加锁机制

当在不变性条件中涉及多个变量时，各个变量之间并不是彼此独立的，而是某个变量的值会对其他变量的值产生约束。因此，当更新某一个变量时，需要在同一个原子操作中对其他变量同时进行更新。

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

内置锁

Java提供了一种内置的锁机制来支持原子性：同步代码块。
包括两部分：

• 一个作为锁的对象引用
• 一个作为由这个锁保护的代码块。
  以关键字synchronized来修饰的方法酒是一种横跨整个方法体的同步代码块，其中该同步代码块的锁就是方法调用所在的对象。静态的synchronized方法以Class对象作为锁：

synchronize(lock){
//访问或修改有锁保护的共享状态
}

Java的内置锁相当于一种互斥体（或互斥锁），这意味着最多只有一个线程能持有这种锁。

重入

由于内置锁是可重入的，因此如果某个线程试图获得一个已经由它自己持有的锁，那么这个请求就会成功。
如果内置锁不是可重入的，子类调用改写了的父类的synchronized方法并在其中调用父类中的方法时，会发生死锁。

用锁来保护状态

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

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

当类的不变性条件涉及多个状态变量时，那么在不变性条件中的每个变量都必须由同一个锁来保护。

Caution：如果不加区别地滥用synchronized，可能导致程序中出现过多的同步。此外如果将多个原子操作合并为一个复合操作，并不能保证这个复合操作也是原子的。

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