为什么 Promise 库使用事件循环？

Question

考虑以下 JavaScript 代码：

var promise = new Promise();
setTimeout(function() {
    promise.resolve();
}, 10);

function foo() { }
promise.then(foo);

在我见过的 promise 实现中，promise.resolve() 会简单地设置一些属性来指示 promise 已解决，并且 foo() 将在事件循环中稍后被调用，但它看起来像 promise.resolve( ) 将有足够的信息来立即调用任何延迟函数，例如 foo()。

事件循环方法似乎会增加复杂性并降低性能，那么为什么要使用它呢？

虽然我对 Promise 的大部分使用是与 JavaScript 一起使用的，但我提出问题的部分原因是在 C++ 游戏等性能非常密集的情况下实现 Promise，在这种情况下，我想知道是否可以利用承诺没有事件循环的开销。

Answer 1

promise.resolve() 是否会同步或异步执行其延续实际上取决于实现。

此外，“事件循环”并不是提供不同“执行上下文”的唯一机制。可能还有其他方式，例如线程或线程池，或者考虑提供调度队列的 GCD（Grand Central Dispatch，调度库）。

The Promises/A+ Spec 明确要求继续（onFulfilled 分别为 onRejected 处理程序）将相对于调用 then 方法的“执行上下文”异步执行.

1. 在执行上下文堆栈仅包含平台代码之前，不得调用 onFulfilled 或 onRejected。 [3.1]。

在注释下，您可以阅读其实际含义：

这里的“平台代码”是指引擎、环境和承诺实现代码。在实践中，此要求可确保 onFulfilled 和 onRejected 在调用 then 的事件循环之后异步执行，并使用新堆栈。

在这里，每个事件都将在不同的“执行上下文”上执行，即使这是同一个事件循环和同一个“线程”。

由于 Promises/A+ 规范是为 Javascript 环境编写的，因此更通用的规范只要求相对于调用 then 方法的调用者异步执行延续。

这样做有充分的理由！

示例（伪代码）：

promise = async_task();
printf("a");
promise.then((int result){
    printf("b");
});
printf("c");

假设处理程序（延续）将在与调用站点相同的线程上执行，执行顺序应该是控制台显示如下：

acb

特别是，当一个承诺已经解决时，一些实现倾向于在相同的执行上下文中“立即”（即同步）调用延续。这显然违反了上述规则。

规则调用延续总是异步的原因是调用站点需要保证then之后的处理程序和代码的相对执行顺序，包括延续在任何情况下的声明。也就是说，无论 promise 是否已经解析，语句的执行顺序必须相同。否则，更复杂的异步系统可能无法可靠运行。

对于具有多个同时执行上下文的其他语言的实现来说，另一个糟糕的设计选择——比如多线程环境（在 JavaScript 中不相关，因为只有一个执行线程），即会调用延续 与resolve 函数同步。当异步任务将在稍后的事件循环周期中完成时，这甚至是有问题的，因此延续将确实相对于调用站点异步执行。

但是，当异步任务完成后将调用resolve 函数时，此任务可能会在私有 执行上下文（例如“工作线程”）上执行。这个“工作线程”通常是一个专用并且可能是特殊配置的执行上下文——然后调用resolve。如果 resolve 函数将同步执行延续，延续将在任务的私有执行上下文中运行 - 这通常是不希望的。

Answer 2

Promise 都是关于 cooperative multitasking 的。

几乎唯一的方法是使用基于消息的调度。

计时器（通常具有 0 延迟）仅用于将任务/消息发布到消息队列中 - 队列中的下一个任务范例。因此，由小型事件处理程序组成的整个结构可以工作，并且您更频繁地屈服 - 所有这些工作都更加顺利。

Answer 3

所有的 Promise 实现，至少好的实现是这样的。

这是因为将同步性混入异步 API 是 releasing Zalgo。

事实上，promise 有时不会立即解决，而延迟有时意味着 API 是一致的。否则，您会按照执行顺序获得未定义的行为。

function getFromCache(){
      return Promise.resolve(cachedValue || getFromWebAndCache());
}

getFromCache().then(function(x){
     alert("World");
});
alert("Hello");

事实承诺库延迟，意味着上述块的执行顺序得到保证。在像 jQuery 这样的破坏承诺实现中，顺序会根据项目是否从缓存中获取而改变。这很危险。

具有不确定的执行顺序是非常危险的，并且是常见的错误来源。 Promises/A+ 规范将你带入成功的深渊。