线程安全性（第二章）

线程安全性

要编写线程安全的代码，其核心在于要对状态访问操做进行管理，特别是对共享的（Shared）和可变的（Mutable）状态的访问。

• 对象的状态：存储在状态变量（例如实例或静态域）中的数据，包括其余以来对象的域
• 共享（Shared）：意味着变量能够由多个线程同时访问
• 可变（Mutable）：变量的值在其生命周期内能够发生变化

** 一个对象是否须要使线程安全的，取决于它是否被多个线程访问。这指的是在程序中访问对象的方式，而不是对象要实现的功能。要使得对象是线程安全的，须要采用同步机制来协同对对象可变状态的访问。若是没法实现协同，那么可能会致使数据破坏以及其余不应出现的结果。**

1. 什么是线程安全性：

在线程安全性的定义中，最核心的概念就是正确性。当多个线程访问某个类时，这个类始终都能表现出正确地行为，那么就称这个类是线程安全的。

• 线程安全性特例：无状态类必定是线程安全的

2. 原子性

• 竞态条件（Race condition）：因为不恰当的执行时序而出现不正确地结果 最多见的静态条件就是“先检查后执行”（可能致使经过一个失效的观测结果来决定下一步的动做）

  不要将“竞态条件”与“数据竞争”相混淆，数据竞争是指，若是在访问共享的非final类型的域没有采用同步来进行协同，那么就会出现数据竞争。

要保持状态的一致性，就须要在单个原子操做中更新全部相关的状态变量。

3.加锁机制

Java中的内置锁（synchronized）是可重入的，即已得到锁的线程能够再次得到这个锁。 对于可能被多个线程同时访问的可变状态变量，在访问它时都须要持有同一个锁，在这种状况下，咱们称状态变量是由这个锁保护的。 一种常见的错误认为：只有在写入共享变量时才须要使用同步。这是错误的。