java.util.concurrent 中的内存一致性

Question

来自内存一致性属性，我们知道： “将对象放入任何并发集合之前的线程中的操作发生在另一个线程中从集合中访问或删除该元素之后的操作之前。”

这是否意味着：如果我创建一个对象并将其放入一个线程中的 ConcurrentLinkedQueue 中，另一个线程将看到该对象的所有属性，而无需对该对象进行其他同步？

例如：

public class Complex{

  int index;

  String name;

  public Complex(int index, String name){

     this.index = index;

     this.name = name;

  }

  public String getName(){

     return name;

  }

  public int getIndex(){

     return index;

  }

}

public class SharedQueue{

   public static ConcurrentLinkedQueue queue = new ConcurrentLinkedQueue();

}

在一个线程中：

........................................

Complex complex = new Complex(12, "Sam");

SharedQueue.queue.add(complex);

在另一个线程中< /strong>

......

Complex complex = SharedQueue.queue.poll();

System.out.printly(complex.getIndex() + ";" + complex.getName());

......

第二个线程一定会看到complex对象的属性吗？如果在第一个线程将对象放入队列后，第二个线程恰好获取该对象并打印它。

我们知道，在正常情况下，如果是共享的，我们应该在多线程环境中同步对象。

喜欢

public class Complex{

  int index;

  String name;

  public Complex(int index, String name){

     this.index = index;

     this.name = name;

  }

  public synchronized String getName(){

     return name;

  }

  public synchronized int getIndex(){

     return index;

  }

}

Answer 1

1. 所有线程都会看到它们可以获得引用的所有对象，所以是的，这也适用于集合。并发集合使用同步来避免两个或多个线程同时访问它们时中断（例如，for 循环可能中断），因此您可以使用它们在线程之间共享对象。

2. 如果您的对象是不可变的，即只读，如上面的 Complex 类（添加最终修饰符），那么您不需要同步对其的访问，因为它是线程安全的。

同步的目的是确保变量在 n 次操作中保持一致。示例：

如果要计算

i = i + 2;

，则需要首先读取 i 的值，加 2，然后将值设置回 i。

现在，如果在您添加 2 之后某个其他线程出现并更新 i，那么您实际上会覆盖此更新，因为您仍然保留基于先前值 + 2 的总和，并将其设置回 i。

Answer 2

确切地。在这种情况下，ConcurrentLinkedQueue 充当同步器。

Answer 3

这意味着，如果线程 A 将一个对象放入集合中，并且线程 B 从那里获取该对象，则线程 B 可以在将对象放入集合之前看到线程 A 执行的任何操作的结果（以及发生的操作）在其他线程中的它们之前，等等）。这些操作包括对象的初始化（如果是由线程 A 完成的），以便线程 B 可以看到处于一致状态的对象。

请注意，它不提供有关将对象放入集合后线程 A 中发生的操作或其他线程的操作的任何保证（除了与传递 happens-before 顺序相关的操作，如上所述） ，因此如果您要在将对象放入集合后修改该对象，您仍然需要同步。

顺便说一句，您的“正常情况”示例已损坏，因为构造函数中的操作不同步。

Answer 4

JSR 133 还指定了当构造函数完成时，对象已完成并对所有线程可见。 Java 5.0（2004 年）中添加了此支持。无需执行任何其他操作即可使您的对象在所有线程中可见且正确。

在这种情况下，在不可变对象上使用同步不会实现任何目标。

有很多文件另有说明，而且这些文件通常早于 2004 年。;)