ES6學習筆記（二十二）ArrayBuffer

ArrayBuffer

ArrayBuffer對象、TypedArray視圖和DataView視圖是 JavaScript 操做二進制數據的一個接口。它們都是以數組的語法處理二進制數據，因此統稱爲二進制數組。

二進制數組由三類對象組成。

（1）ArrayBuffer對象：

表明內存之中的一段二進制數據，能夠經過「視圖」進行操做。「視圖」部署了數組接口，這意味着，能夠用數組的方法操做內存。

（2）TypedArray視圖：

共包括 9 種類型的視圖，好比Uint8Array（無符號 8 位整數）數組視圖, Int16Array（16 位整數）數組視圖, Float32Array（32 位浮點數）數組視圖等等。

（3）DataView視圖：

能夠自定義複合格式的視圖，好比第一個字節是 Uint8（無符號 8 位整數）、第2、三個字節是 Int16（16 位整數）、第四個字節開始是 Float32（32 位浮點數）等等，此外還能夠自定義字節序。

簡單說，ArrayBuffer對象表明原始的二進制數據，TypedArray視圖用來讀寫簡單類型的二進制數據，DataView視圖用來讀寫複雜類型的二進制數據。

TypedArray視圖支持的數據類型一共有 9 種（DataView視圖支持除Uint8C之外的其餘 8 種）。

數據類型	字節長度	含義	對應的 C 語言類型
Int8	1	8 位帶符號整數	signed char
Uint8	1	8 位不帶符號整數	unsigned char
Uint8C	1	8 位不帶符號整數（自動過濾溢出）	unsigned char
Int16	2	16 位帶符號整數	short
Uint16	2	16 位不帶符號整數	unsigned short
Int32	4	32 位帶符號整數	int
Uint32	4	32 位不帶符號的整數	unsigned int
Float32	4	32 位浮點數	float
Float64	8	64 位浮點數	double

注意，二進制數組並非真正的數組，而是相似數組的對象。

不少瀏覽器操做的 API，用到了二進制數組操做二進制數據，下面是其中的幾個。

• File API
• XMLHttpRequest
• Fetch API
• Canvas
• WebSockets

1.ArrayBuffer 對象

概述

ArrayBuffer對象表明儲存二進制數據的一段內存，它不能直接讀寫，只能經過視圖（TypedArray視圖和DataView視圖)來讀寫，視圖的做用是以指定格式解讀二進制數據。

ArrayBuffer也是一個構造函數，能夠分配一段能夠存放數據的連續內存區域。

const buf = new ArrayBuffer(32);

上面代碼生成了一段 32 字節的內存區域，每一個字節的值默認都是 0。能夠看到，ArrayBuffer構造函數的參數是所須要的內存大小（單位字節）。

爲了讀寫這段內容，須要爲它指定視圖。DataView視圖的建立，須要提供ArrayBuffer對象實例做爲參數。

const buf = new ArrayBuffer(32);
const dataView = new DataView(buf);
dataView.getUint8(0) // 0, 參數表示讀取的起始位置

上面代碼對一段 32 字節的內存，創建DataView視圖，而後以不帶符號的 8 位整數格式，從頭讀取 8 位二進制數據，結果獲得 0，由於原始內存的ArrayBuffer對象，默認全部位都是 0。

另外一種TypedArray視圖，與DataView視圖的一個區別是，它不是一個構造函數，而是一組構造函數，表明不一樣的數據格式。

const buffer = new ArrayBuffer(12);

const x1 = new Int32Array(buffer);
x1[0] = 1;
const x2 = new Uint8Array(buffer);
x2[0] = 2;

console.log(x1[0]); //2

上面代碼對同一段內存，分別創建兩種視圖：32 位帶符號整數（Int32Array構造函數）和 8 位不帶符號整數（Uint8Array構造函數）。因爲兩個視圖對應的是同一段內存，一個視圖修改底層內存，會影響到另外一個視圖。

TypedArray視圖的構造函數，除了接受ArrayBuffer實例做爲參數，還能夠接受普通數組做爲參數，直接分配內存生成底層的ArrayBuffer實例，並同時完成對這段內存的賦值。

const typedArray = new Uint8Array([0,1,2]);
console.log(typedArray.length);//3

typedArray[0] = 5;
console.log(typedArray);//Uint8Array [ 5, 1, 2 ]

上面代碼使用TypedArray視圖的Uint8Array構造函數，新建一個不帶符號的 8 位整數視圖。能夠看到，Uint8Array直接使用普通數組做爲參數，對底層內存的賦值同時完成。

ArrayBuffer.prototype.byteLength 

ArrayBuffer實例的byteLength屬性，返回所分配的內存區域的字節長度。

const buff = new ArrayBuffer(32);
console.log(buff.byteLength);//32

若是要分配的內存區域很大，有可能分配失敗（由於沒有那麼多的連續空餘內存），因此有必要檢查是否分配成功。

if (buffer.byteLength === n) {
  // 成功
} else {
  // 失敗
}

ArrayBuffer.prototype.slice() 

