Java并发编程:驯服共享可变性
1. Java并发API概述
现代并发API java.util.concurrent
相较于旧版API有诸多改进,它允许我们进行以下操作:
- 管理线程池
- 轻松调度任务以进行并发执行
- 以线程安全的方式在并发运行的线程之间交换数据
- 实现细粒度的同步
- 利用并发数据结构获得更好的并发性能
不过,即便新API在很多方面有所帮助,我们仍需保持警惕,避免竞态条件和共享可变数据。
2. 共享可变性不等于公开
共享可变性并不局限于公共字段。一个共享变量是指被多个线程进行读写访问的变量,而从未被多个线程访问过的变量则是隔离的、非共享的。如果我们不能确保可见性或避免竞态条件,共享可变变量可能会导致严重问题。
无论访问权限如何,我们必须确保作为参数传递给其他方法的任何值都是线程安全的。同时,不要让任何非线程安全的引用逸出,因为变量可能会通过多种方式逸出,例如:
- 作为参数传递或返回引用
- 直接将引用设置到其他对象或静态字段中
- 将变量传递到集合中
3. 识别并发问题示例
以一个控制能源源的代码为例,该能源源允许用户消耗能量,并定期自动补充能量。以下是原始代码:
//Bad code
public class EnergySource {
private final long MAXLEVEL = 100;
private long level = MAXLE