JavaScript处理二进制之ArrayBuffer

比如，以文本格式传递一个32位整数，两端的JavaScript脚本与显卡都要进行格式转化，将非常耗时。这时要是存在一种机制，可以像C语言那样，直接操作字节，然后将4个字节的32位整数，以二进制形式原封不动地送入显卡，脚本的性能就会大幅提升。

类型化数组（Typed Array）就是在这种背景下诞生的。它很像C语言的数组，允许开发者以数组下标的形式，直接操作内存。有了类型化数组以后，JavaScript的二进制数据处理功能增强了很多，接口之间完全可以用二进制数据通信。

ArrayBuffer 也是一个构造函数，可以分配一段可以存放数据的连续内存区域。

1

const buf = new ArrayBuffer(32);

上面代码生成了一段 32 字节的内存区域，每个字节的值默认都是 0。可以看到， ArrayBuffer 构造函数的参数是所需要的内存大小（单位字节）。

ArrayBuffer 有两种视图，一种是 TypedArray 视图，另一种是 DataView 视图。前者的数组成员都是同一个数据类型，后者的数组成员可以是不同的数据类型。

目前，TypedArray对象一共提供9种类型的视图，每一种视图都是一种构造函数。 （ DataView 视图支持除 Uint8C 以外的其他 8 种）

在详细介绍使用方法之前请看看它的直接示例。

直接示例 ：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

// 创建一个8字节的ArrayBuffer
const b = new ArrayBuffer(3);

// 创建一个指向b的Uint8视图，开始于字节0，直到缓冲区的末尾
const v1 = new Uint8Array(b);

// 无论以任何进制存储，最终都会转换为10进制表示
v1[0] = 0xe4; // 16进制 
v1[1] = 0b10111101; // 2进制 (ES6新增二进制表示方式0b)
v1[2] = 160; // 10进制

console.log(v1[0]); // 228 
console.log(v1); // Unit8Array(3) [228, 189, 160]
// 虽然表示为10进制，只是为了直观展示，实际操作还是为二进制 [11100100,10111101,10100000]

const blob = new Blob([v1]);

let reader = new FileReader();

reader.readAsText(blob);

reader.onload = (e) => {
  console.log(e.target.result); // 你
}
// 这里Uint8，所以每一项代表一个字节(8个二进制位)，赋值的这三字节，为 “你” 的utf-8编码。
// 11100100 10111101 10100000

构造函数有多种用法。

同一个 ArrayBuffer 对象之上，可以根据不同的数据类型，建立多个视图。

1
2
3
4
5
6
7
8
9
10
11

// 创建一个8字节的ArrayBuffer
const b = new ArrayBuffer(8);

// 创建一个指向b的Int32视图，开始于字节0，直到缓冲区的末尾
const v1 = new Int32Array(b);

// 创建一个指向b的Uint8视图，开始于字节2，直到缓冲区的末尾
const v2 = new Uint8Array(b, 2);

// 创建一个指向b的Int16视图，开始于字节2，长度为2
const v3 = new Int16Array(b, 2, 2);

上面代码在一段长度为 8 个字节的内存（ b ）之上，生成了三个视图： v1 、 v2 和 v3 。

因此， v1 、 v2 和 v3 是重叠的： v1[0] 是一个 32 位整数，指向字节 0 ～字节 3； v2[0] 是一个 8 位无符号整数，指向字节 2； v3[0] 是一个 16 位整数，指向字节 2 ～字节 3。只要任何一个视图对内存有所修改，就会在另外两个视图上反应出来。

视图还可以不通过 ArrayBuffer 对象，直接分配内存而生成。

1
2
3
4

const f64a = new Float64Array(8);
f64a[0] = 10;
f64a[1] = 20;
f64a[2] = f64a[0] + f64a[1];

上面代码生成一个 8 个成员的 Float64Array 数组（共 64 字节），然后依次对每个成员赋值。这时，视图构造函数的参数就是成员的个数。可以看到，视图数组的赋值操作与普通数组的操作毫无两样。