ArrayBuffer實例有一個slice方法，容許將內存區域的一部分，拷貝生成一個新的ArrayBuffer對象。

const buff = new ArrayBuffer(32);
console.log(buff.byteLength);//32
const newBuffer = buff.slice(0, 3);

上面代碼拷貝buffer對象的前 3 個字節（從 0 開始，到第 3 個字節前面結束），生成一個新的ArrayBuffer對象。

slice方法其實包含兩步，第一步是先分配一段新內存，第二步是將原來那個ArrayBuffer對象拷貝過去。

slice方法接受兩個參數，第一個參數表示拷貝開始的字節序號（含該字節），第二個參數表示拷貝截止的字節序號（不含該字節）。若是省略第二個參數，則默認到原ArrayBuffer對象的結尾。

除了slice方法，ArrayBuffer對象不提供任何直接讀寫內存的方法，只容許在其上方創建視圖，而後經過視圖讀寫。

ArrayBuffer.isView()

ArrayBuffer有一個靜態方法isView，返回一個布爾值，表示參數是否爲ArrayBuffer的視圖實例。這個方法大體至關於判斷參數，是否爲TypedArray實例或DataView實例。

const buffer = new ArrayBuffer(8);
ArrayBuffer.isView(buffer) // false

const v = new Int32Array(buffer);
ArrayBuffer.isView(v) // true

2.TypedArray 視圖

概述

ArrayBuffer對象做爲內存區域，能夠存放多種類型的數據。同一段內存，不一樣數據有不一樣的解讀方式，這就叫作「視圖」（view）。

ArrayBuffer有兩種視圖，一種是TypedArray視圖，另外一種是DataView視圖。前者的數組成員都是同一個數據類型，後者的數組成員能夠是不一樣的數據類型。

目前，TypedArray視圖一共包括 9 種類型，每一種視圖都是一種構造函數。

• Int8Array：8 位有符號整數，長度 1 個字節。
• Uint8Array：8 位無符號整數，長度 1 個字節。
• Uint8ClampedArray：8 位無符號整數，長度 1 個字節，溢出處理不一樣。
• Int16Array：16 位有符號整數，長度 2 個字節。
• Uint16Array：16 位無符號整數，長度 2 個字節。
• Int32Array：32 位有符號整數，長度 4 個字節。
• Uint32Array：32 位無符號整數，長度 4 個字節。
• Float32Array：32 位浮點數，長度 4 個字節。
• Float64Array：64 位浮點數，長度 8 個字節。

這 9 個構造函數生成的數組，統稱爲TypedArray視圖。

它們很像普通數組，都有length屬性，都能用方括號運算符（[]）獲取單個元素，全部數組的方法，在它們上面都能使用。

普通數組與 TypedArray 數組的差別主要在如下方面。

• TypedArray 數組的全部成員，都是同一種類型。
• TypedArray 數組的成員是連續的，不會有空位。
• TypedArray 數組成員的默認值爲 0。好比，new Array(10)返回一個普通數組，裏面沒有任何成員，只是 10 個空位；new Uint8Array(10)返回一個 TypedArray 數組，裏面 10 個成員都是 0。
• TypedArray 數組只是一層視圖，自己不儲存數據，它的數據都儲存在底層的ArrayBuffer對象之中，要獲取底層對象必須使用buffer屬性。

前三條像Java的int類型數組，同種類型，連續無空位，默認爲0，第四條是說視圖是一種操做的封裝。

構造函數 

TypedArray 數組提供 9 種構造函數，用來生成相應類型的數組實例。

構造函數有多種用法。

（1）TypedArray(buffer, byteOffset=0, length?)

同一個ArrayBuffer對象之上，能夠根據不一樣的數據類型，創建多個視圖。

// 建立一個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。三個視圖表示對同一段內存數據的不一樣操做方式。

視圖的構造函數能夠接受三個參數：

• 第一個參數（必需）：視圖對應的底層ArrayBuffer對象。
• 第二個參數（可選）：視圖開始的字節序號，默認從 0 開始。
• 第三個參數（可選）：視圖包含的數據個數，默認直到本段內存區域結束。

所以，v1、v2和v3是重疊的：

v1[0]是一個 32 位整數，指向字節 0 ～字節 3（32位整數每一個成員佔4字節，8字節內存生成了2個成員）；

v2[0]是一個 8 位無符號整數（每一個成員佔1字節，8字節內存生成了8個成員，這裏即第2個成員），指向字節 2；

v3[0]是一個 16 位整數（每一個成員佔2字節，8字節內存生成4個成員，從第2個字節開始存2字節，這裏是第2個成員），指向字節 2 ～字節 3。

因此，只要任何一個視圖對內存有所修改，就會在另外兩個視圖上反應出來。

注意，byteOffset必須與所要創建的數據類型一致，不然會報錯。

const buffer = new ArrayBuffer(8);
const i16 = new Int16Array(buffer, 1);
// Uncaught RangeError: start offset of Int16Array should be a multiple of 2

