java - 这段代码来自 Java Concurrency inpractice ThreadSafe 吗？

Question

这可能看起来很愚蠢，但我无法得到这个。 VolatileCachedFactorizer 保留 OneValueCache 的实例并在每次调用中重新初始化它。这个分配不应该在同步块(synchronized block)中完成吗？

    @Immutable
    class OneValueCache {
        private final BigInteger   lastNumber;
        private final BigInteger[] lastFactors;

        public OneValueCache(BigInteger i, BigInteger[] factors) {
            lastNumber = i;
            lastFactors = Arrays.copyOf(factors, factors.length);
        }

        public BigInteger[] getFactors(BigInteger i) {
            if (lastNumber == null || !lastNumber.equals(i))
                return null;
            else
                return Arrays.copyOf(lastFactors, lastFactors.length);
        }
    }

    public class VolatileCachedFactorizer implements Servlet {
        private volatile OneValueCache cache =
            new OneValueCache(null, null);
        public void service(ServletRequest req, ServletResponse resp) {
            BigInteger i = extractFromRequest(req);
            BigInteger[] factors = cache.getFactors(i);
            if (factors == null) {
                factors = factor(i);
                cache = new OneValueCache(i, factors); // is this line ok?
            }
            encodeIntoResponse(resp, factors);
        }
    }

Answer 1

cache 变量是 volatile 。这意味着对它的写入操作发生在观察写入值的后续读取操作之前。因此，相关对象已安全地发布到其他线程，无需进一步同步。

请注意，由于 OneValueCache 是一个不可变的类，即使没有 volatile (“通过数据竞争发布”)，代码仍然是线程安全的，因为线程如果观察到一个对象，就可以保证观察到它完全初始化。但是，如果没有 volatile ，就无法保证该对象的引用将被另一个线程观察到。