ECMAScript 2020：超越 Promise 的信仰
随着前端技术不断发展，异步编程是我们不可避免的话题。在异步编程中，Promise 处理异步任务的方式特别受到前端工程师们的信仰与喜爱。但是，Promise 也有很多的缺陷，其中最大的缺陷就是缺少线程安全性保障，导致在某些场景下，Promise 可能会出现数据竞争等问题。所以，在 ECMAScript 2020 中，JS 的核心规范终于将原子操作引入到了 JavaScript 中，以提供更好的线程安全性保障。
在 ECMAScript 2020 中， 增加了一个新的对象类型 Atomics，可以用来创建和操作“共享存储区”，从而解决了 Promise 的线程安全性问题。它提供了一套 API，可以在多线程场景下保证变量读写的原子性，并提供了一些同步原语，从而能更有效的处理复杂的共享资源问题。
在 Atomics 中，有三个数据类型可以被操作：Int32Array、Float64Array 和 BigInt64Array。我们来看一个示例：
-- -------------------- ---- ------- ----- -- - --- -------------- -- --- - ---- ----- -- ------------------------------- -- --- --- -- --- - -- -- -- ----- --- - ---- ---- -- - ----- --- - ---------------- ----- -- ------- ------- - ----- ------ - --- - -- -- ----- ----------------- ---- -------- -- ------- ------- --- ------ ------ ------- -- ---- -- ---------------------- -- --- --- -- -- --- ---- ----- ---- - ------------------------------- -- --- --- -- ------- ----- --
上述示例代码中，我们定义了一个长度为 1 的可共享 Int32 数组 xs。接着，我们定义了一个 inc 方法，该方法使用 Atomics API 对 xs 数组的值进行增加 1 操作，并且将结果返回。
在 inc 方法中，我们首先通过 Atomics.load(xs, idx) 方法读取 xs 数组的值。该方法会以原子方式读取 xs[idx] 的值，并且保证读取的值是最新的。
接着，我们计算出新的值，并且使用 Atomics.store(xs, idx, update) 方法将 xs[idx] 更新为新的值。该方法会以原子方式更新 xs[idx] 的值为 update。
最后，我们将新的值返回。由于整个操作使用了 Atomics API，因此，我们可以在多个线程环境下安全的更新 xs 数组的值。
除了 load 和 store 方法之外，Atomics 对象还提供了一些原子方法，如 Atomics.add、Atomics.sub、Atomics.and、Atomics.or、Atomics.xor、Atomics.compareExchange 等。这些原子方法都是相当强大的，它们可以保障在多线程环境下的读写操作的正确性。
总结
通过使用 Atomics API，我们可以更容易的处理并发相关的问题，让异步编程变得更加便捷高效。当然，Atomics API 并不是银弹，使用时还需要注意线程安全的问题。不过，它提供了一个强大的工具来让 JavaScript 处理多线程编程变得更加容易和可靠。
如果您需要在多线程环境下编写 JavaScript 代码，Atomics API 绝对是一个你不能忽略的重要工具。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/654c1a497d4982a6eb5c41a9