保证Thread Safety的方法

学习过多线程这一章之后，我觉得保护线程安全意义重大，做实验的时候会发现有时候一不小心就会发生死锁，今天来总结一下保证Thread Safety的几种方法。

 

在介绍之前，先了解一下多线程为什么会出现不安全的情况：这是由于线程之间的“竞争条件”引起的：作用于同一个mutable数据上的多个线程，彼此之间存在对该数据的访问竞争并导致interleaving，导致后置条件可能被违反，这是不安全的。下面介绍几种方法。

 

1.Confinement（限制数据共享）

核心思想：线程之间不能共享mutable数据类型。

①将可变数据限制在单一线程内部，避免竞争。

②避免全局变量。

③不允许任何线程直接读写该数据。

注意：如果一个ADT的rep中包含mutable的属性且多线程之间对其进行mutator操作，那么就很难使用confinement策略来确保该ADT是线程安全的。

2.Immutability（共享不可变数据）

不可变数据通常是线程安全的。

①使用不可变数据类型和不可变引用，避免多线程之间的race condition。

②如果ADT中使用了beneficent mutation，那么必须要通过“加锁”机制来保证线程安全。

注：允许有全局rep，但是只能是immutable的。

3.Threadsafe data type（共享线程安全的可变数据）

如果必须要用mutable的数据类型在多线程之间共享数据，则要使用线程安全的数据类型。（在JDK中的类，文档中明确指明了是否threadsafe，一般来说JDK会提供两个功能一样的类，一个threadsafe另一个不，因为threadsafe一般会影响性能）。

注：①集合类都是线程不安全的（List，Set，Map）。②即使在线程安全的集合类上使用iterator也是不安全的，除非使用lock机制。③即使是线程安全的collection类，仍可能产生竞争。（执行某个操作是threadsafe的，但是多个操作放在一起仍不安全）