Java 赋值问题——这是原子的吗？

Question

我有一些关于 Java 赋值的问题。

• 字符串

我有一个类:

public class Test {
 private String s;

 public synchronized void setS(String str){
  s = s + " - " + str;
 }

 public String getS(){
  return s;
 }
}

我在我的 setter 中使用“同步”，并在我的 getter 中避免使用它，因为在我的应用程序中，有大量的数据获取和很少的设置。设置必须同步以避免不一致。我的问题是:获取和设置变量是原子的吗？我的意思是，在多线程环境中，Thread1 即将设置变量 s，而 Thread2 即将获得“s”。 getter 方法有什么方法可以获得与 s 的旧值或 s 的新值不同的东西(假设我们只有两个线程)？在我的应用程序中，获取新值不是问题，获取旧值也不是问题。但是我能得到别的东西吗？

• HashMap 的获取和放置呢？

考虑到这一点:

    public class Test {
        private Map<Integer, String> map = Collections.synchronizedMap(new HashMap<Integer, String>());

        public synchronized void setMapElement(Integer key, String value){
         map.put(key, value);
        }

        public String getValue(Integer key){
         return map.get(key);
        }
}

放入和获取是原子的吗？ HashMap 如何处理将元素放入其中？它是否首先删除旧值并放入现在的值？我可以得到旧值或新值以外的值吗？

提前致谢!

Answer 1

在第一种情况下，String 恰好对于不安全的发布是安全的(在"new"Java 内存模型 (JMM) 中)，所以这是可以的。

不是 volatile 从理论上讲，没有最新值存在一些问题，但是最新的含义尚不清楚。您可以用比较和交换 (CAS) 循环替换锁，但无论锁是否可能被竞争，这可能不会给您带来太多性能提升。

在 HashMap 的情况下，如果有另一个线程写入未同步的映射，则读取它是不安全的，即使是单个写入线程也是如此。事实上，已经发现这会导致运行流行软件的生产系统出现无限循环。问题中的代码实际上为 map 使用了两个锁，这在顶部(尽管如果使用迭代器，您需要显式持有同一个锁)。不是 final 确实会阻止包含的类对于不安全的发布是安全的。如果 map 是 volatile 并且您为每个 put 创建了一个新 map ，那么在获取时无需同步就可以保证安全。