如何解决安全发布:第一次将对象引用传递给另一个线程是否需要安全发布习惯用法?
| 我有一个C类,其定义如下:public Class C implements Runnable
{
private B ref;
public C(B bobj)
{
this.ref = bobj; //(0)
}
}
public void run()
{
//read ‘ref’ without using synchronization. //(4)
//Will this read of ref see an up-to-date value or stale (may be null) value?
//do some stuff on ‘ref’ using lock ‘ref’
}
}
我有一个已经在运行的线程T(例如主线程)。
线程T创建另一个B类(可变)的实例,例如
B b = new B();
现在它构造一个类C的实例并启动Thread,例如
C runnable = new C(b); // (1)
new Thread(runnable).start(); //(2)
根据Java语言规范17.4.4:
启动线程的动作与线程中的第一个动作同步
开始。
=>上面的语句(2)与语句(4)同步。
相同规格17.4.5的下一部分说:
如果动作x与后续动作y同步,那么我们还有hb(x,
y)。
=>此处语句(2)发生在语句(4)之前
此外,编译器无法对位于语句(2)之前的语句(1)进行重新排序(否则C的run()中的代码可能会检测到),因为(1)在程序顺序中位于(2)之前(线程语义)。这意味着,语句(1)将按执行顺序排在(4)之前。
我的问题是,这种将引用(此处为“ b”)从一个线程传递给另一个线程的方法是否安全?
解决方法
在这种情况下是安全的。
B b = new B();
C runnable = new C(b);
new Thread(runnable).start();
上面的这段代码保证了B的构造和传递给C都是安全的。您无法保证的是任何事后修改,例如
new Thread(runnable).start();
b.setSomeStuff(new Stuff());
针对线程代码运行时:
public void run() {
Stuff stuff = b.getSomeStuff(); // Can return old or new stuff.
}
有效地回答您的问题,除非完整构建C,否则C是无法运行的,这需要B存在并且能够被引用。仅当您在一个线程中修改内容并在两个线程都在运行时又在另一个线程中读取内容时,才会出现问题。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。