TypedArray 数组的构造函数，可以接受另一个 TypedArray 实例作为参数。

1

const typedArray = new Int8Array(new Uint8Array(4));

注意，此时生成的新数组，只是复制了参数数组的值，对应的底层内存是不一样的。新数组会开辟一段新的内存储存数据，不会在原数组的内存之上建立视图。

如果想基于同一段内存，构造不同的视图，可以采用下面的写法。

1
2
3
4
5
6
7

const x = new Int8Array([1, 1]);
const y = new Int8Array(x.buffer);
x[0] // 1
y[0] // 1

x[0] = 2;
y[0] // 2

构造函数的参数也可以是一个普通数组，然后直接生成 TypedArray 实例。

1

const typedArray = new Uint8Array([1, 2, 3, 4]);

注意，这时 TypedArray 视图会重新开辟内存，不会在原数组的内存上建立视图。

TypedArray 数组也可以转换回普通数组。

1
2
3
4
5

const normalArray = [...typedArray];
// or
const normalArray = Array.from(typedArray);
// or
const normalArray = Array.prototype.slice.call(typedArray);

1
2
3
4
5
6
7
8
9

Int8Array.BYTES_PER_ELEMENT // 1
Uint8Array.BYTES_PER_ELEMENT // 1
Uint8ClampedArray.BYTES_PER_ELEMENT // 1
Int16Array.BYTES_PER_ELEMENT // 2
Uint16Array.BYTES_PER_ELEMENT // 2
Int32Array.BYTES_PER_ELEMENT // 4
Uint32Array.BYTES_PER_ELEMENT // 4
Float32Array.BYTES_PER_ELEMENT // 4
Float64Array.BYTES_PER_ELEMENT // 8

这个属性在 TypedArray 实例上也能获取，即有 TypedArray.prototype.BYTES_PER_ELEMENT 。

TypedArray 数组的溢出处理规则，简单来说，就是抛弃溢出的位，然后按照视图类型进行解释。

1
2
3
4
5
6
7

const uint8 = new Uint8Array(1);

uint8[0] = 256; // 1 0000 0000，只会保留后 8 位，即00000000
uint8[0] // 0

uint8[0] = -1;
uint8[0] // 255

负数在计算机内部采用“2 的补码”表示，也就是说，将对应的正数值进行否运算，然后加 1 。比如， -1 对应的正值是 1 ，进行否运算以后，得到 11111110 ，再加上 1 就是补码形式 11111111 。 uint8 按照无符号的 8 位整数解释 11111111 ，返回结果就是 255 。

一个简单转换规则，可以这样表示。 上例同样适用 。

请看下面的例子。

1
2
3
4
5
6
7

const int8 = new Int8Array(1);

int8[0] = 128;
int8[0] // -128

int8[0] = -129;
int8[0] // 127

上面例子中， int8 是一个带符号的 8 位整数视图，它的最大值是 127，最小值是-128。输入值为 128 时，相当于正向溢出 1 ，根据“最小值加上余值（128 除以 127 的余值是 1），再减去 1”的规则，就会返回 -128 ；输入值为 -129 时，相当于负向溢出 1 ，根据“最大值减去余值的绝对值（-129 除以-128 的余值的绝对值是 1），再加上 1”的规则，就会返回 127 。

Uint8ClampedArray 视图的溢出规则，与上面的规则不同。它规定，凡是发生正向溢出，该值一律等于当前数据类型的最大值，即 255；如果发生负向溢出，该值一律等于当前数据类型的最小值，即 0。

1
2
3
4
5
6
7

const uint8c = new Uint8ClampedArray(1);

uint8c[0] = 256;
uint8c[0] // 255

uint8c[0] = -1;
uint8c[0] // 0

byteOffset 属性返回 TypedArray 数组从底层 ArrayBuffer 对象的哪个字节开始。这两个属性都是只读属性。

1
2
3
4
5
6
7
8
9
10
11
12
13

