对象发布
- 使一个对象能够被当前范围之外的代码使用；
对象逸出
- 一种错误的发布 ，当一个对象还没有构造完成时，就使它被其他线程所见；
安全发布对象的4种方式
- 在静态初始化函数中初始化一个对象引用；
- 将对象的引用保存到volatile类型域或者AtomicReference对象中；
- 将对象的引用保存到某个正确构造对象的final类型域中；
- 将对象引用保存到一个由锁保护的域中；
不安全发布示例
- UnsafePublish对象的私有域states通过公有getter方法被发布，使其可以被任何线程修改，各线程获取到的state的值是不确定的，这样的发布对象就是线程不安全的；
import com.example.concurrency.annotations.NotThreadSafe;
import lombok.extern.slf4j.Slf4j;
import java.util.Arrays;
@Slf4j
@NotThreadSafe
public class UnsafePublish {
private String[] states = {"a", "b", "c"};
public String[] getStates() {
return states;
}
public static void main(String[] args) {
UnsafePublish unsafePublish = new UnsafePublish();
log.info("{}", Arrays.toString(unsafePublish.getStates()));
unsafePublish.getStates()[0] = "d";
log.info("{}", Arrays.toString(unsafePublish.getStates()));
}
}
对象逸出示例
- 在Escape对象还没有构建完成时，其构造器中另开的线程将其this发布出去；
- 如果要在构造器中创建另一个线程，不要启动它，通过专有的start()或初始化方法同一启动线程；可以使用工厂方法和私有构造器完成对象创建和监听器注册；
- 创建可变对象时的目标是：在其构建尚未完成时，不能将其发布；
不正确的发布可变对象将导致2种错误
- 发布线程以外的任何线程都可以看到被发布对象的过期的值；
- 发布线程以外的任何线程看到的引用是最新的，然而被发布对象的状态却是过期的；
结论：如果一个对象是可变对象，其必须被安全发布；
import com.example.concurrency.annotations.NotRecommend;
import com.example.concurrency.annotations.NotThreadSafe;
import lombok.extern.slf4j.Slf4j;
@Slf4j
@NotThreadSafe
@NotRecommend
public class Escape {
private int thisCanBeEscape = 0;
public Escape () {
new InnerClass();
}
private class InnerClass {
public InnerClass() {
log.info("{}", Escape.this.thisCanBeEscape);
}
}
public static void main(String[] args) {
new Escape();
}
}
输出：
11:45:00.443 [main] INFO com.example.concurrency.example.publish.Escape - 0