上面代碼中，新生成一個 8 個字節的ArrayBuffer對象，而後在這個對象的第一個字節，創建帶符號的 16 位整數視圖，結果報錯。由於，帶符號的 16 位整數須要兩個字節，因此byteOffset參數必須可以被 2 整除。（也就是說TypedArray視圖數組操做的對象不能小於自己最小長度？）

若是想從任意字節開始解讀ArrayBuffer對象，必須使用DataView視圖，由於TypedArray視圖只提供 9 種固定的解讀格式。

（2）TypedArray(length)

 視圖還能夠不經過ArrayBuffer對象，直接分配內存而生成。

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

上面代碼生成一個 8 個成員的Float64Array數組（共 64 字節），而後依次對每一個成員賦值。這時，視圖構造函數的參數就是成員的個數。能夠看到，視圖數組的賦值操做與普通數組的操做毫無兩樣。

注意：ArrayBuffer構造函數的參數是所須要的內存大小（單位字節）。TypedArray構造函數的參數是指包含數組成員的個數（單位位，每一個成員8字節）。

（3）TypedArray(typedArray)

TypedArray 數組的構造函數，能夠接受另外一個TypedArray實例做爲參數。

const typedArray = new Int8Array(new Uint8Array(4)); //0，0，0，0

上面代碼中，Int8Array構造函數接受一個Uint8Array實例做爲參數。

注意，此時生成的新數組，只是複製了參數數組的值，對應的底層內存是不同的。新數組會開闢一段新的內存儲存數據，不會在原數組的內存之上創建視圖。

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

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

上面代碼中，數組y是以數組x爲模板而生成的，當x變更的時候，y並無變更。

若是想基於同一段內存，構造不一樣的視圖，能夠採用下面的寫法。

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

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

（4）TypedArray(arrayLikeObject)

 構造函數的參數也能夠是一個普通數組，而後直接生成TypedArray實例。

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

注意，這時TypedArray視圖會從新開闢內存，不會在原數組的內存上創建視圖。

上面代碼從一個普通的數組，生成一個 8 位無符號整數的TypedArray實例。該數組有4個成員，每個都是8位無符號整數。

 TypedArray 數組也能夠轉換回普通數組。

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

數組方法

 普通數組的操做方法和屬性，對 TypedArray 數組徹底適用。

• TypedArray.prototype.copyWithin(target, start[, end = this.length])
• TypedArray.prototype.entries()
• TypedArray.prototype.every(callbackfn, thisArg?)
• TypedArray.prototype.fill(value, start=0, end=this.length)
• TypedArray.prototype.filter(callbackfn, thisArg?)
• TypedArray.prototype.find(predicate, thisArg?)
• TypedArray.prototype.findIndex(predicate, thisArg?)
• TypedArray.prototype.forEach(callbackfn, thisArg?)
• TypedArray.prototype.indexOf(searchElement, fromIndex=0)
• TypedArray.prototype.join(separator)
• TypedArray.prototype.keys()
• TypedArray.prototype.lastIndexOf(searchElement, fromIndex?)
• TypedArray.prototype.map(callbackfn, thisArg?)
• TypedArray.prototype.reduce(callbackfn, initialValue?)
• TypedArray.prototype.reduceRight(callbackfn, initialValue?)
• TypedArray.prototype.reverse()
• TypedArray.prototype.slice(start=0, end=this.length)
• TypedArray.prototype.some(callbackfn, thisArg?)
• TypedArray.prototype.sort(comparefn)
• TypedArray.prototype.toLocaleString(reserved1?, reserved2?)
• TypedArray.prototype.toString()
• TypedArray.prototype.values()

 上面全部方法的用法，請參閱數組方法的介紹，這裏再也不重複了。

 注意，TypedArray 數組沒有concat方法。若是想要合併多個 TypedArray 數組，能夠用下面這個函數。

 1 function concatenate(resultConstructor, ...arrays) {
 2   let totalLength = 0;
 3   for (let arr of arrays) {
 4     totalLength += arr.length;
 5   }
 6   let result = new resultConstructor(totalLength);
 7   let offset = 0;
 8   for (let arr of arrays) {
 9     result.set(arr, offset);
10     offset += arr.length;
11   }
12   return result;
13 }
14 
15 concatenate(Uint8Array, Uint8Array.of(1, 2), Uint8Array.of(3, 4))
16 // Uint8Array [1, 2, 3, 4]

另外，TypedArray 數組與普通數組同樣，部署了 Iterator 接口，因此能夠被遍歷。

let ui8 = Uint8Array.of(0, 1, 2);
for (let byte of ui8) {
  console.log(byte);
}
// 0
// 1
// 2

字節序

 字節序指的是數值在內存中的表示方式。

const buffer = new ArrayBuffer(16);
const int32View = new Int32Array(buffer);

for (let i = 0; i < int32View.length; i++) {
  int32View[i] = i * 2;
}

上面代碼生成一個 16 字節的ArrayBuffer對象，而後在它的基礎上，創建了一個 32 位整數的視圖。因爲每一個 32 位整數佔據 4 個字節，因此一共能夠寫入 4 個整數，依次爲 0，2，4，6。

