如果我们正在同步读取，是否需要同步写入？

Question

我对同步块几乎没有疑问。
1. > 同步可确保您拥有一致的数据视图。这意味着您将读取最新值，而其他缓存将获得最新值。高速缓存足够智能，可以通过特殊总线相互通信（这不是JLS所必需的，但允许）。该总线意味着不必触摸主内存即可获得一致的视图。

1. 如果仅使用同步，则不需要volatile。如果您有一个非常简单的操作（对于同步操作可能会过分杀伤），则波动性很有用。

参考上面，我有以下三个问题：

Q1。假设在多线程应用程序中，仅在同步块中读取了对象或原始实例字段（写操作可能会在其他方法中发生而没有同步）。同样，在其他对象上定义了同步块。
声明它为易失性（即使仅在Synchronized块中读取）是否有意义 ？

Q2。 我了解完成同步的对象的状态值是一致的。 我不确定在同步块中是否正在读取其他对象和原始字段的状态。
假设进行更改时没有获得锁，但是通过获得锁来完成读取。 同步块内的所有对象的状态和所有原始字段的值是否始终具有一致的视图。？

Q3。 [更新]：是否 将同步块中正在读取的所有字段都从主存储器中读取，而不管我们锁定了什么？ [CKing回答]

我为上面的问题准备了参考代码。

public class Test {
  private SomeClass someObj;
  private boolean isSomeFlag;
  private Object lock = new Object();
  public SomeClass getObject() {
        return someObj;
  }
  public void setObject(SomeClass someObj) {
        this.someObj = someObj;
  }
  public void executeSomeProcess(){
        //some process...
  }
  // synchronized block is on a private someObj lock.
  // inside the lock method does the value of isSomeFlag and state of someObj remain consistent?

  public void someMethod(){
        synchronized (lock) {
              while(isSomeFlag){
                    executeSomeProcess();
              }
              if(someObj.isLogicToBePerformed()){
                    someObj.performSomeLogic();
              }
        }
  }
  // this is method without synchronization.
  public void setSomeFlag(boolean isSomeFlag) {
        this.isSomeFlag = isSomeFlag;
  }
}

Answer 1

您需要了解的第一件事是，链接答案中讨论的方案与您所讨论的方案之间存在细微的差异。您说的是在不同步的情况下修改值，而所有值都是在链接答案中的同步上下文中修改的。考虑到这一点，让我们解决您的问题：

Q1。假设在多线程应用程序中，仅在同步块中读取了对象或原始实例字段（写操作可能会在其他方法中发生而没有同步）。同样，在其他对象上定义了同步块。声明它为易失性（即使仅在Synchronized块中读取）是否有意义？

是的，将字段声明为确实有意义volatile。由于写操作不是在synchronized上下文中进行的，因此无法保证写线程会将新更新的值刷新到主内存中。因此，读取线程可能仍会看到不一致的值。

假设进行更改时没有获得锁，但是通过获得锁来完成读取。同步块内的所有对象的状态和所有原始字段的值是否始终具有一致的视图。？

答案是否定的。推理与上面相同。

底线：
在同步上下文之外修改值将无法确保将这些值刷新到主内存。（因为读取器线程可能会在写入器线程之前进入同步块）在synchronized上下文中读取这些值的线程可能仍然会读取较旧的值，即使它们是从主内存中获取的。

请注意，这个问题是关于基元的，因此理解Java 为32位基元（除long和double以外的所有基元）提供 超薄安全性
也很重要，这意味着您可以放心，至少有效值（如果不一致）。