Java线程安全——多原子操作？

Question

我只是一个非开发人员，所以我的问题可能非常简单！

我只是在测试Java多线程的东西，这不是真正的代码。我想知道如何在 Java 中同时更新两个成员变量，以防我们希望它们都同步。举个例子：

public class Testing
{
  private Map<String, Boolean> itemToStatus = new ConcurrentHashMap<>();
  private Set<String> items = ConcurrentHashMap.newKeySet();

  public static void main(String[] args)
  {
    (new Testing()).start("ABC");
  }

  public void start(String name) {
    if (name.equals("ABC")) {
      itemToStatus.put(name, true);
      items.add(name);
    }
  }
}

在这种情况下(当然，想象一下多线程)，我希望能够保证对< code>items和< code>itemToStatus的任何读取总是返回相同的结果。

因此，如果代码在< code>itemToStatus.put(name，true)行中，并且其他线程询问< code > items . contains(name)，它将返回false。另一方面，如果另一个线程请求< code > itemtostatus . contains key(name)；它将返回true。我不希望这样，我希望它们给出相同的值，如果这有意义的话？

我怎样才能使这两个变化原子化？这行吗？

if (name.equals("ABC")) {
    synchronised(this) {
        itemToStatus.put(name, true);
        items.add(name);
    }
}

不过，我不明白为什么这会奏效。我想这就是你需要锁什么的情况？

干杯

Answer 1

简短的回答是肯定的：通过同步代码块，就像您在上一个代码片段中所做的那样，您使类成为线程安全的，因为该代码块是唯一读取或修改类状态的代码块（由两个实例变量表示）。同步（this）的含义是您使用对象的实例（this）作为锁：当一个线程进入该代码块时，它会获得锁，阻止其他线程进入相同的代码块，直到线程退出代码块时释放它。

Answer 2

仅仅同步写入是不起作用的。您还需要同步（在同一个对象上）对项目和itemToState集合的读取访问。这样，如果另一个线程正在更新这两个集合，则没有线程可以读取任何内容。请注意，以这种方式同步意味着您不需要Con的HashMap或Con的HashSet；普通的旧HashMap和HashSet将起作用，因为您提供了自己的同步。

例如：

public void start(String name) {
    if (name.equals("ABC")) {
        synchronized (this) {
            itemToStatus.put(name, true);
            items.add(name);
        }
    }
}

public synchronized boolean containsItem(String name) {
    return items.contains(name);
}

public synchronized boolean containsStatus(String name) {
    return itemToStatus.containsKey(name);
}

这将保证如果进行了该调用，则< code>containsItem返回的值也将由< code>containsStatus返回。当然，如果您希望返回值在一段时间内保持一致(比如首先调用< code>containsItem()，然后调用< code>containsStatus())，您将需要更高级别的同步。