若是在這段數據上接着創建一個 16 位整數的視圖，則能夠讀出徹底不同的結果。

const int16View = new Int16Array(buffer);

for (let i = 0; i < int16View.length; i++) {
  console.log("Entry " + i + ": " + int16View[i]);
}
// Entry 0: 0
// Entry 1: 0
// Entry 2: 2
// Entry 3: 0
// Entry 4: 4
// Entry 5: 0
// Entry 6: 6
// Entry 7: 0

因爲每一個 16 位整數佔據 2 個字節，因此整個ArrayBuffer對象如今分紅 8 段。而後，因爲 x86 體系的計算機都採用小端字節序（little endian），相對重要的字節排在後面的內存地址，相對不重要字節排在前面的內存地址，因此就獲得了上面的結果。

 好比，一個佔據四個字節的 16 進制數0x12345678，決定其大小的最重要的字節是「12」，最不重要的是「78」。小端字節序將最不重要的字節排在前面，儲存順序就是78563412；大端字節序則徹底相反，將最重要的字節排在前面，儲存順序就是12345678。目前，全部我的電腦幾乎都是小端字節序，因此 TypedArray 數組內部也採用小端字節序讀寫數據，或者更準確的說，按照本機操做系統設定的字節序讀寫數據。

這並不意味大端字節序不重要，事實上，不少網絡設備和特定的操做系統採用的是大端字節序。這就帶來一個嚴重的問題：如果一段數據是大端字節序，TypedArray 數組將沒法正確解析，由於它只能處理小端字節序！爲了解決這個問題，JavaScript 引入DataView對象，能夠設定字節序，下文會詳細介紹。

下面是另外一個例子。

// 假定某段buffer包含以下字節 [0x02, 0x01, 0x03, 0x07]
const buffer = new ArrayBuffer(4);
const v1 = new Uint8Array(buffer);
v1[0] = 2;
v1[1] = 1;
v1[2] = 3;
v1[3] = 7;

const uInt16View = new Uint16Array(buffer);

// 計算機採用小端字節序
// 因此頭兩個字節等於258
if (uInt16View[0] === 258) {
  console.log('OK'); // "OK"
}

// 賦值運算
uInt16View[0] = 255;    // 字節變爲[0xFF, 0x00, 0x03, 0x07]
uInt16View[0] = 0xff05; // 字節變爲[0x05, 0xFF, 0x03, 0x07]
uInt16View[1] = 0x0210; // 字節變爲[0x05, 0xFF, 0x10, 0x02]

下面的函數能夠用來判斷，當前視圖是小端字節序，仍是大端字節序。

 1 const BIG_ENDIAN = Symbol('BIG_ENDIAN');
 2 const LITTLE_ENDIAN = Symbol('LITTLE_ENDIAN');
 3 
 4 function getPlatformEndianness() {
 5   let arr32 = Uint32Array.of(0x12345678);
 6   let arr8 = new Uint8Array(arr32.buffer);
 7   switch ((arr8[0]*0x1000000) + (arr8[1]*0x10000) + (arr8[2]*0x100) + (arr8[3])) {
 8     case 0x12345678:
 9       return BIG_ENDIAN;
10     case 0x78563412:
11       return LITTLE_ENDIAN;
12     default:
13       throw new Error('Unknown endianness');
14   }
15 }

總之，與普通數組相比，TypedArray 數組的最大優勢就是能夠直接操做內存，不須要數據類型轉換，因此速度快得多。

BYTES_PER_ELEMENT 屬性 

 每一種視圖的構造函數，都有一個BYTES_PER_ELEMENT屬性，表示這種數據類型佔據的字節數。

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。

ArrayBuffer 與字符串的互相轉換

 ArrayBuffer轉爲字符串，或者字符串轉爲ArrayBuffer，有一個前提，即字符串的編碼方法是肯定的。假定字符串採用 UTF-16 編碼（JavaScript 的內部編碼方式），能夠本身編寫轉換函數。

 1 // ArrayBuffer 轉爲字符串，參數爲 ArrayBuffer 對象
 2 function ab2str(buf) {
 3   // 注意，若是是大型二進制數組，爲了不溢出，
 4   // 必須一個一個字符地轉
 5   if (buf && buf.byteLength < 1024) {
 6     return String.fromCharCode.apply(null, new Uint16Array(buf));
 7   }
 8 
 9   const bufView = new Uint16Array(buf);
10   const len =  bufView.length;
11   const bstr = new Array(len);
12   for (let i = 0; i < len; i++) {
13     bstr[i] = String.fromCharCode.call(null, bufView[i]);
14   }
15   return bstr.join('');
16 }
17 
18 // 字符串轉爲 ArrayBuffer 對象，參數爲字符串
19 function str2ab(str) {
20   const buf = new ArrayBuffer(str.length * 2); // 每一個字符佔用2個字節
21   const bufView = new Uint16Array(buf);
22   for (let i = 0, strLen = str.length; i < strLen; i++) {
23     bufView[i] = str.charCodeAt(i);
24   }
25   return buf;
26 }

溢出 