const b = new ArrayBuffer(8);

const v1 = new Int32Array(b);
const v2 = new Uint8Array(b, 2);
const v3 = new Int16Array(b, 2, 2);

v1.byteLength // 8
v2.byteLength // 6
v3.byteLength // 4

v1.byteOffset // 0
v2.byteOffset // 2
v3.byteOffset // 2

1
2
3
4

const a = new Uint8Array(8);
const b = new Uint8Array(8);

b.set(a);

上面代码复制 a 数组的内容到 b 数组，它是整段内存的复制，比一个个拷贝成员的那种复制快得多。

set 方法还可以接受第二个参数，表示从 b 对象的哪一个成员开始复制 a 对象。

1
2
3
4

const a = new Uint16Array(8);
const b = new Uint16Array(10);

b.set(a, 2)

上面代码的 b 数组比 a 数组多两个成员，所以从 b[2] 开始复制。

1
2
3
4
5

const a = new Uint16Array(8);
const b = a.subarray(2,3);

a.byteLength // 16
b.byteLength // 2

subarray 方法的第一个参数是起始的成员序号，第二个参数是结束的成员序号（不含该成员），如果省略则包含剩余的全部成员。所以，上面代码的 a.subarray(2,3) ，意味着 b 只包含 a[2] 一个成员，字节长度为 2。

1
2
3

let ui8 = Uint8Array.of(0, 1, 2);
ui8.slice(-1)
// Uint8Array [ 2 ]

上面代码中， ui8 是 8 位无符号整数数组视图的一个实例。它的 slice 方法可以从当前视图之中，返回一个新的视图实例。

slice 方法的参数，表示原数组的具体位置，开始生成新数组。负值表示逆向的位置，即-1 为倒数第一个位置，-2 表示倒数第二个位置，以此类推。

1
2

Float32Array.of(0.151, -8, 3.7)
// Float32Array [ 0.151, -8, 3.7 ]

下面三种方法都会生成同样一个 TypedArray 数组。

1
2
3
4
5
6
7
8
9
10
11

// 方法一
let tarr = new Uint8Array([1,2,3]);

// 方法二
let tarr = Uint8Array.of(1,2,3);

// 方法三
let tarr = new Uint8Array(3);
tarr[0] = 1;
tarr[1] = 2;
tarr[2] = 3;

1
2

Uint16Array.from([0, 1, 2])
// Uint16Array [ 0, 1, 2 ]

这个方法还可以将一种 TypedArray 实例，转为另一种。

1
2

const ui16 = Uint16Array.from(Uint8Array.of(0, 1, 2));
ui16 instanceof Uint16Array // true

from 方法还可以接受一个函数，作为第二个参数，用来对每个元素进行遍历，功能类似 map 方法。

1
2
3
4
5

Int8Array.of(127, 126, 125).map(x => 2 * x)
// Int8Array [ -2, -4, -6 ]

Int16Array.from(Int8Array.of(127, 126, 125), x => 2 * x)
// Int16Array [ 254, 252, 250 ]

上面的例子中， from 方法没有发生溢出，这说明遍历不是针对原来的 8 位整数数组。也就是说， from 会将第一个参数指定的 TypedArray 数组，拷贝到另一段内存之中，处理之后再将结果转成指定的数组格式。

1
2
3
4
5

const buffer = new ArrayBuffer(24);

const idView = new Uint32Array(buffer, 0, 1);
const usernameView = new Uint8Array(buffer, 4, 16);
const amountDueView = new Float32Array(buffer, 20, 1);

上面代码将一个 24 字节长度的 ArrayBuffer 对象，分成三个部分：

这种数据结构可以用如下的 C 语言描述：

1
2
3
4
5

struct someStruct {
  unsigned long id;
  char username[16];
  float amountDue;
};

