Java并发编程:共享可变性的驯服之道
1. 现代并发API的优势与挑战
现代并发API java.util.concurrent
相较于旧版API有诸多改进,它能让我们实现以下功能:
- 管理线程池
- 轻松调度任务以进行并发执行
- 以线程安全的方式在并发运行的线程之间交换数据
- 实现细粒度的同步
- 借助并发数据结构获得更好的并发性能
然而,即便新API在很多方面提供了帮助,但我们仍需保持警惕,以避免竞态条件和共享可变数据带来的问题。
2. 共享可变性的概念
共享可变性并不局限于公共字段。一个共享变量是指被多个线程进行读写访问的变量,而从未被多个线程访问过的变量则是隔离的,并非共享变量。如果我们不能确保可见性或避免竞态条件,共享可变变量可能会引发严重问题。
在传递参数或返回引用时,我们必须确保所传递的实例是线程安全的,避免非线程安全的引用逸出。变量逸出的情况较为复杂,除了传递和返回引用外,直接将引用设置到其他对象或静态字段中,或者将其传递到集合中,都可能导致变量逸出。
3. 并发问题示例分析
以下是一个控制能源源的代码示例:
//Bad code
public class EnergySource {
private final long MAXLEVEL = 100;
private long level = MAXLEVEL;
private boolean keepRunning = true;