上一篇文章我们开始接触多线程并发场景,并理解了可见性对线程安全的意义在于哪里
今天编哥给大家说说:发布和逸出
什么叫做 发布(publish)
什么叫做 发布(publish) 呢? 就是你把一个对象的引用(c里面说指针)发送到当前你写的类对象 外部的某个对象那里。比如你通过一个 public 方法 返回这个对象引用了
试想一下,我们的对象还没完全初始化好,然后却发布出去,让其他对象使用了, 其他对象,于是就是在使用一个不能用的对象,此时就是逸出了(escape)。这非常影响程序运行,同时也是造成多线程不安全的诱因之一
不安全的发布的一个例子:
private static Set<Secret> knownSecrets; // 本应私有,不被外界改变
public Set<Secret> initilize() {
knownSecrets = new HashSet<Secret>();
return knownSecrets; // 现在你发布出去了,谁都可以用这个方法得到私有属性Set,然后(危险地)并发修改它
}
一旦一个对象 被 发布出去,你就要承担它会被误用的风险,然后给使用它的系统造成困难
什么是逸出
构造函数中的 this 引用逃逸
构造函数中的 this 引用逃逸是一种风险,啥意思呢?
假定有个类A的实例对象a, 正在通过构造函数进行初始化,而其构造函数工作期间,如果里面有新的内部对象b在初始化,那么等内部对象b初始化好了,并开始工作,那么其工作如果牵扯到了 对象a 的一些工作,但是此时 a 还没有走完自己的初始化过程,那么 b 就面临一个残疾的 a, 从而无法完成工作,这对系统很危险。例子如下:
// 隐式地让 a.this 逸出了
public class A {
// a 的初始化过程 就是 这个构造函数完成的
public A (EventSource source) {
source.registerListener(
new EventListener_aka_B() { // 这里构造了一个新的内部对象B,它能响应事件
public void onReceiveEvent(Event e) {
doSomthingTogetherWithA(e); // 就怕这里,A还没初始化好,B接到事件,并开始处理了
}
});
}
}
健康的初始化应是如下的:
public class SafeA {
private final EventListener_aka_B listener;
private SafeA() {
// 构造期间,不会让 EventSource 有机会发送 事件 到 listner 这里
listener = new EventListener() {
public void onReceiveEvent(Event e) {
doSomethingTogetherWithSafeA(e);
}
};
}
// 通过工厂方法,我们得到的就是一个良好构造完成的 a 对象,a.this 便不会在构造期间有机会逸出啦
public static SafeA newInstace(EventSource source) {
SafeA a = new SafeA();
source.registerListener(a.listener);
return a;
}
}
总结
发布对象其实就是你要知道,未来有人会用你写的代码,你写的类被new的时候,会不会发生一些问题?安全的发布是重要的
逸出就是你要知道,一个对象A内部的对象,会偷偷引用 包裹它的那个对象A, A在还没初始化好的时候,就被内部对象依赖上,逼着A做些事,这就是说明A逸出了