DataView 视图提供更多操作选项，而且支持设定字节序。本来，在设计目的上， ArrayBuffer 对象的各种 TypedArray 视图，是用来向网卡、声卡之类的本机设备传送数据，所以使用本机的字节序就可以了；而 DataView 视图的设计目的，是用来处理网络设备传来的数据，所以大端字节序或小端字节序是可以自行设定的。

DataView 视图本身也是构造函数，接受一个 ArrayBuffer 对象作为参数，生成视图。

1

DataView(ArrayBuffer buffer [, 字节起始位置 [, 长度]]);

下面是一个例子。

1
2

const buffer = new ArrayBuffer(24);
const dv = new DataView(buffer);

DataView 实例有以下属性，含义与 TypedArray 实例的同名方法相同。

DataView 实例提供 8 个方法读取内存。

这一系列 get 方法的参数都是一个字节序号（不能是负数，否则会报错），表示从哪个字节开始读取。

1
2
3
4
5
6
7
8
9
10
11

const buffer = new ArrayBuffer(24);
const dv = new DataView(buffer);

// 从第1个字节读取一个8位无符号整数
const v1 = dv.getUint8(0);

// 从第2个字节读取一个16位无符号整数
const v2 = dv.getUint16(1);

// 从第4个字节读取一个16位无符号整数
const v3 = dv.getUint16(3);

上面代码读取了 ArrayBuffer 对象的前 5 个字节，其中有一个 8 位整数和两个十六位整数。

如果一次读取两个或两个以上字节，就必须明确数据的存储方式，到底是小端字节序还是大端字节序。默认情况下， DataView 的 get 方法使用大端字节序解读数据，如果需要使用小端字节序解读，必须在 get 方法的第二个参数指定 true 。

1
2
3
4
5
6
7
8

// 小端字节序
const v1 = dv.getUint16(1, true);

// 大端字节序
const v2 = dv.getUint16(3, false);

// 大端字节序
const v3 = dv.getUint16(3);

DataView 视图提供 8 个方法写入内存。

这一系列 set 方法，接受两个参数，第一个参数是字节序号，表示从哪个字节开始写入，第二个参数为写入的数据。对于那些写入两个或两个以上字节的方法，需要指定第三个参数， false 或者 undefined 表示使用大端字节序写入， true 表示使用小端字节序写入。

1
2
3
4
5
6
7
8

// 在第1个字节，以大端字节序写入值为25的32位整数
dv.setInt32(0, 25, false);

// 在第5个字节，以大端字节序写入值为25的32位整数
dv.setInt32(4, 25);

// 在第9个字节，以小端字节序写入值为2.5的32位浮点数
dv.setFloat32(8, 2.5, true);

如果不确定正在使用的计算机的字节序，可以采用下面的判断方式。

1
2
3
4
5

const littleEndian = (function() {
  const buffer = new ArrayBuffer(2);
  new DataView(buffer).setInt16(0, 256, true);
  return new Int16Array(buffer)[0] === 256;
})();

如果返回 true ，就是小端字节序；如果返回 false ，就是大端字节序。

现在可以对二进制数据进行base64编码转为文本数据传输。

1
2
3
4
5
6
7
8
9
10

let xhr = new XMLHttpRequest();
xhr.open('GET', someUrl);
xhr.responseType = 'arraybuffer';

xhr.onload = function () {
  let arrayBuffer = xhr.response;
  // ···
};

xhr.send();

1
2
3
4
5

const canvas = document.getElementById('myCanvas');
const ctx = canvas.getContext('2d');

const imageData = ctx.getImageData(0, 0, canvas.width, canvas.height);
const uint8ClampedArray = imageData.data;

需要注意的是，上面代码的 uint8ClampedArray 虽然是一个 TypedArray 数组，但是它的视图类型是一种针对 Canvas 元素的专有类型 Uint8ClampedArray 。这个视图类型的特点，就是专门针对颜色，把每个字节解读为无符号的 8 位整数，即只能取值 0 ～ 255，而且发生运算的时候自动过滤高位溢出。这为图像处理带来了巨大的方便。

