Java易失性变量是否在读取之前强加了“事前发生”关系？

Question

我有一段代码看起来像这样：

片段A：

class Creature {
    private static long numCreated;
    public Creature() {
        synchronized (Creature.class) {
            numCreated++;
        }
    }
    public static long numCreated() {
        return numCreated;
    }
}

根据我的理解，由于的读取numCreated不同步，因此如果线程A Creature在下午1点创建了一个，而线程B
numCreated()在下午2点进行了读取，numCreated()则很可能返回0或1（即使线程A在1.05 pm完成了对对象的初始化） ）。

所以我添加synchronized到numCreated()：

片段B：

class Creature {
    private static long numCreated;
    public Creature() {
        synchronized (Creature.class) {
            numCreated++;
        }
    }
    public static synchronized long numCreated() { // add "synchronized"
        return numCreated;
    }
}

一切都很好，除了我在想，如果我将其修改为 Snippet C ，变量是否numCreated仍正确同步？

片段C：

class Creature {
    private static volatile long numCreated; // add "volatile"
    public Creature() {
        synchronized (Creature.class) {
            numCreated++;
        }
    }
    public static long numCreated() { // remove "synchronized"
        return numCreated;
    }
}

使用 代码片段C ，是否可以保证线程A在下午1:05完成对象创建之后，线程B的调用numCreated()一定会返回1？

PS：我了解在实际情况下，我可能会使用an，AtomicLong但这是出于学习目的

Answer 1

请参阅http://download.oracle.com/javase/6/docs/api/java/util/concurrent/package-
summary.html#MemoryVisibility
：

每次对同一字段进行后续读取之前，都会写入易失字段。易失性字段的写入和读取与进入和退出监视器具有相似的内存一致性效果，但是不需要互斥锁定。

所以答案是肯定的。在构造函数中写入volatile发生在读取volatile中numCreated()。并且由于非原子增量仍在同步块中完成，因此同步是可以的（增量不是原子增量，但对volatile
long的写入是正确的）。