易失和同步

Question

关于同步和易失性，我还不太了解。

我了解线程可以在本地保护更改。从我目前所读到的是同步>易失性。

假设我有一个不是 long 或 double 的参数，所以基本上是一个标准 Integer（非原子）。

我有一个同步的方法，我用这个整数做了很多工作。 所有线程都会得到这个 Integer 的更新版本吗？还是我也必须将其声明为 volatile？

public class stackoverflow {

    private int x = 0;

    public synchronized void rechnen(){ 
        //dosomething   
    }
}

基本上在 rechnen() 完成后，我得到了 10000 个线程，因为我的方法是同步的，都会得到 x 的更新版本吗？还是我也必须将其声明为 volatile？

Answer 1

是的，他们将获得更新版本。 synchronized 保证两件事：变化的可见性和原子性。 volatile 只是保证更改的可见性。 Java 保证同步块内的代码不会被优化（通过在 synchronized 块内外混合命令），因此在同步块结束后对其中变量的每次更改都将对所有线程可见。

Answer 2

@partlov 已经回答了您的问题，因此作为旁注，您可能还需要考虑其他一些事情。

不要使用 synchronized 作为修饰符

当将方法声明为同步时，它使用监视器。在 Java 中，每个 Object 恰好是一个监视器，在这种情况下使用类实例。所以你的例子有效地变成了：

public void rechnen(){ 
    synchronized(this) {
        //dosomething
    }   
}

现在这会带来一个潜在的问题，因为您的显示器正在泄漏。应用程序的其他部分可以使用相同的监视器来同步完全不相关的代码，这可能会导致/导致性能下降，或者更糟糕的是，当它相关时，可能会导致意外死锁。

因此，主要的建议是，始终将您的显示器保密。所以像：

public class stackoverflow {
    private final Object monitor = new Object();
    private int x = 0;

    public void rechnen(){
         synchronized(monitor) {
            //dosomething
         } 
    }
}

了解您的 API

在volatile 和synchronized 之间有大量用于特定并发目的的工具。其中大部分混合使用volatile、synchronized 和CAS-operations。例如，AtomicInteger 为您提供原子整数运算，且竞争少得多，正如 synchronized 所见。所以试着真正熟悉java.util.concurrent

Answer 3

是的，他们将获得更新的版本，但前提是他们自己输入了同步块。如果他们没有在同一个对象上输入同步块（锁定同一个监视器），则不能保证他们会看到更新。

如果不希望其他线程进入同步块，则必须将该变量声明为 volatile。

Answer 4

声明私有 volatile int x = 0;它将为您服务。为了更好地理解，请参阅 AtomicInteger 的实现。