小编典典

同步跨线程共享但不能同时访问的对象

java

假设我有一个与field共享的对象data。多个线程将共享对该对象的引用以访问该字段。但是,线程永远不会同时访问对象。我需要声明data为volatile吗?

这样的情况如下:

  • 一个类Counter定义一个唯一字段value和一个方法increment
  • 一个线程使计数器递增,然后生成另一个使计数器递增的线程,依此类推。

鉴于程序的逻辑,因此无法并发访问计数器。但是,计数器是在多个线程之间共享的。计数器必须波动吗?

的情况的另一个变体是当多个线程操纵对象X即明文数据,但交替它们的时间执行(使得X是永远不会同时存取)经由另一个目的ý依赖于并发控制(waitnotifysynchronize)。对象X的字段应该可变吗?


阅读 215

收藏
2020-11-23

共1个答案

小编典典

仅当在线程之间建立事前关系时,才能保证来自线程的突变对其他线程可见。建立关系后,所有以前的突变均可见。

如果另一个对象正确地同步了对其的访问,则孤立地使用未正确同步的对象可以安全地使用(请参阅《Java Concurrency in Practice》中的
Piggibacking )。

在问题中描述的两种情况下,我认为不需要同步:

  • Thread.start 建立事前发生关系,因此可以看到先前线程的所有突变
  • 对对象X的访问由对象Y同步,这将建立事前发生的关系并使对X的更改可见(我在博客文章中进行扩展)。

如果您知道从未同时访问过对象X,则很可能有一个对象Y可以间接同步对X的访问,所以很好。我看到的唯一不安全的情况是线程本身是否按时进行中继(例如,通过Thread.sleep或通过循环直到经过一段时间后才进行中继)以确保互斥:在这种情况下,没有建立先发生后关系。

2020-11-23