返回CompletableFuture，而不暴露执行器线程

Question

我在库中公开了一个方法，该方法返回一个CompletableFuture。该方法的计算发生在单线程执行器上，这是我的瓶颈，因此我不希望任何后续工作发生在同一个线程上

如果我使用返回“SupplySync”结果的简单方法，我将向调用者公开我宝贵的线程，调用者可能会添加同步操作（例如通过Accept），这可能会在该线程上花费一些CPU时间

复制如下：

import java.util.concurrent.CompletableFuture;
import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;

public class CfPlayground {
    private ExecutorService preciousExecService = Executors.newFixedThreadPool(1);

    CfPlayground() {}

    private static void log(String msg) {
        System.out.println("[" + Thread.currentThread().getName() + "] " + msg);
    }

    CompletableFuture<String> asyncOp(String param) {
        return CompletableFuture.supplyAsync(() -> {
            log("In asyncOp");
            return "Hello " + param;
        }, preciousExecService);
    }

    void syncOp(String salutation) {
        log("In syncOp: " + salutation);
    }

    void run() {
        log("run");
        asyncOp("world").thenAccept(this::syncOp);
    }

    public static void main(String[] args) throws InterruptedException {
        CfPlayground compFuture = new CfPlayground();
        compFuture.run();
        Thread.sleep(500);
        compFuture.preciousExecService.shutdown();
    }
}

这确实打印出：

[main] run
[pool-1-thread-1] In asyncOp
[pool-1-thread-1] In syncOp: Hello world

我发现的一个解决方案是引入另一个执行器，并在返回CompletableFuture之前使用该执行器添加一个no-op thenApplyAsync

    CompletableFuture<String> asyncOp(String param) {
        return CompletableFuture.supplyAsync(() -> {
            log("In asyncOp");
            return "Hello " + param;
        }, preciousExecService).thenApplyAsync(s -> s, secondExecService);
    }

这行得通，但感觉不太优雅——有更好的方法吗？

Answer 1

您只需将方法签名更改为返回未来，而不是可完成的未来：

Future<String> asyncOp(String param) {
    return CompletableFuture.supplyAsync(() -> {
        log("In asyncOp");
        return "Hello " + param;
    }, preciousExecService);
}

这样，run（）方法会抛出编译错误：

void run() {
    log("run");
    asyncOp("world").thenAccept(this::syncOp);
}

调用方仍然能够将返回的未来转换回可完成的未来，但这将是对API的误用，不会意外发生。

Answer 2

没有任何功能可以将完成与从属操作的执行分离。当链接依赖动作的线程已经完成注册，并且您的执行者的线程完成了未来的任务时，如果没有给其他执行者，那么哪个线程应该执行依赖动作？

您将另一个操作与不同的执行器链接的方法似乎是您能得到的最好的方法。但是，重要的是要注意，在异常完成的情况下，在不评估传递给thenApply的函数的情况下传播异常。如果调用者链接了when完成、句柄或异常等操作，则此异常传播可能再次导致线程暴露。

另一方面，您不需要指定辅助执行程序，因为您可以使用不带执行程序参数的async方法来获取默认（公共Fork/Join）池。

所以链接<代码>。当复同步（（x，y）-