举例来说，如果把像素的颜色值设为 Uint8Array 类型，那么乘以一个 gamma 值的时候，就必须这样计算：

1

u8[i] = Math.min(255, Math.max(0, u8[i] * gamma));

因为 Uint8Array 类型对于大于 255 的运算结果（比如 0xFF+1 ），会自动变为 0x00 ，所以图像处理必须要像上面这样算。这样做很麻烦，而且影响性能。如果将颜色值设为 Uint8ClampedArray 类型，计算就简化许多。

1

pixels[i] *= gamma;

Uint8ClampedArray 类型确保将小于 0 的值设为 0，将大于 255 的值设为 255。注意，IE 10 不支持该类型。

1
2
3
4
5
6
7
8

const fileInput = document.getElementById('fileInput');
const file = fileInput.files[0];
const reader = new FileReader();
reader.readAsArrayBuffer(file);
reader.onload = function () {
  const arrayBuffer = reader.result;
  // ···
};

下面以处理 bmp 文件为例。假定 file 变量是一个指向 bmp 文件的文件对象，首先读取文件。

1
2
3

const reader = new FileReader();
reader.addEventListener("load", processimage, false);
reader.readAsArrayBuffer(file);

然后，定义处理图像的回调函数：先在二进制数据之上建立一个 DataView 视图，再建立一个 bitmap 对象，用于存放处理后的数据，最后将图像展示在 Canvas 元素之中。

1
2
3
4
5
6

function processimage(e) {
  const buffer = e.target.result;
  const datav = new DataView(buffer);
  const bitmap = {};
  // 具体的处理步骤
}

具体处理图像数据时，先处理 bmp 的文件头。具体每个文件头的格式和定义，请参阅有关资料。

1
2
3
4
5
6

bitmap.fileheader = {};
bitmap.fileheader.bfType = datav.getUint16(0, true);
bitmap.fileheader.bfSize = datav.getUint32(2, true);
bitmap.fileheader.bfReserved1 = datav.getUint16(6, true);
bitmap.fileheader.bfReserved2 = datav.getUint16(8, true);
bitmap.fileheader.bfOffBits = datav.getUint32(10, true);

接着处理图像元信息部分。

1
2
3
4
5
6
7
8
9
10
11
12

bitmap.infoheader = {};
bitmap.infoheader.biSize = datav.getUint32(14, true);
bitmap.infoheader.biWidth = datav.getUint32(18, true);
bitmap.infoheader.biHeight = datav.getUint32(22, true);
bitmap.infoheader.biPlanes = datav.getUint16(26, true);
bitmap.infoheader.biBitCount = datav.getUint16(28, true);
bitmap.infoheader.biCompression = datav.getUint32(30, true);
bitmap.infoheader.biSizeImage = datav.getUint32(34, true);
bitmap.infoheader.biXPelsPerMeter = datav.getUint32(38, true);
bitmap.infoheader.biYPelsPerMeter = datav.getUint32(42, true);
bitmap.infoheader.biClrUsed = datav.getUint32(46, true);
bitmap.infoheader.biClrImportant = datav.getUint32(50, true);

最后处理图像本身的像素信息。

1
2

const start = bitmap.fileheader.bfOffBits;
bitmap.pixels = new Uint8Array(buffer, start);

至此，图像文件的数据全部处理完成。下一步，可以根据需要，进行图像变形，或者转换格式，或者展示在 Canvas 网页元素之中。

什么叫“原子性操作”呢？现代编程语言中，一条普通的命令被编译器处理以后，会变成多条机器指令。如果是单线程运行，这是没有问题的；多线程环境并且共享内存时，就会出问题，因为这一组机器指令的运行期间，可能会插入其他线程的指令，从而导致运行结果出错。

请看下面的例子。

1
2
3
4
5
6
7
8
9
10

// 主线程
ia[42] = 314159;  // 原先的值 191
ia[37] = 123456;  // 原先的值 163

// Worker 线程
console.log(ia[37]);
console.log(ia[42]);
// 可能的结果
// 123456
// 191

