JIT 会优化这段代码吗？是否需要同步？

Question

下面是一个包含拼写错误到正确拼写术语的映射的类。石英作业通过调用 updateCache() 定期更新地图。 updatecache 方法处理输入映射中的键和值并将它们存储在临时映射对象中。处理完成后（在 for 循环之后），它将临时映射分配给本地类变量 misspelledToCorrectlySpelled。

package com.test;

导入java.util.HashMap； 导入java.util.Map；

导入 org.checkthread.annotations.ThreadSafe;

@ThreadSafe public class SpellCorrectListCacheManager {

private Map<String, String> misspelledToCorrectlySpelled = 
    new HashMap<String, String>(0);

/*
 * invoked by a quartz job thread
 */
public void updateCache(Map<String, String> map) {

    Map<String, String> tempMap = new HashMap<String, String>(map.size());

    for (Map.Entry<String, String> entry : map.entrySet()) {
         //process key and values
        String key = entry.getKey().toLowerCase();
        String value = entry.getValue().toLowerCase();

        tempMap.put(key, value);
    }

    // update local variable
    this.misspelledToCorrectlySpelled = tempMap;
}

/*
 * Could be invoked by *multiple* threads
 */
public Map<String, String> getMisspelledToCorrectlySpelled() {
    return misspelledToCorrectlySpelled;
}

}

问题1：JIT优化会优化这段代码吗？

实际代码

/*
     * since tempMap is assigned to misspelledToCorrectlySpelled and not
     * used anywhere else, will JIT remove tempMap as shown in the optimized
     * version below?
     */
    Map<String, String> tempMap = new HashMap<String, String>(map.size());

    for (Map.Entry<String, String> entry : map.entrySet()) {
        // process key and values
        String key = entry.getKey().toLowerCase();
        String value = entry.getValue().toLowerCase();

        tempMap.put(key, value);
    }

    this.misspelledToCorrectlySpelled = tempMap;

优化代码

this.misspelledToCorrectlySpelled = new HashMap<String, String>(map.size());

    for (Map.Entry<String, String> entry : map.entrySet()) {
         //process key and values
        String key = entry.getKey().toLowerCase();
        String value = entry.getValue().toLowerCase();

        this.misspelledToCorrectlySpelled.put(key, value);
    }

问题2：假设JIT不会优化代码，是否应该同步方法getMisspelledToCorrectlySpelled？

/*
     * is this assignment atomic operation?
     * 
     * Does this needs to be synchronized? 
     * 
     * By not synchronizing, the new map may not 
     * be visible to other threads *immediately* -- this is 
     * ok since the new map will be visible after a bit of time 
     * 
     */
    this.misspelledToCorrectlySpelled = tempMap;
}

Answer 1

您应该使用 AtomicReference存储新地图，以避免同步和可见性问题。但代码中最大的问题是您向多个线程授予对非线程安全可变映射的访问权限。您应该将您的映射包装成不可修改的映射：

private AtomicReference<Map<String, String>> misspelledToCorrectlySpelled = 
    new AtomicReference<Map<String, String>>(Collections.unmodifiableMap(new HashMap<String, String>(0)));

/*
 * invoked by a quartz job thread
 */
public void updateCache(Map<String, String> map) {

    Map<String, String> tempMap = new HashMap<String, String>(map.size());

    for (Map.Entry<String, String> entry : map.entrySet()) {
         //process key and values
        String key = entry.getKey().toLowerCase();
        String value = entry.getValue().toLowerCase();

        tempMap.put(key, value);
    }

    // update local variable
    this.misspelledToCorrectlySpelled.set(Collections.unmodifiableMap(tempMap));
}

/*
 * Could be invoked by *multiple* threads
 */
public Map<String, String> getMisspelledToCorrectlySpelled() {
    return misspelledToCorrectlySpelled.get();
}

要回答有关 JIT 优化的问题：不，JIT 不会删除临时映射的使用。

Answer 2

需要同步的地方也需要同步。除了兼容的实现将符合 JLS 和 Java 内存模型并且遵守使用这些规则设计的代码之外，不能假设任何关于 JIT 的事情。 （同步方法有多种，并非所有方法都使用 synchronized 关键字。）

此处需要同步，除非看到过时版本“没关系”。 （这里的情况可能并非如此，它可能是一个带有缓存等的非常陈旧的版本——所以不值得下注！）。 “引用的分配”本身是原子的，因为不会发生“部分写入”，但不能保证它会[立即]在所有线程中传播（“可见”）。

快乐编码。