Atomics.compareExchange()
Atomics.compareExchange() 静态方法会在数组的给定位置,如果给定的预期值等于旧值,则将给定的替换值进行交换。无论返回值是否等于预期值,它都会返回该位置的旧值。此原子操作确保在修改后的值写回之前,不会发生其他写入操作。
试一试
// Create a SharedArrayBuffer with a size in bytes
const buffer = new SharedArrayBuffer(16);
const uint8 = new Uint8Array(buffer);
uint8[0] = 5;
Atomics.compareExchange(uint8, 0, 5, 2); // Returns 5
console.log(Atomics.load(uint8, 0));
// Expected output: 2
Atomics.compareExchange(uint8, 0, 5, 4); // Returns 2
console.log(Atomics.load(uint8, 0));
// Expected output: 2
语法
js
Atomics.compareExchange(typedArray, index, expectedValue, replacementValue)
参数
typedArray-
一个整数类型化数组。可以是
Int8Array、Uint8Array、Int16Array、Uint16Array、Int32Array、Uint32Array、BigInt64Array或BigUint64Array中的一种。 index-
要在
typedArray中交换replacementValue的位置。 expectedValue-
要进行相等性检查的值。
replacementValue-
要交换的数字。
返回值
给定位置 (typedArray[index]) 的旧值。如果返回值等于 expectedValue,则交换成功;否则,交换失败。
异常
TypeError-
如果
typedArray不是允许的整数类型之一,则抛出。 RangeError-
如果
index在typedArray中超出界限,则抛出。
示例
使用 compareExchange()
js
const sab = new SharedArrayBuffer(1024);
const ta = new Uint8Array(sab);
ta[0] = 7;
Atomics.compareExchange(ta, 0, 7, 12); // returns 7, the old value
Atomics.load(ta, 0); // 12
检查返回值
比较并交换(Compare-and-swap)可确保新值基于最新信息计算;如果值在此期间已被另一个线程更新,则写入将失败。因此,您应该检查 compareExchange() 的返回值以确定是否失败,并在必要时重试。
下面是一个原子加法器的示例(功能与 Atomics.add() 相同),改编自引用的维基百科文章。
js
function add(mem, index, a) {
let done = false;
while (!done) {
const value = Atomics.load(mem, index);
done = Atomics.compareExchange(mem, index, value, value + a) === value;
}
return value + a;
}
它首先读取给定索引处的值,然后尝试用新值更新它。它会一直重试,直到成功更新该值。
规范
| 规范 |
|---|
| ECMAScript® 2026 语言规范 # sec-atomics.compareexchange |
浏览器兼容性
加载中…