java - Java volatile 变量在读取之前是否强加了先行关系？

Question

我有一段代码是这样的:

_片段A:

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

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

所以我在 numCreated() 中添加了 synchronized:

_{片段 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;
    }
}

对于 Snippet C，是否可以保证只要 Thread-A 在下午 1:05 完成对象创建，Thread-B 对 numCreated() 的调用肯定会返回 1 ?

_{PS:我知道在实际情况下我可能会使用 AtomicLong 但这是出于学习目的}

Answer 1

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

A write to a volatile field happens-before every subsequent read of that same field. Writes and reads of volatile fields have similar memory consistency effects as entering and exiting monitors, but do not entail mutual exclusion locking.

所以答案是肯定的。在构造函数中写入 volatile 发生在 numCreated() 中读取 volatile 之前。并且由于非原子增量仍然在同步块(synchronized block)中完成，所以同步是可以的(增量不是原子的，但是 volatile long 的写入是)。