我可以消除嵌套在同步方法中的私有字段上的同步吗？

Question

我有这个遗留的伪代码：

public class Wrapper {
  private volatile Sink sink;

  public synchronized void flushSink() {
    if (sink != null) {
      synchronized (sink) {
        sink.flush();
      }
    }
  }

  public void close()  throws IOException {
    var sink = this.sink;
    if (sink != null) {
      sink.receivedLast();
    }
  }
}

我的问题是关于嵌套同步块。

据我了解，在这种情况下提到的块是多余的，就好像两个线程同时调用 flushSink（），那么一次只有一个线程可以访问私有字段接收器。因此，代码可以简化为

public class Wrapper {
  private volatile Sink sink;

  public synchronized void flushSink() {
    if (sink != null) {
      sink.flush();
    }
  }
}

有可能进一步消除racy读取到

public class Wrapper {
  private volatile Sink sink;

  public synchronized void flushSink() {
    var sink = this.sink;
    if (sink != null) {
      sink.flush();
    }
  }
}

所以我的问题是，这种重构在同步和JMM方面是否正确，如果正确（或者不正确）-是否有基于JCStress的测试证明了这一点？

Answer 1

据我所知，在这种情况下，提到的块是多余的，就像两个线程同时调用flushSink（），那么一次只有其中一个可以访问私有字段接收器。因此，代码可以简化为

只要代码中没有其他地方可以在同步块中访问< code>sink,它就是多余的。

例如，如果将< code>close()方法更改为以下内容，

public void close()  throws IOException {
  var sink = this.sink;
  if (sink != null) {
    synchronized(sink) {
      sink.receivedLast();
    }
  }
}

那么flushSink（） 中的同步块不会是无用的，因为它可以确保 receivedLast（） 和 flush（） 不会同时被调用。