上面代码中，主线程的原始顺序是先对 42 号位置赋值，再对 37 号位置赋值。但是，编译器和 CPU 为了优化，可能会改变这两个操作的执行顺序（因为它们之间互不依赖），先对 37 号位置赋值，再对 42 号位置赋值。而执行到一半的时候，Worker 线程可能就会来读取数据，导致打印出 123456 和 191 。

下面是另一个例子。

1
2
3
4
5
6
7
8
9
10
11

// 主线程
const sab = new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 100000);
const ia = new Int32Array(sab);

for (let i = 0; i < ia.length; i++) {
  ia[i] = primes.next(); // 将质数放入 ia
}

// worker 线程
ia[112]++; // 错误
Atomics.add(ia, 112, 1); // 正确

上面代码中，Worker 线程直接改写共享内存 ia[112]++ 是不正确的。因为这行语句会被编译成多条机器指令，这些指令之间无法保证不会插入其他进程的指令。请设想如果两个线程同时 ia[112]++ ，很可能它们得到的结果都是不正确的。

Atomics 对象就是为了解决这个问题而提出，它可以保证一个操作所对应的多条机器指令，一定是作为一个整体运行的，中间不会被打断。也就是说，它所涉及的操作都可以看作是原子性的单操作，这可以避免线程竞争，提高多线程共享内存时的操作安全。所以， ia[112]++ 要改写成 Atomics.add(ia, 112, 1) 。

Atomics 对象提供多种方法。

（1）Atomics.store()，Atomics.load()

store() 方法用来向共享内存写入数据， load() 方法用来从共享内存读出数据。比起直接的读写操作，它们的好处是保证了读写操作的原子性。

此外，它们还用来解决一个问题：多个线程使用共享内存的某个位置作为开关（flag），一旦该位置的值变了，就执行特定操作。这时，必须保证该位置的赋值操作，一定是在它前面的所有可能会改写内存的操作结束后执行；而该位置的取值操作，一定是在它后面所有可能会读取该位置的操作开始之前执行。 store 方法和 load 方法就能做到这一点，编译器不会为了优化，而打乱机器指令的执行顺序。

1
2

Atomics.load(array, index)
Atomics.store(array, index, value)

store 方法接受三个参数：SharedBuffer 的视图、位置索引和值，返回 sharedArray[index] 的值。 load 方法只接受两个参数：SharedBuffer 的视图和位置索引，也是返回 sharedArray[index] 的值。

1
2
3
4
5
6
7
8

// 主线程 main.js
ia[42] = 314159;  // 原先的值 191
Atomics.store(ia, 37, 123456);  // 原先的值是 163

// Worker 线程 worker.js
while (Atomics.load(ia, 37) == 163);
console.log(ia[37]);  // 123456
console.log(ia[42]);  // 314159

上面代码中，主线程的 Atomics.store 向 42 号位置的赋值，一定是早于 37 位置的赋值。只要 37 号位置等于 163，Worker 线程就不会终止循环，而对 37 号位置和 42 号位置的取值，一定是在 Atomics.load 操作之后。

下面是另一个例子。

1
2
3
4
5
6
7
8
9
10
11
12

// 主线程
const worker = new Worker('worker.js');
const length = 10;
const size = Int32Array.BYTES_PER_ELEMENT * length;
// 新建一段共享内存
const sharedBuffer = new SharedArrayBuffer(size);
const sharedArray = new Int32Array(sharedBuffer);
for (let i = 0; i < 10; i++) {
  // 向共享内存写入 10 个整数
  Atomics.store(sharedArray, i, 0);
}
worker.postMessage(sharedBuffer);

上面代码中，主线程用 Atomics.store() 方法写入数据。下面是 Worker 线程用 Atomics.load() 方法读取数据。

1
2
3
4
5
6
7
8

// worker.js
self.addEventListener('message', (event) => {
  const sharedArray = new Int32Array(event.data);
  for (let i = 0; i < 10; i++) {
    const arrayValue = Atomics.load(sharedArray, i);
    console.log(`The item at array index ${i} is ${arrayValue}`);
  }
}, false);