不一樣的視圖類型，所能容納的數值範圍是肯定的。超出這個範圍，就會出現溢出。好比，8 位視圖只能容納一個 8 位的二進制值，若是放入一個 9 位的值，就會溢出。

TypedArray 數組的溢出處理規則，簡單來講，就是拋棄溢出的位，而後按照視圖類型進行解釋。

const uint8 = new Uint8Array(1);

uint8[0] = 256;
uint8[0] // 0

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

上面代碼中，uint8是一個 8 位視圖，而 256 的二進制形式是一個 9 位的值100000000，這時就會發生溢出。根據規則，只會保留後 8 位，即00000000。uint8視圖的解釋規則是無符號的 8 位整數，因此00000000就是0。

負數在計算機內部採用「2 的補碼」表示，也就是說，將對應的正數值進行否運算，而後加1。好比，-1對應的正值是1，進行否運算之後，獲得11111110，再加上1就是補碼形式11111111。uint8按照無符號的 8 位整數解釋11111111，返回結果就是255。

一個簡單轉換規則，能夠這樣表示。

• 正向溢出（overflow）：當輸入值大於當前數據類型的最大值，結果等於當前數據類型的最小值加上餘值，再減去 1。
• 負向溢出（underflow）：當輸入值小於當前數據類型的最小值，結果等於當前數據類型的最大值減去餘值的絕對值，再加上 1。

上面的「餘值」就是模運算的結果，即 JavaScript 裏面的%運算符的結果。

12 % 4 // 0
12 % 5 // 2

上面代碼中，12 除以 4 是沒有餘值的，而除以 5 會獲得餘值 2。

請看下面的例子。

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。

onst uint8c = new Uint8ClampedArray(1);

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

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

上面例子中，uint8C是一個Uint8ClampedArray視圖，正向溢出時都返回 255，負向溢出都返回 0。

TypedArray.prototype.buffer 

 TypedArray實例的buffer屬性，返回整段內存區域對應的ArrayBuffer對象。該屬性爲只讀屬性。

const a = new Float32Array(64);
const b = new Uint8Array(a.buffer);

上面代碼的a視圖對象和b視圖對象，對應同一個ArrayBuffer對象，即同一段內存。

TypedArray.prototype.byteLength，TypedArray.prototype.byteOffset 

 byteLength屬性返回 TypedArray 數組佔據的內存長度，單位爲字節。byteOffset屬性返回 TypedArray 數組從底層ArrayBuffer對象的哪一個字節開始。這兩個屬性都是隻讀屬性。

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

TypedArray.prototype.length

 length屬性表示 TypedArray 數組含有多少個成員。注意將byteLength屬性和length屬性區分，前者是字節長度，後者是成員長度。

const a = new Int16Array(8);

a.length // 8
a.byteLength // 16

TypedArray.prototype.set() 

TypedArray 數組的set方法用於複製數組（普通數組或 TypedArray 數組），也就是將一段內容徹底複製到另外一段內存。

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

b.set(a);

上面代碼複製a數組的內容到b數組，它是整段內存的複製，比一個個拷貝成員的那種複製快得多。

set方法還能夠接受第二個參數，表示從b對象的哪個成員開始複製a對象。

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

b.set(a, 2)

上面代碼的b數組比a數組多兩個成員，因此從b[2]開始複製。

TypedArray.prototype.subarray()

subarray方法是對於 TypedArray 數組的一部分，再創建一個新的視圖。

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。

TypedArray.prototype.slice() 

TypeArray 實例的slice方法，能夠返回一個指定位置的新的TypedArray實例。

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

上面代碼中，ui8是 8 位無符號整數數組視圖的一個實例。它的slice方法能夠從當前視圖之中，返回一個新的視圖實例。

slice方法的參數，表示原數組的具體位置，開始生成新數組。負值表示逆向的位置，即-1 爲倒數第一個位置，-2 表示倒數第二個位置，以此類推。

TypedArray.of()

TypedArray 數組的全部構造函數，都有一個靜態方法of，用於將參數轉爲一個TypedArray實例。

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

下面三種方法都會生成一樣一個 TypedArray 數組。

// 方法一
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;

TypedArray.from()

靜態方法from接受一個可遍歷的數據結構（好比數組）做爲參數，返回一個基於這個結構的TypedArray實例。

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

這個方法還能夠將一種TypedArray實例，轉爲另外一種。

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

from方法還能夠接受一個函數，做爲第二個參數，用來對每一個元素進行遍歷，功能相似map方法。

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 數組，拷貝到另外一段內存之中，處理以後再將結果轉成指定的數組格式。

3.複合視圖

 因爲視圖的構造函數能夠指定起始位置和長度，因此在同一段內存之中，能夠依次存放不一樣類型的數據，這叫作「複合視圖」。

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);

new  ArrayBuffer()構造函數分配一段指定字節的內存空間，new TypeArray()用來生成對應類型的數據實例存到內存空間中。

上面代碼將一個 24 字節長度的ArrayBuffer對象，分紅三個部分：

