共享(Shared) — 变量可以由多个线程同时访问
可变(Mutable) — 变量的值在生命周期内可以发生变化
Java中的同步机制 — synchronized,volatile,显式锁(Explicit Lock),原子变量。
如何修复没有同步的可变的状态变量?
- 不在线程之间共享该状态变量
- 将状态变量修改问不可变的变量
- 在访问状态变量时使用同步
当设计线程安全的类时,良好的面向对象技术、不可修改性,以及明晰的不变性规范都能起到一定的帮助作用。
线程安全性
当多个线程访问某个类时,不管运行时环境采用何种调度方式或者这些线程将如何交替执行,并且在主调代码中不需要任何额外的同步或协同,这个类都能表现出正确的行为,那么就称这个类是线程安全的。
无状态对象一定是线程安全的。
原子性含义 — 一组语句作为一个不可分割的单元被执行。
竞态条件 — 如“先检查后执行(Check-Then-Act)” → \rightarrow → 延迟初始化、“读取-修改-写入”
原子操作 — 对于访问同一个状态的所有操作(包括该操作本身)来说,这个操作是以原子的方式执行的操作。
复合操作 — 包含了一组一组必须以原子方式执行的操作以确保线程的安全性。
在java.util.concurrent.atomic包中包含了各种原子类,他们是线程安全的对象,应尽可能的使用现有的线程安全的对象(如AtomicLong,AtomicInteger)来管理类的状态。因为他们状态更容易判断,更容易维护和验证线程安全性。
要保持状态的一致性,就需要在单个原子操作中更新所有相关的状态变量。
解释:当不变性条件中涉及多个变量时,各个变量之间并不是彼此独立的,而是某个变量的值会对其他变量的值产生约束。因此,当更新某一个变量时,需要在同一个原子操作中对其他变量同时进行更新。
内置锁 — 每个Java对象都可以用作一个实现同步的锁,这些锁被称为内置锁(Intrinsic Lock)。内置锁是可重入的。内置锁可以避免显示的创建锁。
每个共享的和可变的变量都应该只由一个锁来保护,从而使维护人员知道是哪一个锁。
并非所有的数据都需要锁的保护,只有被多个线程同时访问的可变数据才需要通过锁来保护。
对于每个包含多个变量的不变性条件,其中涉及的所有变量都需要由同一个锁来保护。
虽然synchronized方法可以确保单个操作的原子性,但如果把多个操作合并为一个复合操作,还是需要额外的加锁机制。
直接在方法上加synchronized保证了线程的安全性,但是他牺牲了较大的性能。位于方法内部的局部变量并不是共享的,所以我们可以改为只用synchronized包含那些只需要共享的状态,把局部变量等分离出去,这样缩小同步范围来提高性能。但是这样牺牲了程序的简单性,实际上我们是在性能和简单性上进行平衡,而不是盲目的追求其中之一。
通常,在简单性与性能之间存在着相互制约因素。当实现某个同步策略时,一定不要盲目的为了性能而牺牲简单性(这可能会破坏程序的安全性)。
当执行时间较长的计算或者可能无法快速完成的操作时(例如,网络I/O或控制台I/O),一定不要持有锁。