（2）Atomics.exchange()

Worker 线程如果要写入数据，可以使用上面的 Atomics.store() 方法，也可以使用 Atomics.exchange() 方法。它们的区别是， Atomics.store() 返回写入的值，而 Atomics.exchange() 返回被替换的值。

1
2
3
4
5
6
7
8
9
10
11
12
13

// Worker 线程
self.addEventListener('message', (event) => {
  const sharedArray = new Int32Array(event.data);
  for (let i = 0; i < 10; i++) {
    if (i % 2 === 0) {
      const storedValue = Atomics.store(sharedArray, i, 1);
      console.log(`The item at array index ${i} is now ${storedValue}`);
    } else {
      const exchangedValue = Atomics.exchange(sharedArray, i, 2);
      console.log(`The item at array index ${i} was ${exchangedValue}, now 2`);
    }
  }
}, false);

上面代码将共享内存的偶数位置的值改成 1 ，奇数位置的值改成 2 。

（3）Atomics.wait()，Atomics.wake()

使用 while 循环等待主线程的通知，不是很高效，如果用在主线程，就会造成卡顿， Atomics 对象提供了 wait() 和 wake() 两个方法用于等待通知。这两个方法相当于锁内存，即在一个线程进行操作时，让其他线程休眠（建立锁），等到操作结束，再唤醒那些休眠的线程（解除锁）。

1
2
3
4
5
6
7
8

// Worker 线程
self.addEventListener('message', (event) => {
  const sharedArray = new Int32Array(event.data);
  const arrayIndex = 0;
  const expectedStoredValue = 50;
  Atomics.wait(sharedArray, arrayIndex, expectedStoredValue);
  console.log(Atomics.load(sharedArray, arrayIndex));
}, false);

上面代码中， Atomics.wait() 方法等同于告诉 Worker 线程，只要满足给定条件（ sharedArray 的 0 号位置等于 50 ），就在这一行 Worker 线程进入休眠。

主线程一旦更改了指定位置的值，就可以唤醒 Worker 线程。

1
2
3
4
5
6

// 主线程
const newArrayValue = 100;
Atomics.store(sharedArray, 0, newArrayValue);
const arrayIndex = 0;
const queuePos = 1;
Atomics.wake(sharedArray, arrayIndex, queuePos);

上面代码中， sharedArray 的 0 号位置改为 100 ，然后就执行 Atomics.wake() 方法，唤醒在 sharedArray 的 0 号位置休眠队列里的一个线程。

Atomics.wait() 方法的使用格式如下。

1

Atomics.wait(sharedArray, index, value, timeout)

它的四个参数含义如下。

Atomics.wait() 的返回值是一个字符串，共有三种可能的值。如果 sharedArray[index] 不等于 value ，就返回字符串 not-equal ，否则就进入休眠。如果 Atomics.wake() 方法唤醒，就返回字符串 ok ；如果因为超时唤醒，就返回字符串 timed-out 。

Atomics.wake() 方法的使用格式如下。

1

Atomics.wake(sharedArray, index, count)

它的三个参数含义如下。

Atomics.wake() 方法一旦唤醒休眠的 Worker 线程，就会让它继续往下运行。

请看一个例子。

1
2
3
4
5
6
7
8

// 主线程
console.log(ia[37]);  // 163
Atomics.store(ia, 37, 123456);
Atomics.wake(ia, 37, 1);

// Worker 线程
Atomics.wait(ia, 37, 163);
console.log(ia[37]);  // 123456

上面代码中，视图数组 ia 的第 37 号位置，原来的值是 163 。Worker 线程使用 Atomics.wait() 方法，指定只要 ia[37] 等于 163 ，就进入休眠状态。主线程使用 Atomics.store() 方法，将 123456 写入 ia[37] ，然后使用 Atomics.wake() 方法唤醒 Worker 线程。