• 字節 0 到字節 3：1 個 32 位無符號整數
• 字節 4 到字節 19：16 個 8 位整數
• 字節 20 到字節 23：1 個 32 位浮點數

這種數據結構能夠用以下的 C 語言描述：

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

4.DataView 視圖

若是一段數據包括多種類型（好比服務器傳來的 HTTP 數據），這時除了創建ArrayBuffer對象的複合視圖之外，還能夠經過DataView視圖進行操做。

DataView視圖提供更多操做選項，並且支持設定字節序。

原本，在設計目的上，ArrayBuffer對象的各類TypedArray視圖，是用來向網卡、聲卡之類的本機設備傳送數據，因此使用本機的字節序就能夠了；

而DataView視圖的設計目的，是用來處理網絡設備傳來的數據，因此大端字節序或小端字節序是能夠自行設定的。

DataView視圖自己也是構造函數，接受一個ArrayBuffer對象做爲參數，生成視圖。

DataView(ArrayBuffer buffer [, 字節起始位置 [, 長度]]);

例子

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

DataView實例有如下屬性，含義與TypedArray實例的同名方法相同。

• DataView.prototype.buffer：返回對應的 ArrayBuffer 對象
• DataView.prototype.byteLength：返回佔據的內存字節長度
• DataView.prototype.byteOffset：返回當前視圖從對應的 ArrayBuffer 對象的哪一個字節開始

DataView 的讀取

DataView實例提供 8 個方法讀取內存。

• getInt8：讀取 1 個字節，返回一個 8 位整數。
• getUint8：讀取 1 個字節，返回一個無符號的 8 位整數。
• getInt16：讀取 2 個字節，返回一個 16 位整數。
• getUint16：讀取 2 個字節，返回一個無符號的 16 位整數。
• getInt32：讀取 4 個字節，返回一個 32 位整數。
• getUint32：讀取 4 個字節，返回一個無符號的 32 位整數。
• getFloat32：讀取 4 個字節，返回一個 32 位浮點數。
• getFloat64：讀取 8 個字節，返回一個 64 位浮點數。

這一系列get方法的參數都是一個字節序號（不能是負數，不然會報錯），表示從哪一個字節開始讀取。

// 從第一個字節開始讀取8位無符號整數
const v1 = dv.getUint8(0);

// 從第2個字節開始讀取16位有符號整數,佔2個字節
const v2 = dv.getInt16(1);

// 從第4個字節開始讀取16位有符號整數,2個字節
const v3 = dv.getInt16(3);

上面代碼讀取了ArrayBuffer對象的前 5 個字節，其中有一個 8 位整數和兩個十六位整數。

若是一次讀取兩個或兩個以上字節，就必須明確數據的存儲方式，究竟是小端字節序仍是大端字節序。

默認狀況下，DataView的get方法使用大端字節序解讀數據，若是須要使用小端字節序解讀，必須在get方法的第二個參數指定true。

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

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

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

DataView 的寫入

DataView 視圖提供 8 個方法寫入內存。

• setInt8：寫入 1 個字節的 8 位整數。
• setUint8：寫入 1 個字節的 8 位無符號整數。
• setInt16：寫入 2 個字節的 16 位整數。
• setUint16：寫入 2 個字節的 16 位無符號整數。
• setInt32：寫入 4 個字節的 32 位整數。
• setUint32：寫入 4 個字節的 32 位無符號整數。
• setFloat32：寫入 4 個字節的 32 位浮點數。
• setFloat64：寫入 8 個字節的 64 位浮點數。

這一系列set方法，接受兩個參數，

第一個參數是字節序號，表示從哪一個字節開始寫入，第二個參數爲寫入的數據。

對於那些寫入兩個或兩個以上字節的方法，須要指定第三個參數，false或者undefined表示使用大端字節序寫入，true表示使用小端字節序寫入。即默認大端字節序寫入。

// 在第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);

若是不肯定正在使用的計算機的字節序，能夠採用下面的判斷方式。

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

若是返回true，就是小端字節序；若是返回false，就是大端字節序。

5.二進制數組的應用

大量的 Web API 用到了ArrayBuffer對象和它的視圖對象。

AJAX

傳統上，服務器經過 AJAX 操做只能返回文本數據，即responseType屬性默認爲text。XMLHttpRequest第二版XHR2容許服務器返回二進制數據，這時分紅兩種狀況。若是明確知道返回的二進制數據類型，能夠把返回類型（responseType）設爲arraybuffer；若是不知道，就設爲blob。

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

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

xhr.send();

若是知道傳回來的是 32 位整數，能夠像下面這樣處理。

xhr.onreadystatechange = function () {
  if (req.readyState === 4 ) {
    const arrayResponse = xhr.response;
    const dataView = new DataView(arrayResponse);
    const ints = new Uint32Array(dataView.byteLength / 4);

    xhrDiv.style.backgroundColor = "#00FF00";
    xhrDiv.innerText = "Array is " + ints.length + "uints long";
  }
}

Canvas 

 網頁Canvas元素輸出的二進制像素數據，就是 TypedArray 數組。

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 值的時候，就必須這樣計算：

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

