易失性会影响非易失性变量吗？

如何解决易失性会影响非易失性变量吗？

| 好的，假设我有一堆变量，其中一个声明为volatile：

int a;
int b;
int c;
volatile int v;

如果一个线程写入所有四个变量（最后写入

v

），而另一个线程从所有四个变量读取（首先从

v

读取），则第二个线程是否看到第一个线程写入

a

，

b

和

c

的值，即使尽管它们本身并没有被宣布为挥发性的？还是可以看到过时的值？ 由于似乎有些混乱：我不是故意在做不安全的事情。我只想了解Java内存模型和

volatile

关键字的语义。纯粹的好奇心。     

解决方法

        是。

volatile

（例如，锁等）设置事前发生的关系，但会影响所有变量（在Java SE 5 / JDK 1.4中的新Java内存模型（JMM）中）。某种使得它对于非基本挥发物有用...     ,        我要讲的是我认为您可能真正在探讨的问题-搭载同步。 看起来您要使用的技术涉及与一个或多个其他非易失性变量一起使用一个易失性变量作为同步保护。当满足以下条件时，此技术适用： 只有一个线程将写入要保护的一组值。 仅当易失性保护值满足某些条件时，读取值集的线程才会读取它们。 在您的示例中，您没有提到第二个条件成立，但是我们仍然可以进行检查。编写者的模型如下： 假定没有其他线程尝试读取它们，则写入所有非易失性变量。 完成后，将一个值写入易失性保护变量，该值指示已满足读者的条件。 读者操作如下： 随时读取易失性保护变量，如果其值符合条件，则 读取其他非易失性变量。 如果易失性保护变量尚未指示适当的值，则读取器不得读取其他非易失性变量。 保护变量充当门。在作者将其设置为特定值或一组完全符合指示门现在已打开的值的值之前，该门将关闭。非易失变量被保护在门的后面。阅读器直到门打开才被允许阅读。一旦门打开，读者将看到一组非易失性变量的一致视图。 请注意，重复运行此协议是不安全的。一旦打开闸门，编写器便无法继续更改非易失性变量。到那时，多个读取器线程可能正在读取其他变量，尽管不能保证，但可以看到这些变量的更新。看到一些但不是全部这些更新将产生该集合的不一致视图。 备份时，这里的技巧是控制对一组变量的访问，而无需 创建一个结构来保存它们，原子引用可以交换，um，原子交换或 使用锁使对整个变量集的写入和读取互斥活动。 the带在volatile保护变量之上是一个聪明的绝技-绝不能随便做。程序的后续更新可能会破坏上述脆弱的条件，从而消除Java内存模型提供的一致性保证。如果您选择使用此技术，请在代码中清楚地记录其不变性和要求。     ,第二个线程是否看到第一个线程写入了a，b和c的值，即使它们本身没有声明为volatile？还是可以看到过时的值？ 您将获得过时的读取结果，b / c您无法确保a，b，c的值是读取v之后设置的值。使用状态机（但您需要CAS来更改状态）是一种解决类似问题，但这超出了讨论范围。 也许这部分不清楚，在写

v

并先从

v

读取后，您会得到正确的结果（非陈旧的读取），主要问题是如果您这样做

if (v==STATE1){...proceed...}

，不能保证其他线程不会修改a / b / c的状态。在这种情况下，将进行状态读取。 如果只修改一次a / b / c + v，您将获得正确的结果。 掌握并发和无锁结构是一件非常困难的事情。道格·里（Doug Lea）着有不错的书，如果您需要开始挖掘的话，克里夫·卡夫（Cliff Click）博士的大部分演讲/文章都是一笔宝贵的财富。     ,        是的，对同一变量进行易失性写入“在发生之前”。 @seh可以正确解决多个变量的一致性问题，但在某些用例中，一致性要求较低。 例如，编写器线程更新一些状态变量。阅读器线程会立即显示它们。变量之间关系不大，我们只关心及时读取新值。我们可以使每个状态变量易变。或者，我们可以仅使用一个volatile变量作为可见性防护。 但是，节省只是表面上的，在性能上几乎没有任何区别。在任何一种版本中，每个状态变量都必须由编写者“清除”，并由读取者“装入”。没有免费的午餐。