CompletableFuture，可变对象和内存可见性

Question

我试图了解 Java 8 中的 CompletableFuture 如何与 Java memory model 交互。在我看来，为了程序员的理智，理想情况下，以下内容应该是正确的：

1. 线程中完成CompletableFuture的操作happen-before任何completions相关阶段都会被执行
2. 线程中注册完成的操作创建了一个依赖阶段发生之前 completion依赖阶段被执行

java.util.concurrent documentation 中有一条注释说：

在将Runnable 提交给Executor 之前，线程中的操作happen-before 开始执行。对于Callables 提交到ExecutorService 也是如此。

这表明第一个属性为真，只要完成未来的线程执行 completion 依赖阶段或将其提交给Executor。另一方面，在阅读CompletableFuture documentation 之后，我不太确定：

为非异步方法的依赖完成提供的操作可以由完成当前CompletableFuture的线程执行，或者由完成方法的任何其他调用者执行。

这让我想到了我的问题：

1. 以上两个假设属性是真的还是假的？
2. 在使用CompletableFuture 时，是否有任何关于内存可见性保证的特定文档？

---

附录：

以具体示例的方式，考虑以下代码：

List<String> list1 = new ArrayList<>();
list1.add("foo");

CompletableFuture<List<String>> future =
        CompletableFuture.supplyAsync(() -> {
            List<String> list2 = new ArrayList<>();
            list2.addAll(list1);
            return list2;
        });

是否保证将 "foo" 添加到 list1 对 lambda 函数可见？是否保证将list1 添加到list2 对future 的依赖阶段可见？

Answer 1

1. 是的，你的两个假设都是正确的。原因是，CompletableFuture 中的所有*Async() 方法都将使用java.util.concurrent.Executor 进行异步调用。如果您不提供，这将是 common pool 或为每个任务创建 new thread 的 Executor（如果您将公共池的大小限制为 0 或 1）或用户提供的 Executor . 正如您已经发现的那样，Executor 的 documentation 表示：

   在将 Runnable 对象提交给 Executor 之前，线程中的操作发生在其执行开始之前，可能在另一个线程中。

   因此，在您的示例中，可以保证 "foo" 是您的 lambda 中 list1 的一部分，并且 list2 在后续阶段中可见。

2. Executor的文档基本涵盖了这个。