由於Uint8Array類型對於大於 255 的運算結果（好比0xFF+1），會自動變爲0x00，因此圖像處理必需要像上面這樣算。這樣作很麻煩，並且影響性能。若是將顏色值設爲Uint8ClampedArray類型，計算就簡化許多。

pixels[i] *= gamma;

Uint8ClampedArray類型確保將小於 0 的值設爲 0，將大於 255 的值設爲 255。注意，IE 10 不支持該類型。

WebSocket

WebSocket能夠經過ArrayBuffer，發送或接收二進制數據。

 1 let socket = new WebSocket('ws://127.0.0.1:8081');
 2 socket.binaryType = 'arraybuffer';
 3 
 4 // Wait until socket is open
 5 socket.addEventListener('open', function (event) {
 6   // Send binary data
 7   const typedArray = new Uint8Array(4);
 8   socket.send(typedArray.buffer);
 9 });
10 
11 // Receive binary data
12 socket.addEventListener('message', function (event) {
13   const arrayBuffer = event.data;
14   // ···
15 });

Fetch API

Fetch API 取回的數據，就是ArrayBuffer對象。

fetch(url)
.then(function(response){
  return response.arrayBuffer()
})
.then(function(arrayBuffer){
  // ...
});

File API

若是知道一個文件的二進制數據類型，也能夠將這個文件讀取爲ArrayBuffer對象。

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 文件的文件對象，首先讀取文件。

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 文件的文件對象，首先讀取文件。

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

而後，定義處理圖像的回調函數：先在二進制數據之上創建一個DataView視圖，再創建一個bitmap對象，用於存放處理後的數據，最後將圖像展現在Canvas元素之中。

function processimage(e) {
  const buffer = e.target.result;
  const datav = new DataView(buffer);
  const bitmap = {};
  // 具體的處理步驟
}

具體處理圖像數據時，先處理 bmp 的文件頭。具體每一個文件頭的格式和定義，請參閱有關資料。

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);

接着處理圖像元信息部分。

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);

最後處理圖像自己的像素信息。

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

至此，圖像文件的數據所有處理完成。下一步，能夠根據須要，進行圖像變形，或者轉換格式，或者展現在Canvas網頁元素之中。

6.SharedArrayBuffer

JavaScript 是單線程的，Web worker 引入了多線程：主線程用來與用戶互動，Worker 線程用來承擔計算任務。每一個線程的數據都是隔離的，經過postMessage()通訊。下面是一個例子。

// 主線程
const w = new Worker('myworker.js');

上面代碼中，主線程新建了一個 Worker 線程。該線程與主線程之間會有一個通訊渠道，主線程經過w.postMessage向 Worker 線程發消息，同時經過message事件監聽 Worker 線程的迴應。

// 主線程
w.postMessage('hi');
w.onmessage = function (ev) {
  console.log(ev.data);
}

上面代碼中，主線程先發一個消息hi，而後在監聽到 Worker 線程的迴應後，就將其打印出來。

Worker 線程也是經過監聽message事件，來獲取主線程發來的消息，並做出反應。

// Worker 線程
onmessage = function (ev) {
  console.log(ev.data);
  postMessage('ho');
}

線程之間的數據交換能夠是各類格式，不只僅是字符串，也能夠是二進制數據。這種交換採用的是複製機制，即一個進程將須要分享的數據複製一份，經過postMessage方法交給另外一個進程。若是數據量比較大，這種通訊的效率顯然比較低。很容易想到，這時能夠留出一塊內存區域，由主線程與 Worker 線程共享，兩方均可以讀寫，那麼就會大大提升效率，協做起來也會比較簡單（不像postMessage那麼麻煩）。

而後線程安全問題也就隨之而來。

ES2017 引入SharedArrayBuffer，容許 Worker 線程與主線程共享同一塊內存。SharedArrayBuffer的 API 與ArrayBuffer如出一轍，惟一的區別是後者沒法共享數據。

// 主線程

// 新建 1KB 共享內存
const sharedBuffer = new SharedArrayBuffer(1024);

// 主線程將共享內存的地址發送出去
w.postMessage(sharedBuffer);

// 在共享內存上創建視圖，供寫入數據
const sharedArray = new Int32Array(sharedBuffer);

上面代碼中，postMessage方法的參數是SharedArrayBuffer對象。

Worker 線程從事件的data屬性上面取到數據。

// Worker 線程
onmessage = function (ev) {
  // 主線程共享的數據，就是 1KB 的共享內存
  const sharedBuffer = ev.data;

  // 在共享內存上創建視圖，方便讀寫
  const sharedArray = new Int32Array(sharedBuffer);

  // ...
};

共享內存也能夠在 Worker 線程建立，發給主線程。

SharedArrayBuffer與ArrayBuffer同樣，自己是沒法讀寫的，必須在上面創建視圖，而後經過視圖讀寫。

// 分配 10 萬個 32 位整數佔據的內存空間
const sab = new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 100000);

// 創建 32 位整數視圖
const ia = new Int32Array(sab);  // ia.length == 100000

// 新建一個質數生成器
const primes = new PrimeGenerator();

