对Java中的安全发布和可见性感到困惑，尤其是使用Immutable Objects

Question

当我阅读Brian Goetz的Java Concurrency in Practice时，我记得他说“另一方面，即使在不使用同步来发布对象引用时，也可以安全地访问不可变对象”。

我认为这意味着如果你发布一个不可变对象，所有字段（包括可变的最终引用）对于可能使用它们的其他线程是可见的，并且至少是该对象何时完成构造的最新版本。

现在，我在https://www.cs.umd.edu/~pugh/java/memoryModel/jsr-133-faq.html中读到“现在，说过所有这些，如果在一个线程构造一个不可变对象（即一个只包含最终字段的对象）之后，你想要确保所有这些都能正确地看到它另一个线程，你仍然通常需要使用同步。没有其他方法可以确保，例如，第二个线程将看到对不可变对象的引用。应该仔细调整程序从最终字段获得的保证深入细致地了解如何在代码中管理并发。“

他们似乎互相矛盾，我不确定相信哪一个。

我还读过，如果所有字段都是最终字段，那么即使对象不是永久性的，我们也可以确保安全发布。例如，我一直认为，由于这种保证，在发布此类的对象时，Brian Goetz在实践中的并发性中的这段代码很好。

@ThreadSafe
public class MonitorVehicleTracker {
    @GuardedBy("this")
    private final Map<String, MutablePoint> locations;

    public MonitorVehicleTracker(
            Map<String, MutablePoint> locations) {
        this.locations = deepCopy(locations);
    }

    public synchronized Map<String, MutablePoint> getLocations() {
        return deepCopy(locations);
    }

    public synchronized MutablePoint getLocation(String id) {
        MutablePoint loc = locations.get(id);
        return loc == null ? null : new MutablePoint(loc);
    }

    public synchronized void setLocation(String id, int x, int y) {
        MutablePoint loc = locations.get(id);
        if (loc == null)
            throw new IllegalArgumentException("No such ID: " + id);
        loc.x = x;
        loc.y = y;
    }

    private static Map<String, MutablePoint> deepCopy(
            Map<String, MutablePoint> m) {
        Map<String, MutablePoint> result =
            new HashMap<String, MutablePoint>();
        for (String id : m.keySet())
            result.put(id, new MutablePoint(m.get(id)));
        return Collections.unmodifiableMap(result);
    }
}
public class MutablePoint { /* Listing 4.5 */ }

例如，在此代码示例中，如果最终保证为false并且线程构成此类的实例然后对该对象的引用不为null，但是另一个线程使用该类时字段位置为空，该怎么办？

再一次，我不知道哪个是正确的，或者我是否恰好误解了文章或Goetz