假设我有一个与field共享的对象data。多个线程将共享对该对象的引用以访问该字段。但是,线程永远不会同时访问对象。我需要声明data为volatile吗?
data
这样的情况如下:
Counter
value
increment
鉴于程序的逻辑,因此无法并发访问计数器。但是,计数器是在多个线程之间共享的。计数器必须波动吗?
的情况的另一个变体是当多个线程操纵对象X即明文数据,但交替它们的时间执行(使得X是永远不会同时存取)经由另一个目的ý依赖于并发控制(wait,notify,synchronize)。对象X的字段应该可变吗?
wait
notify
synchronize
仅当在线程之间建立事前关系时,才能保证来自线程的突变对其他线程可见。建立关系后,所有以前的突变均可见。
如果另一个对象正确地同步了对其的访问,则孤立地使用未正确同步的对象可以安全地使用(请参阅《Java Concurrency in Practice》中的 Piggibacking )。
在问题中描述的两种情况下,我认为不需要同步:
Thread.start
如果您知道从未同时访问过对象X,则很可能有一个对象Y可以间接同步对X的访问,所以很好。我看到的唯一不安全的情况是线程本身是否按时进行中继(例如,通过Thread.sleep或通过循环直到经过一段时间后才进行中继)以确保互斥:在这种情况下,没有建立先发生后关系。