仅当在线程之间建立事前关系时,才能保证来自线程的突变对其他线程可见。建立关系后,所有以前的突变均可见。
如果另一个对象正确地同步了对其的访问,则孤立地使用未正确同步的对象可以安全地使用(请参阅《Java Concurrency in Practice》中的
Piggibacking )。
在问题中描述的两种情况下,我认为不需要同步:
Thread.start
建立事前发生关系,因此可以看到先前线程的所有突变- 对对象X的访问由对象Y同步,这将建立事前发生的关系并使对X的更改可见(我在博客文章中进行了扩展)。
如果您知道从未同时访问过对象X,则很可能有一个对象Y可以间接同步对X的访问,所以很好。我看到的唯一不安全的情况是线程本身是否按时进行中继(例如,通过Thread.sleep或通过循环直到经过一段时间后才进行中继)以确保互斥:在这种情况下,没有建立先发生后关系。
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)