// 將 10 萬個質數，寫入這段內存空間
for ( let i=0 ; i < ia.length ; i++ )
  ia[i] = primes.next();

// 向 Worker 線程發送這段共享內存
w.postMessage(ia);

Worker 線程收到數據後的處理以下。

// Worker 線程
let ia;
onmessage = function (ev) {
  ia = ev.data;
  console.log(ia.length); // 100000
  console.log(ia[37]); // 輸出 163，由於這是第38個質數
};

7.線程鎖實現對象Atomics 

多線程共享內存，最大的問題就是如何防止兩個線程同時修改某個地址，或者說，當一個線程修改共享內存之後，必須有一個機制讓其餘線程同步。SharedArrayBuffer API 提供Atomics對象，保證全部共享內存的操做都是「原子性」的，而且能夠在全部線程內同步。

什麼叫「原子性操做」呢？現代編程語言中，一條普通的命令被編譯器處理之後，會變成多條機器指令。若是是單線程運行，這是沒有問題的；多線程環境而且共享內存時，就會出問題，由於這一組機器指令的運行期間，可能會插入其餘線程的指令，從而致使運行結果出錯。請看下面的例子。

// 主線程
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。

下面是另外一個例子。

// 主線程
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方法就能作到這一點，編譯器不會爲了優化，而打亂機器指令的執行順序。

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

store方法接受三個參數：SharedBuffer 的視圖、位置索引和值，返回sharedArray[index]的值。

load方法只接受兩個參數：SharedBuffer 的視圖和位置索引，也是返回sharedArray[index]的值。

// 主線程 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操做以後。

下面是另外一個例子。

// 主線程
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()方法讀取數據。

// 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()返回被替換的值。

// 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()兩個方法用於等待通知。這兩個方法至關於鎖內存，即在一個線程進行操做時，讓其餘線程休眠（創建鎖），等到操做結束，再喚醒那些休眠的線程（解除鎖）。

// 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 線程。

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

它的四個參數含義以下。

• sharedArray：共享內存的視圖數組。
• index：視圖數據的位置（從0開始）。
• value：該位置的預期值。一旦實際值等於預期值，就進入休眠。
• timeout：整數，表示過了這個時間之後，就自動喚醒，單位毫秒。該參數可選，默認值是Infinity，即無限期的休眠，只有經過Atomics.wake()方法才能喚醒。

Atomics.wait()的返回值是一個字符串，共有三種可能的值。若是sharedArray[index]不等於value，就返回字符串not-equal，不然就進入休眠。若是Atomics.wake()方法喚醒，就返回字符串ok；若是由於超時喚醒，就返回字符串timed-out。

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

Atomics.wake(sharedArray, index, count)

它的三個參數含義以下。

• sharedArray：共享內存的視圖數組。
• index：視圖數據的位置（從0開始）。
• count：須要喚醒的 Worker 線程的數量，默認爲Infinity。

Atomics.wake()方法一旦喚醒休眠的 Worker 線程，就會讓它繼續往下運行。

請看一個例子。

// 主線程
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 線程。

另外，基於wait和wake這兩個方法的鎖內存實現，能夠看 Lars T Hansen 的 js-lock-and-condition 這個庫。

注意，瀏覽器的主線程不宜設置休眠，這會致使用戶失去響應。並且，主線程實際上會拒絕進入休眠。

（4）運算方法

共享內存上面的某些運算是不能被打斷的，即不能在運算過程當中，讓其餘線程改寫內存上面的值。Atomics 對象提供了一些運算方法，防止數據被改寫。

Atomics.add(sharedArray, index, value)

Atomics.add用於將value加到sharedArray[index]，返回sharedArray[index]舊的值。

Atomics.sub(sharedArray, index, value)

Atomics.sub用於將value從sharedArray[index]減去，返回sharedArray[index]舊的值。

Atomics.and(sharedArray, index, value)

Atomics.and用於將value與sharedArray[index]進行位運算and，放入sharedArray[index]，並返回舊的值。

Atomics.or(sharedArray, index, value)

Atomics.or用於將value與sharedArray[index]進行位運算or，放入sharedArray[index]，並返回舊的值。

Atomics.xor(sharedArray, index, value)

Atomic.xor用於將vaule與sharedArray[index]進行位運算xor，放入sharedArray[index]，並返回舊的值。

（5）其餘方法

Atomics對象還有如下方法。

• Atomics.compareExchange(sharedArray, index, oldval, newval)：若是sharedArray[index]等於oldval，就寫入newval，返回oldval。
• Atomics.isLockFree(size)：返回一個布爾值，表示Atomics對象是否能夠處理某個size的內存鎖定。若是返回false，應用程序就須要本身來實現鎖定。

Atomics.compareExchange的一個用途是，從 SharedArrayBuffer 讀取一個值，而後對該值進行某個操做，操做結束之後，檢查一下 SharedArrayBuffer 裏面原來那個值是否發生變化（即被其餘線程改寫過）。若是沒有改寫過，就將它寫回原來的位置，不然讀取新的值，再重頭進行一次操做。