25 構造化データ

25.1 ArrayBuffer オブジェクト

25.1.1 記法

本節、および 25.4、29 における以下の記述は、read-modify-write 変更関数 (modification function) の内部データ構造を用いる。

read-modify-write 変更関数とは、2 つのバイト値 List を引数に取り、バイト値の List を返す抽象クロージャとして表現される数学的関数である。これらの抽象クロージャは以下のすべての性質を満たす:

アルゴリズムの全ステップをアトミックに実行する。
個々のアルゴリズムステップは観測不可能である。

Note

read-modify-write 変更関数のアルゴリズムステップが純粋な数学的関数を成していることの検証を助けるため、次の編集上の慣例を推奨する:

直接または呼び出される抽象操作・抽象クロージャを経由して、そのパラメータと捕捉した値以外の言語値や仕様上の値へアクセスしない。
直接または遷移的に Completion Record を返す抽象操作や抽象クロージャを呼び出さない。
Completion Record を返さない。

25.1.2 固定長およびリサイズ可能 ArrayBuffer オブジェクト

固定長 ArrayBuffer とは、生成後にバイト長が変化しない ArrayBuffer である。

リサイズ可能 ArrayBuffer とは、ArrayBuffer.prototype.resize ( newLength ) の呼び出しによって生成後にバイト長を変更し得る ArrayBuffer である。

生成される ArrayBuffer オブジェクトの種類は、ArrayBuffer ( length [ , options ] ) に渡された引数に依存する。

25.1.3 ArrayBuffer オブジェクトに関する抽象操作

25.1.3.1 AllocateArrayBuffer ( `constructor`, `byteLength` [ , `maxByteLength` ] )

The abstract operation AllocateArrayBuffer takes arguments constructor (a constructor) and byteLength (a non-negative integer) and optional argument maxByteLength (a non-negative integer or empty) and returns either a normal completion containing an ArrayBuffer or a throw completion. ArrayBuffer を生成するために使用される。 It performs the following steps when called:

slots を « [[ArrayBufferData]], [[ArrayBufferByteLength]], [[ArrayBufferDetachKey]] » とする。
maxByteLength が存在し empty でないなら allocatingResizableBuffer を true、そうでなければ false とする。
allocatingResizableBuffer が true なら
1. byteLength > maxByteLength なら RangeError 例外を投げる。
2. ⁠[[ArrayBufferMaxByteLength]] を slots に追加する。
obj を ? OrdinaryCreateFromConstructor(constructor, "%ArrayBuffer.prototype%", slots) とする。
block を ? CreateByteDataBlock(byteLength) とする。
obj.[[ArrayBufferData]] に block を設定する。
obj.[[ArrayBufferByteLength]] に byteLength を設定する。
allocatingResizableBuffer が true なら
1. maxByteLength バイトから成る Data Block block を生成できない場合 RangeError 例外を投げる。
2. 注: リサイズ可能 ArrayBuffer はインプレース成長で実装可能となるよう設計されている。実装は例えば仮想メモリを事前確保できない場合に投げてもよい。
3. obj.[[ArrayBufferMaxByteLength]] に maxByteLength を設定する。
obj を返す。

25.1.3.2 ArrayBufferByteLength ( `arrayBuffer`, `order` )

The abstract operation ArrayBufferByteLength takes arguments arrayBuffer (an ArrayBuffer or SharedArrayBuffer) and order (seq-cst or unordered) and returns a non-negative integer. It performs the following steps when called:

IsSharedArrayBuffer(arrayBuffer) が true かつ arrayBuffer が [[ArrayBufferByteLengthData]] 内部スロットを持つなら
1. bufferByteLengthBlock を arrayBuffer.[[ArrayBufferByteLengthData]] とする。
2. rawLength を GetRawBytesFromSharedBlock(bufferByteLengthBlock, 0, biguint64, true, order) とする。
3. isLittleEndian を周囲のエージェントの Agent Record の [[LittleEndian]] フィールドの値とする。
4. ℝ(RawBytesToNumeric(biguint64, rawLength, isLittleEndian)) を返す。
アサート: IsDetachedBuffer(arrayBuffer) は false。
arrayBuffer.[[ArrayBufferByteLength]] を返す。

25.1.3.3 ArrayBufferCopyAndDetach ( `arrayBuffer`, `newLength`, `preserveResizability` )

The abstract operation ArrayBufferCopyAndDetach takes arguments arrayBuffer (an ECMAScript language value), newLength (an ECMAScript language value), and preserveResizability (preserve-resizability or fixed-length) and returns either a normal completion containing an ArrayBuffer or a throw completion. It performs the following steps when called:

? RequireInternalSlot(arrayBuffer, [[ArrayBufferData]]) を実行。
IsSharedArrayBuffer(arrayBuffer) が true なら TypeError 例外。
newLength が undefined なら
1. newByteLength を arrayBuffer.[[ArrayBufferByteLength]] とする。
そうでなければ
1. newByteLength を ? ToIndex(newLength) とする。
IsDetachedBuffer(arrayBuffer) が true なら TypeError 例外。
preserveResizability が preserve-resizability かつ IsFixedLengthArrayBuffer(arrayBuffer) が false なら
1. newMaxByteLength を arrayBuffer.[[ArrayBufferMaxByteLength]] とする。
そうでなければ
1. newMaxByteLength を empty とする。
arrayBuffer.[[ArrayBufferDetachKey]] が undefined でなければ TypeError 例外。
newBuffer を ? AllocateArrayBuffer(%ArrayBuffer%, newByteLength, newMaxByteLength) とする。
copyLength を min(newByteLength, arrayBuffer.[[ArrayBufferByteLength]]) とする。
fromBlock を arrayBuffer.[[ArrayBufferData]] とする。
toBlock を newBuffer.[[ArrayBufferData]] とする。
CopyDataBlockBytes(toBlock, 0, fromBlock, 0, copyLength) を実行。
注: 新しい Data Block の生成および旧 Data Block からのコピーは観測不可能。実装はゼロコピー移動や realloc として実装してよい。
! DetachArrayBuffer(arrayBuffer) を実行。
newBuffer を返す。

25.1.3.4 IsDetachedBuffer ( `arrayBuffer` )

The abstract operation IsDetachedBuffer takes argument arrayBuffer (an ArrayBuffer or a SharedArrayBuffer) and returns a Boolean. It performs the following steps when called:

arrayBuffer.[[ArrayBufferData]] が null なら true を返す。
false を返す。

25.1.3.5 DetachArrayBuffer ( `arrayBuffer` [ , `key` ] )

The abstract operation DetachArrayBuffer takes argument arrayBuffer (an ArrayBuffer) and optional argument key (anything) and returns either a normal completion containing unused or a throw completion. It performs the following steps when called:

アサート: IsSharedArrayBuffer(arrayBuffer) は false。
key が存在しなければ key を undefined に設定。
arrayBuffer.[[ArrayBufferDetachKey]] が key でなければ TypeError 例外。
arrayBuffer.[[ArrayBufferData]] を null に設定。
arrayBuffer.[[ArrayBufferByteLength]] を 0 に設定。
unused を返す。

Note

ArrayBuffer インスタンスをデタッチすることは、裏付けとして使用される Data Block をそのインスタンスから切り離し、バイト長を 0 に設定する。

25.1.3.6 CloneArrayBuffer ( `srcBuffer`, `srcByteOffset`, `srcLength` )

The abstract operation CloneArrayBuffer takes arguments srcBuffer (an ArrayBuffer or a SharedArrayBuffer), srcByteOffset (a non-negative integer), and srcLength (a non-negative integer) and returns either a normal completion containing an ArrayBuffer or a throw completion. srcByteOffset で開始し srcLength バイト継続する範囲の srcBuffer のデータをコピーした新しい ArrayBuffer を作成する。 It performs the following steps when called:

アサート: IsDetachedBuffer(srcBuffer) は false。
targetBuffer を ? AllocateArrayBuffer(%ArrayBuffer%, srcLength) とする。
srcBlock を srcBuffer.[[ArrayBufferData]] とする。
targetBlock を targetBuffer.[[ArrayBufferData]] とする。
CopyDataBlockBytes(targetBlock, 0, srcBlock, srcByteOffset, srcLength) を実行。
targetBuffer を返す。

25.1.3.7 GetArrayBufferMaxByteLengthOption ( `options` )

The abstract operation GetArrayBufferMaxByteLengthOption takes argument options (an ECMAScript language value) and returns either a normal completion containing either a non-negative integer or empty, or a throw completion. It performs the following steps when called:

options がオブジェクトでなければ empty を返す。
maxByteLength を ? Get(options, "maxByteLength") とする。
maxByteLength が undefined なら empty を返す。
? ToIndex(maxByteLength) を返す。

25.1.3.8 HostResizeArrayBuffer ( `buffer`, `newByteLength` )

The host-defined abstract operation HostResizeArrayBuffer takes arguments buffer (an ArrayBuffer) and newByteLength (a non-negative integer) and returns either a normal completion containing either handled or unhandled, or a throw completion. ホストが buffer の実装定義のリサイズを行う機会を提供する。ホストがリサイズを扱わない場合、既定動作のため unhandled を返してよい。

HostResizeArrayBuffer の実装は以下に従わなければならない:

抽象操作は buffer をデタッチしない。
抽象操作が handled で正常完了した場合、buffer.[[ArrayBufferByteLength]] は newByteLength である。

HostResizeArrayBuffer の既定実装は NormalCompletion(unhandled) を返すことである。

25.1.3.9 IsFixedLengthArrayBuffer ( `arrayBuffer` )

The abstract operation IsFixedLengthArrayBuffer takes argument arrayBuffer (an ArrayBuffer or a SharedArrayBuffer) and returns a Boolean. It performs the following steps when called:

arrayBuffer が [[ArrayBufferMaxByteLength]] 内部スロットを持つなら false を返す。
true を返す。

25.1.3.10 IsUnsignedElementType ( `type` )

The abstract operation IsUnsignedElementType takes argument type (a TypedArray element type) and returns a Boolean. 引数 type が符号なし TypedArray 要素型か検証する。 It performs the following steps when called:

type が uint8, uint8clamped, uint16, uint32, biguint64 のいずれかなら true を返す。
false を返す。

25.1.3.11 IsUnclampedIntegerElementType ( `type` )

The abstract operation IsUnclampedIntegerElementType takes argument type (a TypedArray element type) and returns a Boolean. 引数 type が uint8clamped を除く整数 TypedArray 要素型か検証する。 It performs the following steps when called:

type が int8, uint8, int16, uint16, int32, uint32 のいずれかなら true。
false を返す。

25.1.3.12 IsBigIntElementType ( `type` )

The abstract operation IsBigIntElementType takes argument type (a TypedArray element type) and returns a Boolean. 引数 type が BigInt TypedArray 要素型か検証する。 It performs the following steps when called:

type が biguint64 または bigint64 のいずれかなら true。
false を返す。

25.1.3.13 IsNoTearConfiguration ( `type`, `order` )

The abstract operation IsNoTearConfiguration takes arguments type (a TypedArray element type) and order (seq-cst, unordered, or init) and returns a Boolean. It performs the following steps when called:

IsUnclampedIntegerElementType(type) が true なら true を返す。
IsBigIntElementType(type) が true かつ order が init でも unordered でもないなら true を返す。
false を返す。

25.1.3.14 RawBytesToNumeric ( `type`, `rawBytes`, `isLittleEndian` )

The abstract operation RawBytesToNumeric takes arguments type (a TypedArray element type), rawBytes (a List of byte values), and isLittleEndian (a Boolean) and returns a Number or a BigInt. It performs the following steps when called:

elementSize を要素型 type について Table 73 に指定された要素サイズ値とする。
isLittleEndian が false なら rawBytes の要素順を反転する。
type が float16 なら
1. value を rawBytes のバイト要素を連結し IEEE 754-2019 binary16 値のリトルエンディアンビット列エンコーディングとして解釈したものとする。
2. value が NaN なら NaN を返す。
3. value に対応する Number 値を返す。
type が float32 なら
1. value を rawBytes のバイト要素を連結し IEEE 754-2019 binary32 値のリトルエンディアンビット列エンコーディングとして解釈したものとする。
2. value が NaN なら NaN。
3. 対応する Number 値を返す。
type が float64 なら
1. value を rawBytes のバイト要素を連結し IEEE 754-2019 binary64 値のリトルエンディアンビット列エンコーディングとして解釈したものとする。
2. value が NaN なら NaN。
3. 対応する Number 値を返す。
IsUnsignedElementType(type) が true なら
1. intValue を rawBytes のバイト要素を連結し符号なしリトルエンディアン 2 進数のビット列エンコーディングとして解釈したものとする。
そうでなければ
1. intValue を rawBytes のバイト要素を連結しビット長 elementSize × 8 のリトルエンディアン 2 の補数表現として解釈したものとする。
IsBigIntElementType(type) が true なら intValue に対応する BigInt 値を返す。
そうでなければ intValue に対応する Number 値を返す。

25.1.3.15 GetRawBytesFromSharedBlock ( `block`, `byteIndex`, `type`, `isTypedArray`, `order` )

The abstract operation GetRawBytesFromSharedBlock takes arguments block (a Shared Data Block), byteIndex (a non-negative integer), type (a TypedArray element type), isTypedArray (a Boolean), and order (seq-cst or unordered) and returns a List of byte values. It performs the following steps when called:

elementSize を要素型 type について Table 73 に指定された要素サイズ値とする。
execution を周囲のエージェントの Agent Record の [[CandidateExecution]] フィールドとする。
eventsRecord を execution.[[EventsRecords]] のうち [[AgentSignifier]] が AgentSignifier() である Agent Events Record とする。
isTypedArray が true かつ IsNoTearConfiguration(type, order) が true なら noTear = true、そうでなければ false。
rawValue を長さ elementSize の List で、その要素が非決定的に選ばれたバイト値とする。
注: 実装では rawValue は基盤ハードウェア上の非アトミックまたはアトミック read 命令の結果。非決定性は弱い一貫性ハードウェアの観測可能動作を記述するメモリモデル上の意味的規定。
readEvent を ReadSharedMemory { [[Order]]: order, [[NoTear]]: noTear, [[Block]]: block, [[ByteIndex]]: byteIndex, [[ElementSize]]: elementSize } とする。
readEvent を eventsRecord.[[EventList]] に追加。
Chosen Value Record { [[Event]]: readEvent, [[ChosenValue]]: rawValue } を execution.[[ChosenValues]] に追加。
rawValue を返す。

25.1.3.16 GetValueFromBuffer ( `arrayBuffer`, `byteIndex`, `type`, `isTypedArray`, `order` [ , `isLittleEndian` ] )

The abstract operation GetValueFromBuffer takes arguments arrayBuffer (an ArrayBuffer or SharedArrayBuffer), byteIndex (a non-negative integer), type (a TypedArray element type), isTypedArray (a Boolean), and order (seq-cst or unordered) and optional argument isLittleEndian (a Boolean) and returns a Number or a BigInt. It performs the following steps when called:

アサート: IsDetachedBuffer(arrayBuffer) は false。
アサート: arrayBuffer の byteIndex から type の値を表現するのに十分なバイトが存在する。
block を arrayBuffer.[[ArrayBufferData]] とする。
elementSize を要素型 type について Table 73 に指定された要素サイズ値とする。
IsSharedArrayBuffer(arrayBuffer) が true なら
1. アサート: block は Shared Data Block。
2. rawValue を GetRawBytesFromSharedBlock(block, byteIndex, type, isTypedArray, order) とする。
そうでなければ
1. rawValue を、byteIndex (含む) から byteIndex + elementSize (含まない) のインデックスにある block のバイトからなる List とする。
アサート: rawValue の要素数は elementSize。
isLittleEndian が存在しなければ、周囲のエージェントの Agent Record の [[LittleEndian]] フィールドの値を設定。
RawBytesToNumeric(type, rawValue, isLittleEndian) を返す。

25.1.3.17 NumericToRawBytes ( `type`, `value`, `isLittleEndian` )

The abstract operation NumericToRawBytes takes arguments type (a TypedArray element type), value (a Number or a BigInt), and isLittleEndian (a Boolean) and returns a List of byte values. It performs the following steps when called:

type が float16 なら
1. rawBytes を、value を roundTiesToEven モードで IEEE 754-2019 binary16 形式に変換した結果の 2 バイトを要素とする List とする。バイトはリトルエンディアン順。value が NaN の場合、rawBytes は実装が選ぶ任意の IEEE 754-2019 binary16 NaN エンコーディングとなり得る。実装は区別可能な各 NaN 値に常に同じエンコーディングを選択しなければならない。
Else if type が float32 なら
1. 同様に 4 バイト (binary32)。
Else if type が float64 なら
1. 同様に 8 バイト (binary64)。
Else
1. n を要素型 type について Table 73 に指定された要素サイズ値とする。
2. conversionOperation を Table 73 の変換操作列に type について示された抽象操作とする。
3. intValue を ℝ(! conversionOperation(value)) とする。
4. intValue ≥ 0 なら
  1. rawBytes を intValue の n バイト 2 進エンコーディング (リトルエンディアン) を要素とする List とする。
5. そうでなければ
  1. rawBytes を intValue の n バイト 2 の補数エンコーディング (リトルエンディアン) を要素とする List とする。
isLittleEndian が false なら rawBytes の順序を反転。
rawBytes を返す。

25.1.3.18 SetValueInBuffer ( `arrayBuffer`, `byteIndex`, `type`, `value`, `isTypedArray`, `order` [ , `isLittleEndian` ] )

The abstract operation SetValueInBuffer takes arguments arrayBuffer (an ArrayBuffer or SharedArrayBuffer), byteIndex (a non-negative integer), type (a TypedArray element type), value (a Number or a BigInt), isTypedArray (a Boolean), and order (seq-cst, unordered, or init) and optional argument isLittleEndian (a Boolean) and returns unused. It performs the following steps when called:

アサート: IsDetachedBuffer(arrayBuffer) は false。
アサート: byteIndex から始まり type の値を表す十分なバイトが存在する。
アサート: IsBigIntElementType(type) が true なら value は BigInt、そうでなければ Number。
block を arrayBuffer.[[ArrayBufferData]] とする。
elementSize を要素型 type について Table 73 に指定された要素サイズ値。
isLittleEndian が存在しなければ周囲のエージェントの Agent Record の [[LittleEndian]] フィールド値を設定。
rawBytes を NumericToRawBytes(type, value, isLittleEndian) とする。
IsSharedArrayBuffer(arrayBuffer) が true なら
1. execution を周囲のエージェントの Agent Record の [[CandidateExecution]] フィールド。
2. eventsRecord を execution.[[EventsRecords]] 内で [[AgentSignifier]] が AgentSignifier() の Agent Events Record。
3. isTypedArray が true かつ IsNoTearConfiguration(type, order) が true なら noTear = true、そうでなければ false。
4. WriteSharedMemory { [[Order]]: order, [[NoTear]]: noTear, [[Block]]: block, [[ByteIndex]]: byteIndex, [[ElementSize]]: elementSize, [[Payload]]: rawBytes } を eventsRecord.[[EventList]] に追加。
そうでなければ
1. rawBytes の各バイトを block[byteIndex] から順に格納。
unused を返す。

25.1.3.19 GetModifySetValueInBuffer ( `arrayBuffer`, `byteIndex`, `type`, `value`, `op` )

The abstract operation GetModifySetValueInBuffer takes arguments arrayBuffer (an ArrayBuffer or a SharedArrayBuffer), byteIndex (a non-negative integer), type (a TypedArray element type), value (a Number or a BigInt), and op (a read-modify-write modification function) and returns a Number or a BigInt. It performs the following steps when called:

アサート: IsDetachedBuffer(arrayBuffer) は false。
アサート: byteIndex から type の値を表す十分なバイトが存在する。
アサート: IsBigIntElementType(type) が true なら value は BigInt、そうでなければ Number。
block を arrayBuffer.[[ArrayBufferData]] とする。
elementSize を要素型 type について Table 73 に指定された要素サイズ値。
isLittleEndian を周囲のエージェントの Agent Record の [[LittleEndian]] フィールド値とする。
rawBytes を NumericToRawBytes(type, value, isLittleEndian) とする。
IsSharedArrayBuffer(arrayBuffer) が true なら
1. execution を周囲のエージェントの Agent Record の [[CandidateExecution]]。
2. eventsRecord を execution.[[EventsRecords]] 内で [[AgentSignifier]] が AgentSignifier() の Agent Events Record。
3. rawBytesRead を長さ elementSize の List（非決定的に選ばれたバイト値）。
4. 注: rawBytesRead は基盤ハードウェア上の read-modify-write 命令、load-link、load-exclusive などのオペランド結果。非決定性は弱い一貫性ハードウェアの観測可能動作を記述。
5. rmwEvent を ReadModifyWriteSharedMemory { [[Order]]: seq-cst, [[NoTear]]: true, [[Block]]: block, [[ByteIndex]]: byteIndex, [[ElementSize]]: elementSize, [[Payload]]: rawBytes, [[ModifyOp]]: op } とする。
6. rmwEvent を eventsRecord.[[EventList]] に追加。
7. Chosen Value Record { [[Event]]: rmwEvent, [[ChosenValue]]: rawBytesRead } を execution.[[ChosenValues]] に追加。
そうでなければ
1. rawBytesRead を長さ elementSize の List で、block[byteIndex] からの elementSize バイト列。
2. rawBytesModified を op(rawBytesRead, rawBytes) とする。
3. rawBytesModified の各バイトを block[byteIndex] から格納。
RawBytesToNumeric(type, rawBytesRead, isLittleEndian) を返す。

25.1.4 ArrayBuffer コンストラクター

ArrayBuffer コンストラクター:

%ArrayBuffer% である。
グローバルオブジェクトの "ArrayBuffer" プロパティの初期値である。
コンストラクターとして呼び出された際、新しい ArrayBuffer を生成し初期化する。
関数として呼び出すことは意図されておらず、その形で呼び出されると例外を投げる。
クラス定義の extends 句の値として使用できる。指定された ArrayBuffer の挙動を継承するサブクラスコンストラクターは、ArrayBuffer.prototype 組込みメソッドをサポートするために必要な内部状態でサブクラスインスタンスを生成・初期化するため、ArrayBuffer コンストラクターへの super 呼び出しを含める必要がある。

25.1.4.1 ArrayBuffer ( `length` [ , `options` ] )

この関数は呼び出し時に次を行う:

NewTarget が undefined なら TypeError 例外。
byteLength を ? ToIndex(length) とする。
requestedMaxByteLength を ? GetArrayBufferMaxByteLengthOption(options) とする。
? AllocateArrayBuffer(NewTarget, byteLength, requestedMaxByteLength) を返す。

25.1.5 ArrayBuffer コンストラクターのプロパティ

ArrayBuffer コンストラクター:

[[Prototype]] 内部スロットの値が %Function.prototype% である。
以下のプロパティを持つ:

25.1.5.1 ArrayBuffer.isView ( `arg` )

この関数は呼び出し時に次を行う:

arg がオブジェクトでなければ false を返す。
arg が [[ViewedArrayBuffer]] 内部スロットを持てば true を返す。
false を返す。

25.1.5.2 ArrayBuffer.prototype

ArrayBuffer.prototype の初期値は ArrayBuffer プロトタイプオブジェクトである。

このプロパティは { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false } の属性を持つ。

25.1.5.3 get ArrayBuffer [ %Symbol.species% ]

ArrayBuffer[%Symbol.species%] は set アクセサが undefined のアクセサプロパティであり、その get アクセサは呼び出し時に次を行う:

this 値を返す。

この関数の "name" プロパティ値は "get [Symbol.species]" である。

Note

ArrayBuffer.prototype.slice ( start, end ) は通常、派生オブジェクトを生成するために this 値のコンストラクターを用いる。しかしサブクラスコンストラクターは %Symbol.species% プロパティを再定義することで ArrayBuffer.prototype.slice ( start, end ) メソッドの既定挙動を上書きできる。

25.1.6 ArrayBuffer プロトタイプオブジェクトのプロパティ

ArrayBuffer プロトタイプオブジェクト:

%ArrayBuffer.prototype% である。
[[Prototype]] 内部スロットの値が %Object.prototype% である。
通常のオブジェクトである。
[[ArrayBufferData]] および [[ArrayBufferByteLength]] 内部スロットを持たない。

25.1.6.1 get ArrayBuffer.prototype.byteLength

ArrayBuffer.prototype.byteLength は set アクセサが undefined のアクセサプロパティであり、その get アクセサは呼び出し時に次を行う:

O を this 値とする。
? RequireInternalSlot(O, [[ArrayBufferData]]) を実行。
IsSharedArrayBuffer(O) が true なら TypeError 例外。
IsDetachedBuffer(O) が true なら +0_𝔽 を返す。
length を O.[[ArrayBufferByteLength]] とする。
𝔽(length) を返す。

25.1.6.2 ArrayBuffer.prototype.constructor

ArrayBuffer.prototype.constructor の初期値は %ArrayBuffer% である。

25.1.6.3 get ArrayBuffer.prototype.detached

ArrayBuffer.prototype.detached は set アクセサが undefined のアクセサプロパティであり、その get アクセサは呼び出し時に次を行う:

O を this 値。
? RequireInternalSlot(O, [[ArrayBufferData]])。
IsSharedArrayBuffer(O) が true なら TypeError 例外。
IsDetachedBuffer(O) を返す。

25.1.6.4 get ArrayBuffer.prototype.maxByteLength

ArrayBuffer.prototype.maxByteLength は set アクセサが undefined のアクセサプロパティであり、その get アクセサは呼び出し時に次を行う:

O を this 値。
? RequireInternalSlot(O, [[ArrayBufferData]])。
IsSharedArrayBuffer(O) が true なら TypeError 例外。
IsDetachedBuffer(O) が true なら +0_𝔽 を返す。
IsFixedLengthArrayBuffer(O) が true なら
1. length を O.[[ArrayBufferByteLength]] とする。
そうでなければ
1. length を O.[[ArrayBufferMaxByteLength]] とする。
𝔽(length) を返す。

25.1.6.5 get ArrayBuffer.prototype.resizable

ArrayBuffer.prototype.resizable は set アクセサが undefined のアクセサプロパティであり、その get アクセサは呼び出し時に次を行う:

O を this 値。
? RequireInternalSlot(O, [[ArrayBufferData]])。
IsSharedArrayBuffer(O) が true なら TypeError 例外。
IsFixedLengthArrayBuffer(O) が false なら true を返し、そうでなければ false を返す。

25.1.6.6 ArrayBuffer.prototype.resize ( `newLength` )

このメソッドは呼び出し時に次を行う:

O を this 値。
? RequireInternalSlot(O, [[ArrayBufferMaxByteLength]])。
IsSharedArrayBuffer(O) が true なら TypeError 例外。
newByteLength を ? ToIndex(newLength) とする。
IsDetachedBuffer(O) が true なら TypeError 例外。
newByteLength > O.[[ArrayBufferMaxByteLength]] なら RangeError 例外。
hostHandled を ? HostResizeArrayBuffer(O, newByteLength) とする。
hostHandled が handled なら undefined を返す。
oldBlock を O.[[ArrayBufferData]] とする。
newBlock を ? CreateByteDataBlock(newByteLength) とする。
copyLength を min(newByteLength, O.[[ArrayBufferByteLength]]) とする。
CopyDataBlockBytes(newBlock, 0, oldBlock, 0, copyLength) を実行。
注: 新旧 Data Block の生成・コピーは観測不可能。実装はインプレース成長・縮小として実装してもよい。
O.[[ArrayBufferData]] を newBlock に設定。
O.[[ArrayBufferByteLength]] を newByteLength に設定。
undefined を返す。

25.1.6.7 ArrayBuffer.prototype.slice ( `start`, `end` )

このメソッドは呼び出し時に次を行う:

O を this 値。
? RequireInternalSlot(O, [[ArrayBufferData]])。
IsSharedArrayBuffer(O) が true なら TypeError 例外。
IsDetachedBuffer(O) が true なら TypeError 例外。
len を O.[[ArrayBufferByteLength]] とする。
relativeStart を ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞ なら first = 0。
Else if relativeStart < 0 なら first = max(len + relativeStart, 0)。
Else first = min(relativeStart, len)。
end が undefined なら relativeEnd = len、そうでなければ ? ToIntegerOrInfinity(end)。
relativeEnd = -∞ なら final = 0。
Else if relativeEnd < 0 なら final = max(len + relativeEnd, 0)。
Else final = min(relativeEnd, len)。
newLen を max(final - first, 0) とする。
ctor を ? SpeciesConstructor(O, %ArrayBuffer%) とする。
new を ? Construct(ctor, « 𝔽(newLen) ») とする。
? RequireInternalSlot(new, [[ArrayBufferData]])。
IsSharedArrayBuffer(new) が true なら TypeError。
IsDetachedBuffer(new) が true なら TypeError。
SameValue(new, O) が true なら TypeError。
new.[[ArrayBufferByteLength]] < newLen なら TypeError。
注: 以上の副作用で O がデタッチまたはリサイズされた可能性。
IsDetachedBuffer(O) が true なら TypeError。
fromBuf を O.[[ArrayBufferData]]。
toBuf を new.[[ArrayBufferData]]。
currentLen を O.[[ArrayBufferByteLength]]。
first < currentLen なら
1. count を min(newLen, currentLen - first)。
2. CopyDataBlockBytes(toBuf, 0, fromBuf, first, count) を実行。
new を返す。

25.1.6.8 ArrayBuffer.prototype.transfer ( [ `newLength` ] )

このメソッドは呼び出し時に次を行う:

O を this 値。
? ArrayBufferCopyAndDetach(O, newLength, preserve-resizability) を返す。

25.1.6.9 ArrayBuffer.prototype.transferToFixedLength ( [ `newLength` ] )

このメソッドは呼び出し時に次を行う:

O を this 値。
? ArrayBufferCopyAndDetach(O, newLength, fixed-length) を返す。

25.1.6.10 ArrayBuffer.prototype [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は文字列 "ArrayBuffer" である。

このプロパティは { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } の属性を持つ。

25.1.7 ArrayBuffer インスタンスのプロパティ

ArrayBuffer インスタンスは ArrayBuffer プロトタイプオブジェクトからプロパティを継承する。各 ArrayBuffer インスタンスは [[ArrayBufferData]] 内部スロット、[[ArrayBufferByteLength]] 内部スロット、[[ArrayBufferDetachKey]] 内部スロットを持つ。リサイズ可能な ArrayBuffer インスタンスはさらに [[ArrayBufferMaxByteLength]] 内部スロットを持つ。

[[ArrayBufferData]] が null の ArrayBuffer インスタンスはデタッチされていると見なされ、当該インスタンスに含まれるデータへアクセスまたは変更を試みる演算子はすべて失敗する。

[[ArrayBufferDetachKey]] が undefined 以外に設定されている ArrayBuffer インスタンスでは、その同じ「デタッチキー」を引数として渡す DetachArrayBuffer 呼び出しのみが必要であり、そうでなければ TypeError になる。この内部スロットは特定の埋め込み環境によってのみ設定され、本仕様のアルゴリズムでは設定されない。

25.1.8 リサイズ可能 ArrayBuffer ガイドライン

Note 1

以下はリサイズ可能 ArrayBuffer を扱う ECMAScript プログラマー向けガイドラインである。

可能であれば展開環境でプログラムをテストすることを推奨する。利用可能な物理メモリ量はハードウェアデバイス間で大きく異なる。同様に仮想メモリサブシステムもデバイスや OS により大きく異なる。64 ビットデスクトップ Web ブラウザでメモリ不足を起こさないアプリケーションが 32 ビットモバイル Web ブラウザではメモリ不足になる可能性がある。

リサイズ可能 ArrayBuffer の "maxByteLength" オプション値を選ぶ際、アプリケーションにとって可能な限り小さいサイズを選ぶことを推奨する。"maxByteLength" は 1,073,741,824 (2³⁰ バイト, 1GiB) を超えないことを推奨する。

特定の最大サイズでリサイズ可能 ArrayBuffer を生成できても、将来のリサイズが成功する保証はない点に留意されたい。

Note 2

以下はリサイズ可能 ArrayBuffer を実装する ECMAScript 実装者向けガイドラインである。

リサイズ可能 ArrayBuffer は、リサイズ時コピー、仮想メモリを事前確保したインプレース成長、またはコンストラクターの "maxByteLength" オプション値に応じた両者の組み合わせとして実装できる。

ホストが (多数の ECMAScript アプリケーションを同時に実行する) マルチテナントであり、インプレース成長を仮想メモリ予約で実装する場合、32 ビット/64 ビット実装ともに "maxByteLength" ≥ 1GiB〜1.5GiB の値に対して例外を投げることを推奨する。これは単一アプリケーションによる仮想アドレス空間の枯渇可能性と相互運用性リスクを低減するためである。

ホストに仮想メモリが無い (MMU 無し組込みデバイスなど) 場合、またはコピーによるリサイズのみを実装する場合、"maxByteLength" オプションに任意の Number value for を受け入れてもよい。ただし要求サイズのメモリブロックを決して割り当てられない場合は RangeError を投げることを推奨する。例えば要求サイズがデバイスで利用可能な最大メモリ量を超える場合など。

25.2 SharedArrayBuffer オブジェクト

25.2.1 固定長および成長可能 (growable) SharedArrayBuffer オブジェクト

固定長 SharedArrayBuffer とは、生成後にそのバイト長が変更できない SharedArrayBuffer である。

成長可能 SharedArrayBuffer とは、SharedArrayBuffer.prototype.grow ( newLength ) の呼び出しによって生成後にバイト長を増やすことができる SharedArrayBuffer である。

生成される SharedArrayBuffer オブジェクトの種別は、SharedArrayBuffer ( length [ , options ] ) に渡された引数に依存する。

25.2.2 SharedArrayBuffer オブジェクト用抽象操作

25.2.2.1 AllocateSharedArrayBuffer ( `constructor`, `byteLength` [ , `maxByteLength` ] )

The abstract operation AllocateSharedArrayBuffer takes arguments constructor (a constructor) and byteLength (a non-negative integer) and optional argument maxByteLength (a non-negative integer or empty) and returns either a normal completion containing a SharedArrayBuffer or a throw completion. SharedArrayBuffer を生成するために用いられる。 It performs the following steps when called:

slots を « [[ArrayBufferData]] » とする。
maxByteLength が存在しかつ empty でないなら allocatingGrowableBuffer = true、そうでなければ false とする。
allocatingGrowableBuffer が true なら
1. byteLength > maxByteLength なら RangeError 例外を投げる。
2. ⁠[[ArrayBufferByteLengthData]] と [[ArrayBufferMaxByteLength]] を slots に追加する。
そうでなければ
1. ⁠[[ArrayBufferByteLength]] を slots に追加する。
obj を ? OrdinaryCreateFromConstructor(constructor, "%SharedArrayBuffer.prototype%", slots) とする。
allocatingGrowableBuffer が true なら allocLength = maxByteLength、そうでなければ allocLength = byteLength。
block を ? CreateSharedByteDataBlock(allocLength) とする。
obj.[[ArrayBufferData]] に block を設定する。
allocatingGrowableBuffer が true なら
1. アサート: byteLength ≤ maxByteLength。
2. byteLengthBlock を ? CreateSharedByteDataBlock(8) とする。
3. SetValueInBuffer(byteLengthBlock, 0, biguint64, ℤ(byteLength), true, seq-cst) を実行。
4. obj.[[ArrayBufferByteLengthData]] に byteLengthBlock を設定。
5. obj.[[ArrayBufferMaxByteLength]] に maxByteLength を設定。
そうでなければ
1. obj.[[ArrayBufferByteLength]] に byteLength を設定。
obj を返す。

25.2.2.2 IsSharedArrayBuffer ( `obj` )

The abstract operation IsSharedArrayBuffer takes argument obj (an ArrayBuffer or a SharedArrayBuffer) and returns a Boolean. オブジェクトが ArrayBuffer / SharedArrayBuffer あるいはそのサブタイプかどうかを判定する。 It performs the following steps when called:

bufferData を obj.[[ArrayBufferData]] とする。
bufferData が null なら false を返す。
bufferData が Data Block なら false を返す。
アサート: bufferData は Shared Data Block である。
true を返す。

25.2.2.3 HostGrowSharedArrayBuffer ( `buffer`, `newByteLength` )

The host-defined abstract operation HostGrowSharedArrayBuffer takes arguments buffer (a SharedArrayBuffer) and newByteLength (a non-negative integer) and returns either a normal completion containing either handled or unhandled, or a throw completion. ホストに buffer の実装定義の成長処理を行う機会を与える。ホストが処理しない場合は既定動作として unhandled を返してよい。

HostGrowSharedArrayBuffer の実装は以下の要件に従わなければならない:

抽象操作が unhandled で正常完了しない（= それ以外で正常完了する）場合で、newByteLength が buffer の現在のバイト長より小さい、または newByteLength > buffer.[[ArrayBufferMaxByteLength]] のいずれかなら RangeError 例外を投げる。
isLittleEndian を周囲のエージェントの Agent Record の [[LittleEndian]] フィールド値とする。抽象操作が handled で正常完了した場合、[[Order]] が seq-cst、[[Payload]] が NumericToRawBytes(biguint64, newByteLength, isLittleEndian)、[[Block]] が buffer.[[ArrayBufferByteLengthData]]、[[ByteIndex]] が 0、[[ElementSize]] が 8 の WriteSharedMemory または ReadModifyWriteSharedMemory イベントを周囲のエージェントの候補実行 (candidate execution) に追加し、SharedArrayBuffer.prototype.grow への競合する呼び出しが「失われない」（沈黙して何もしないことがない）ようにする。

Note

上記 2 つ目の要件は、buffer の現在バイト長をどのよう/いつ読み取るかについて意図的に曖昧にしている。基盤ハードウェア上でバイト長をアトミック read-modify-write で更新する必要があるため、load-link/store-conditional や load-exclusive/store-exclusive 命令対を用いるアーキテクチャでは命令ペアを命令ストリーム内で近接させたい場合がある。そのため SharedArrayBuffer.prototype.grow 自体は HostGrowSharedArrayBuffer を呼ぶ前に newByteLength の境界チェックを行わず、また現在のバイト長をいつ読むかを規定しない。

これは HostResizeArrayBuffer と対照的であり、後者では newByteLength が 0 以上かつ buffer.[[ArrayBufferMaxByteLength]] 以下であることが保証される。

HostGrowSharedArrayBuffer の既定実装は NormalCompletion(unhandled) を返す。

25.2.3 SharedArrayBuffer コンストラクター

SharedArrayBuffer コンストラクター:

%SharedArrayBuffer% である。
（ホストがそれを提供する場合）グローバルオブジェクトの "SharedArrayBuffer" プロパティの初期値である。
コンストラクターとして呼ばれたとき新しい SharedArrayBuffer を生成し初期化する。
関数として呼び出すことは意図されておらず、その形で呼び出されると例外を投げる。
クラス定義の extends 句の値として使用できる。指定された SharedArrayBuffer の挙動を継承するサブクラスコンストラクターは SharedArrayBuffer.prototype の組込みメソッドを支える内部状態でサブクラスインスタンスを生成・初期化するため super 呼び出しを含めねばならない。

ホストが SharedArrayBuffer への並行アクセスを提供しない場合、グローバルオブジェクトの "SharedArrayBuffer" プロパティを省略してよい。

Note

ArrayBuffer と異なり、SharedArrayBuffer はデタッチされず、その内部 [[ArrayBufferData]] スロットが null になることはない。

25.2.3.1 SharedArrayBuffer ( `length` [ , `options` ] )

この関数は呼び出し時に次を行う:

NewTarget が undefined なら TypeError 例外。
byteLength を ? ToIndex(length) とする。
requestedMaxByteLength を ? GetArrayBufferMaxByteLengthOption(options) とする。
? AllocateSharedArrayBuffer(NewTarget, byteLength, requestedMaxByteLength) を返す。

25.2.4 SharedArrayBuffer コンストラクターのプロパティ

SharedArrayBuffer コンストラクター:

[[Prototype]] 内部スロット値が %Function.prototype% である。
以下のプロパティを持つ:

25.2.4.1 SharedArrayBuffer.prototype

SharedArrayBuffer.prototype の初期値は SharedArrayBuffer プロトタイプオブジェクトである。

このプロパティは { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false } を持つ。

25.2.4.2 get SharedArrayBuffer [ %Symbol.species% ]

SharedArrayBuffer[%Symbol.species%] は set アクセサが undefined のアクセサプロパティであり、その get アクセサの挙動は次の通り:

this 値を返す。

この関数の "name" プロパティ値は "get [Symbol.species]" である。

25.2.5 SharedArrayBuffer プロトタイプオブジェクトのプロパティ

SharedArrayBuffer プロトタイプオブジェクト:

%SharedArrayBuffer.prototype% である。
[[Prototype]] 内部スロット値は %Object.prototype% である。
通常のオブジェクトである。
[[ArrayBufferData]] や [[ArrayBufferByteLength]] 内部スロットを持たない。

25.2.5.1 get SharedArrayBuffer.prototype.byteLength

SharedArrayBuffer.prototype.byteLength は set アクセサが undefined のアクセサプロパティであり、その get アクセサは呼び出し時に以下を行う:

O を this 値とする。
? RequireInternalSlot(O, [[ArrayBufferData]])。
IsSharedArrayBuffer(O) が false なら TypeError 例外。
length を ArrayBufferByteLength(O, seq-cst) とする。
𝔽(length) を返す。

25.2.5.2 SharedArrayBuffer.prototype.constructor

SharedArrayBuffer.prototype.constructor の初期値は %SharedArrayBuffer% である。

25.2.5.3 SharedArrayBuffer.prototype.grow ( `newLength` )

このメソッドは呼び出し時に以下を行う:

O を this 値とする。
? RequireInternalSlot(O, [[ArrayBufferMaxByteLength]])。
IsSharedArrayBuffer(O) が false なら TypeError 例外。
newByteLength を ? ToIndex(newLength) とする。
hostHandled を ? HostGrowSharedArrayBuffer(O, newByteLength) とする。
hostHandled が handled なら undefined を返す。
isLittleEndian を周囲のエージェントの Agent Record の [[LittleEndian]] フィールド値とする。
byteLengthBlock を O.[[ArrayBufferByteLengthData]] とする。
currentByteLengthRawBytes を GetRawBytesFromSharedBlock(byteLengthBlock, 0, biguint64, true, seq-cst) とする。
newByteLengthRawBytes を NumericToRawBytes(biguint64, ℤ(newByteLength), isLittleEndian) とする。
繰り返し、
1. 注: 競合する grow を全順序化し、失われたり沈黙して無視されたりしないようにするための compare-and-exchange ループ。
2. currentByteLength を ℝ(RawBytesToNumeric(biguint64, currentByteLengthRawBytes, isLittleEndian)) とする。
3. newByteLength = currentByteLength なら undefined を返す。
4. newByteLength < currentByteLength または newByteLength > O.[[ArrayBufferMaxByteLength]] なら RangeError 例外。
5. byteLengthDelta を newByteLength - currentByteLength とする。
6. byteLengthDelta バイトから成る新しい Shared Data Block 値を作成できないなら RangeError 例外。
7. 注: ここで新しい Shared Data Block を作って差し替えるわけではない。最大サイズの Shared Data Block を事前確保する仕様上のモデルであり、メモリ不足なら RangeError を投げることを要求するための手順。
8. readByteLengthRawBytes を AtomicCompareExchangeInSharedBlock(byteLengthBlock, 0, 8, currentByteLengthRawBytes, newByteLengthRawBytes) とする。
9. ByteListEqual(readByteLengthRawBytes, currentByteLengthRawBytes) が true なら undefined を返す。
10. currentByteLengthRawBytes を readByteLengthRawBytes に設定。

Note

長さ更新の compare-exchange の擬似的失敗は許されない。新しい長さの境界チェックが通り、実装がメモリ不足でない場合、候補実行には常に ReadModifyWriteSharedMemory イベント（成功した compare-exchange）が追加される。

SharedArrayBuffer.prototype.grow への並列呼び出しは全順序化される。例: sab.grow(10) と sab.grow(20) が競合する場合、必ずどちらかが勝つ。sab.grow(10) が sab.grow(20) の後でも sab を縮めることはなく、その場合は RangeError を投げる。

25.2.5.4 get SharedArrayBuffer.prototype.growable

SharedArrayBuffer.prototype.growable は set アクセサが undefined のアクセサプロパティであり、get アクセサは次を行う:

O を this 値。
? RequireInternalSlot(O, [[ArrayBufferData]])。
IsSharedArrayBuffer(O) が false なら TypeError 例外。
IsFixedLengthArrayBuffer(O) が false なら true、そうでなければ false を返す。

25.2.5.5 get SharedArrayBuffer.prototype.maxByteLength

SharedArrayBuffer.prototype.maxByteLength は set アクセサが undefined のアクセサプロパティであり、get アクセサは次を行う:

O を this 値。
? RequireInternalSlot(O, [[ArrayBufferData]])。
IsSharedArrayBuffer(O) が false なら TypeError 例外。
IsFixedLengthArrayBuffer(O) が true なら
1. length を O.[[ArrayBufferByteLength]] とする。
そうでなければ
1. length を O.[[ArrayBufferMaxByteLength]] とする。
𝔽(length) を返す。

25.2.5.6 SharedArrayBuffer.prototype.slice ( `start`, `end` )

このメソッドは呼び出し時に以下を行う:

O を this 値。
? RequireInternalSlot(O, [[ArrayBufferData]])。
IsSharedArrayBuffer(O) が false なら TypeError 例外。
len を ArrayBufferByteLength(O, seq-cst) とする。
relativeStart を ? ToIntegerOrInfinity(start) とする。
relativeStart = -∞ なら first = 0。
そうでなく relativeStart < 0 なら first = max(len + relativeStart, 0)。
それ以外は first = min(relativeStart, len)。
end が undefined なら relativeEnd = len; そうでなければ ? ToIntegerOrInfinity(end)。
relativeEnd = -∞ なら final = 0。
そうでなく relativeEnd < 0 なら final = max(len + relativeEnd, 0)。
それ以外は final = min(relativeEnd, len)。
newLen = max(final - first, 0)。
ctor = ? SpeciesConstructor(O, %SharedArrayBuffer%)。
new = ? Construct(ctor, « 𝔽(newLen) »)。
? RequireInternalSlot(new, [[ArrayBufferData]])。
IsSharedArrayBuffer(new) が false なら TypeError。
new.[[ArrayBufferData]] が O.[[ArrayBufferData]] と同一なら TypeError。
ArrayBufferByteLength(new, seq-cst) < newLen なら TypeError。
fromBuf = O.[[ArrayBufferData]]。
toBuf = new.[[ArrayBufferData]]。
CopyDataBlockBytes(toBuf, 0, fromBuf, first, newLen) を実行。
new を返す。

25.2.5.7 SharedArrayBuffer.prototype [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は文字列 "SharedArrayBuffer" である。

このプロパティは { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持つ。

25.2.6 SharedArrayBuffer インスタンスのプロパティ

SharedArrayBuffer インスタンスは SharedArrayBuffer プロトタイプオブジェクトからプロパティを継承する。各インスタンスは [[ArrayBufferData]] 内部スロットを持つ。成長不可のインスタンスは [[ArrayBufferByteLength]] 内部スロットを持つ。成長可能インスタンスは [[ArrayBufferByteLengthData]] および [[ArrayBufferMaxByteLength]] 内部スロットを持つ。

Note

ArrayBuffer と異なり、SharedArrayBuffer インスタンスは決してデタッチされない。

25.2.7 成長可能 SharedArrayBuffer ガイドライン

Note 1

以下は成長可能 SharedArrayBuffer を扱う ECMAScript プログラマー向けガイドラインである。

可能な限り実際のデプロイ環境でテストすることを推奨する。利用可能な物理メモリ量はハードウェア間で大きく異なる。同様に仮想メモリサブシステムもハードウェアや OS により大きく異なる。64 ビットデスクトップブラウザで正常なアプリが 32 ビットモバイルブラウザではメモリ不足になる可能性がある。

成長可能 SharedArrayBuffer の "maxByteLength" オプション値はアプリで必要な最小限の値を選ぶことを推奨し、1,073,741,824 (1GiB) を超えないことを推奨する。

特定の最大サイズで成長可能 SharedArrayBuffer を生成できても、将来の grow が成功する保証はない。

成長可能 SharedArrayBuffer の長さ読み出しの全てが同期的 (seq-cst) 読みとは限らない。u8[idx] のような整数インデックス付きプロパティアクセスの境界チェックに用いる長さの読み出しは同期化されない。一般に明示的同期が無い場合、あるアクセスがインバウンドでも同じエージェント内の後続アクセスもインバウンドとは限らない。対照的に SharedArrayBuffer の length / byteLength ゲッター、%TypedArray%.prototype、DataView.prototype を介した明示的読み出しは同期化される。TypedArray が完全に out-of-bounds かを確認するための組込みメソッドによる長さの読み出しも同期化される。

Note 2

以下は成長可能 SharedArrayBuffer を実装する実装者向けガイドラインである。

成長可能 SharedArrayBuffer は仮想メモリ事前予約によるインプレース成長で実装することを推奨する。

grow 操作は基盤メモリアクセスと並行し得るため、メモリモデル上の制約として非順序 (unordered) アクセスでも「ティア」(値の一部が混ざる) を起こしてはならない。実際には基盤データブロックをコピーで拡張する（世界停止を伴う）手法では実装しづらい。世界停止は直列化ポイントを導入し遅いため推奨しない。

追加されたメモリは作成直後（競合アクセスに対しても）ゼロ化されているように見えねばならない。ゼロ初期化オンデマンドの仮想メモリページ、または手動ゼロ化時の慎重な同期で実現できる。

成長可能 SharedArrayBuffer 上の TypedArray ビューの整数インデックス付きプロパティアクセスは、基礎バッファ長へのアクセスが同期化されない（前述）ため、非成長 SharedArrayBuffer 上の場合と同様に最適化可能なことを意図している。例えば境界チェックをループ外へホイストできる。

仮想メモリを持たない（MMU の無い組込み等）ホストでコピー方式による実装は困難である。そうしたホストにおけるメモリ使用は仮想メモリを持つホストと大きく異なる可能性があるため、メモリ使用の期待値を明確に伝えるべきである。

25.3 DataView オブジェクト

25.3.1 DataView オブジェクト用抽象操作

25.3.1.1 DataView With Buffer Witness Record

DataView With Buffer Witness Record は、DataView と、その参照バッファのキャッシュされたバイト長をカプセル化するための Record 値である。これは、参照バッファが成長可能 SharedArrayBuffer である場合にバイト長データブロックに対する単一の共有メモリ読み出しイベントを保証する助けとして用いられる。

DataView With Buffer Witness Record は Table 75 に示すフィールドを持つ。

Table 75: DataView With Buffer Witness Record のフィールド

Field Name	Value	Meaning
`[[Object]]`	a DataView	バッファのバイト長が読み込まれる DataView オブジェクト。
`[[CachedBufferByteLength]]`	a non-negative integer or detached	Record 作成時点のオブジェクトの `[[ViewedArrayBuffer]]` のバイト長。

25.3.1.2 MakeDataViewWithBufferWitnessRecord ( `obj`, `order` )

The abstract operation MakeDataViewWithBufferWitnessRecord takes arguments obj (a DataView) and order (seq-cst or unordered) and returns a DataView With Buffer Witness Record. It performs the following steps when called:

buffer を obj.[[ViewedArrayBuffer]] とする。
IsDetachedBuffer(buffer) が true なら
1. byteLength = detached。
そうでなければ
1. byteLength = ArrayBufferByteLength(buffer, order)。
DataView With Buffer Witness Record { [[Object]]: obj, [[CachedBufferByteLength]]: byteLength } を返す。

25.3.1.3 GetViewByteLength ( `viewRecord` )

The abstract operation GetViewByteLength takes argument viewRecord (a DataView With Buffer Witness Record) and returns a non-negative integer. It performs the following steps when called:

アサート: IsViewOutOfBounds(viewRecord) は false。
view を viewRecord.[[Object]] とする。
view.[[ByteLength]] が auto でないなら view.[[ByteLength]] を返す。
アサート: IsFixedLengthArrayBuffer(view.[[ViewedArrayBuffer]]) は false。
byteOffset = view.[[ByteOffset]]。
byteLength = viewRecord.[[CachedBufferByteLength]]。
アサート: byteLength は detached ではない。
byteLength - byteOffset を返す。

25.3.1.4 IsViewOutOfBounds ( `viewRecord` )

The abstract operation IsViewOutOfBounds takes argument viewRecord (a DataView With Buffer Witness Record) and returns a Boolean. It performs the following steps when called:

view を viewRecord.[[Object]] とする。
bufferByteLength を viewRecord.[[CachedBufferByteLength]] とする。
アサート: IsDetachedBuffer(view.[[ViewedArrayBuffer]]) が true であることと bufferByteLength が detached であることは同値。
bufferByteLength が detached なら true を返す。
byteOffsetStart = view.[[ByteOffset]]。
view.[[ByteLength]] が auto なら
1. byteOffsetEnd = bufferByteLength。
そうでなければ
1. byteOffsetEnd = byteOffsetStart + view.[[ByteLength]]。
byteOffsetStart > bufferByteLength または byteOffsetEnd > bufferByteLength なら true。
注: 長さ 0 の DataView は out-of-bounds とみなさない。
false を返す。

25.3.1.5 GetViewValue ( `view`, `requestIndex`, `isLittleEndian`, `type` )

The abstract operation GetViewValue takes arguments view (an ECMAScript language value), requestIndex (an ECMAScript language value), isLittleEndian (an ECMAScript language value), and type (a TypedArray element type) and returns either a normal completion containing either a Number or a BigInt, or a throw completion. DataView インスタンス上の関数からビューのバッファから値を取得する際に使用される。 It performs the following steps when called:

? RequireInternalSlot(view, [[DataView]])。
アサート: view は [[ViewedArrayBuffer]] 内部スロットを持つ。
getIndex = ? ToIndex(requestIndex)。
isLittleEndian = ToBoolean(isLittleEndian)。
viewOffset = view.[[ByteOffset]]。
viewRecord = MakeDataViewWithBufferWitnessRecord(view, unordered)。
注: view のバッファが成長可能 SharedArrayBuffer の場合、境界チェックは同期化されない操作。
IsViewOutOfBounds(viewRecord) が true なら TypeError 例外。
viewSize = GetViewByteLength(viewRecord)。
elementSize を Table 73 における要素型 type の要素サイズ値とする。
getIndex + elementSize > viewSize なら RangeError 例外。
bufferIndex = getIndex + viewOffset。
GetValueFromBuffer(view.[[ViewedArrayBuffer]], bufferIndex, type, false, unordered, isLittleEndian) を返す。

25.3.1.6 SetViewValue ( `view`, `requestIndex`, `isLittleEndian`, `type`, `value` )

The abstract operation SetViewValue takes arguments view (an ECMAScript language value), requestIndex (an ECMAScript language value), isLittleEndian (an ECMAScript language value), type (a TypedArray element type), and value (an ECMAScript language value) and returns either a normal completion containing undefined or a throw completion. DataView インスタンス上の関数からビューのバッファへ値を書き込むために使用される。 It performs the following steps when called:

? RequireInternalSlot(view, [[DataView]])。
アサート: view は [[ViewedArrayBuffer]] 内部スロットを持つ。
getIndex = ? ToIndex(requestIndex)。
IsBigIntElementType(type) が true なら numberValue = ? ToBigInt(value)。
そうでなければ numberValue = ? ToNumber(value)。
isLittleEndian = ToBoolean(isLittleEndian)。
viewOffset = view.[[ByteOffset]]。
viewRecord = MakeDataViewWithBufferWitnessRecord(view, unordered)。
注: view のバッファが成長可能 SharedArrayBuffer の場合、境界チェックは同期化されない。
IsViewOutOfBounds(viewRecord) が true なら TypeError 例外。
viewSize = GetViewByteLength(viewRecord)。
elementSize を Table 73 の type の要素サイズ値とする。
getIndex + elementSize > viewSize なら RangeError 例外。
bufferIndex = getIndex + viewOffset。
SetValueInBuffer(view.[[ViewedArrayBuffer]], bufferIndex, type, numberValue, false, unordered, isLittleEndian) を実行。
undefined を返す。

25.3.2 DataView コンストラクター

DataView コンストラクター:

%DataView% である。
グローバルオブジェクトの "DataView" プロパティの初期値である。
コンストラクターとして呼ばれた際に新しい DataView を生成し初期化する。
関数として呼び出すことは意図されず、その形で呼ぶと例外を投げる。
クラス定義の extends 句の値として使用できる。指定された DataView の挙動を継承するサブクラスコンストラクターは DataView.prototype の組込みメソッドを支える内部状態でインスタンスを初期化するため super 呼び出しを含めねばならない。

25.3.2.1 DataView ( `buffer` [ , `byteOffset` [ , `byteLength` ] ] )

この関数は呼び出し時に次を行う:

NewTarget が undefined なら TypeError 例外。
? RequireInternalSlot(buffer, [[ArrayBufferData]])。
offset = ? ToIndex(byteOffset)。
IsDetachedBuffer(buffer) が true なら TypeError 例外。
bufferByteLength = ArrayBufferByteLength(buffer, seq-cst)。
offset > bufferByteLength なら RangeError 例外。
bufferIsFixedLength = IsFixedLengthArrayBuffer(buffer)。
byteLength が undefined なら
1. bufferIsFixedLength が true なら
  1. viewByteLength = bufferByteLength - offset。
2. そうでなければ
  1. viewByteLength = auto。
そうでなければ
1. viewByteLength = ? ToIndex(byteLength)。
2. offset + viewByteLength > bufferByteLength なら RangeError 例外。
O = ? OrdinaryCreateFromConstructor(NewTarget, "%DataView.prototype%", « [[DataView]], [[ViewedArrayBuffer]], [[ByteLength]], [[ByteOffset]] »)。
IsDetachedBuffer(buffer) が true なら TypeError 例外。
bufferByteLength = ArrayBufferByteLength(buffer, seq-cst) に再設定。
offset > bufferByteLength なら RangeError 例外。
byteLength が undefined でないなら
1. offset + viewByteLength > bufferByteLength なら RangeError 例外。
O.[[ViewedArrayBuffer]] = buffer。
O.[[ByteLength]] = viewByteLength。
O.[[ByteOffset]] = offset。
O を返す。

25.3.3 DataView コンストラクターのプロパティ

DataView コンストラクター:

[[Prototype]] 内部スロット値が %Function.prototype% である。
以下のプロパティを持つ:

25.3.3.1 DataView.prototype

DataView.prototype の初期値は DataView プロトタイプオブジェクトである。

このプロパティは { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false } を持つ。

25.3.4 DataView プロトタイプオブジェクトのプロパティ

DataView プロトタイプオブジェクト:

%DataView.prototype% である。
[[Prototype]] 内部スロット値は %Object.prototype% である。
通常のオブジェクトである。
[[DataView]], [[ViewedArrayBuffer]], [[ByteLength]], [[ByteOffset]] 内部スロットを持たない。

25.3.4.1 get DataView.prototype.buffer

DataView.prototype.buffer は set アクセサが undefined のアクセサプロパティであり、その get アクセサは以下を行う:

O を this 値。
? RequireInternalSlot(O, [[DataView]])。
アサート: O は [[ViewedArrayBuffer]] 内部スロットを持つ。
buffer = O.[[ViewedArrayBuffer]]。
buffer を返す。

25.3.4.2 get DataView.prototype.byteLength

DataView.prototype.byteLength は set アクセサが undefined のアクセサプロパティであり、その get アクセサは以下を行う:

O を this 値。
? RequireInternalSlot(O, [[DataView]])。
アサート: O は [[ViewedArrayBuffer]] 内部スロットを持つ。
viewRecord = MakeDataViewWithBufferWitnessRecord(O, seq-cst)。
IsViewOutOfBounds(viewRecord) が true なら TypeError 例外。
size = GetViewByteLength(viewRecord)。
𝔽(size) を返す。

25.3.4.3 get DataView.prototype.byteOffset

DataView.prototype.byteOffset は set アクセサが undefined のアクセサプロパティであり、その get アクセサは以下を行う:

O を this 値。
? RequireInternalSlot(O, [[DataView]])。
アサート: O は [[ViewedArrayBuffer]] 内部スロットを持つ。
viewRecord = MakeDataViewWithBufferWitnessRecord(O, seq-cst)。
IsViewOutOfBounds(viewRecord) が true なら TypeError 例外。
offset = O.[[ByteOffset]]。
𝔽(offset) を返す。

25.3.4.4 DataView.prototype.constructor

DataView.prototype.constructor の初期値は %DataView% である。

25.3.4.5 DataView.prototype.getBigInt64 ( `byteOffset` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
? GetViewValue(view, byteOffset, littleEndian, bigint64) を返す。

25.3.4.6 DataView.prototype.getBigUint64 ( `byteOffset` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
? GetViewValue(view, byteOffset, littleEndian, biguint64) を返す。

25.3.4.7 DataView.prototype.getFloat16 ( `byteOffset` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? GetViewValue(view, byteOffset, littleEndian, float16) を返す。

25.3.4.8 DataView.prototype.getFloat32 ( `byteOffset` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? GetViewValue(view, byteOffset, littleEndian, float32) を返す。

25.3.4.9 DataView.prototype.getFloat64 ( `byteOffset` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? GetViewValue(view, byteOffset, littleEndian, float64) を返す。

25.3.4.10 DataView.prototype.getInt8 ( `byteOffset` )

このメソッドは呼び出し時に以下を行う:

view を this 値。
? GetViewValue(view, byteOffset, true, int8) を返す。

25.3.4.11 DataView.prototype.getInt16 ( `byteOffset` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? GetViewValue(view, byteOffset, littleEndian, int16) を返す。

25.3.4.12 DataView.prototype.getInt32 ( `byteOffset` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? GetViewValue(view, byteOffset, littleEndian, int32) を返す。

25.3.4.13 DataView.prototype.getUint8 ( `byteOffset` )

このメソッドは呼び出し時に以下を行う:

view を this 値。
? GetViewValue(view, byteOffset, true, uint8) を返す。

25.3.4.14 DataView.prototype.getUint16 ( `byteOffset` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? GetViewValue(view, byteOffset, littleEndian, uint16) を返す。

25.3.4.15 DataView.prototype.getUint32 ( `byteOffset` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? GetViewValue(view, byteOffset, littleEndian, uint32) を返す。

25.3.4.16 DataView.prototype.setBigInt64 ( `byteOffset`, `value` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
? SetViewValue(view, byteOffset, littleEndian, bigint64, value) を返す。

25.3.4.17 DataView.prototype.setBigUint64 ( `byteOffset`, `value` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
? SetViewValue(view, byteOffset, littleEndian, biguint64, value) を返す。

25.3.4.18 DataView.prototype.setFloat16 ( `byteOffset`, `value` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? SetViewValue(view, byteOffset, littleEndian, float16, value) を返す。

25.3.4.19 DataView.prototype.setFloat32 ( `byteOffset`, `value` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? SetViewValue(view, byteOffset, littleEndian, float32, value) を返す。

25.3.4.20 DataView.prototype.setFloat64 ( `byteOffset`, `value` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? SetViewValue(view, byteOffset, littleEndian, float64, value) を返す。

25.3.4.21 DataView.prototype.setInt8 ( `byteOffset`, `value` )

このメソッドは呼び出し時に以下を行う:

view を this 値。
? SetViewValue(view, byteOffset, true, int8, value) を返す。

25.3.4.22 DataView.prototype.setInt16 ( `byteOffset`, `value` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? SetViewValue(view, byteOffset, littleEndian, int16, value) を返す。

25.3.4.23 DataView.prototype.setInt32 ( `byteOffset`, `value` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? SetViewValue(view, byteOffset, littleEndian, int32, value) を返す。

25.3.4.24 DataView.prototype.setUint8 ( `byteOffset`, `value` )

このメソッドは呼び出し時に以下を行う:

view を this 値。
? SetViewValue(view, byteOffset, true, uint8, value) を返す。

25.3.4.25 DataView.prototype.setUint16 ( `byteOffset`, `value` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? SetViewValue(view, byteOffset, littleEndian, uint16, value) を返す。

25.3.4.26 DataView.prototype.setUint32 ( `byteOffset`, `value` [ , `littleEndian` ] )

このメソッドは呼び出し時に以下を行う:

view を this 値。
littleEndian が存在しなければ littleEndian = false。
? SetViewValue(view, byteOffset, littleEndian, uint32, value) を返す。

25.3.4.27 DataView.prototype [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティ初期値は文字列 "DataView" である。

このプロパティは { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持つ。

25.3.5 DataView インスタンスのプロパティ

DataView インスタンスは DataView プロトタイプオブジェクトからプロパティを継承する。各インスタンスは [[DataView]], [[ViewedArrayBuffer]], [[ByteLength]], [[ByteOffset]] 内部スロットを持つ。

Note

[[DataView]] 内部スロットの値自体は仕様内では使用されない。その内部スロットが存在すること自体で DataView コンストラクターにより生成されたオブジェクトであることを識別する。

25.4 Atomics オブジェクト

Atomics オブジェクトは次の通りである:

%Atomics% である。
グローバルオブジェクトの "Atomics" プロパティの初期値である。
通常のオブジェクトである。
その [[Prototype]] 内部スロットの値は %Object.prototype% である。
[[Construct]] 内部メソッドを持たない；new 演算子でコンストラクタとして使用できない。
[[Call]] 内部メソッドを持たない；関数として呼び出せない。

Atomics オブジェクトは共有メモリ配列セルに対して不可分（アトミック）に動作する関数、およびエージェントがプリミティブなイベントを待機・送出するための関数を提供する。規律を守って用いることで、共有メモリを介して通信するマルチエージェントプログラムは、並列 CPU 上であっても理解可能な順序で実行される。共有メモリ通信を支配する規則は後述のメモリモデルで定義される。

Note

ECMAScript での共有メモリのプログラミングおよび実装に関する参考指針については、メモリモデル節末尾の注記を参照のこと。

25.4.1 Waiter Record

Waiter Record は Atomics.wait または Atomics.waitAsync への特定の呼び出しを表すために用いられる Record 値である。

Waiter Record は Table 76 に挙げるフィールドを持つ。

Table 76: Waiter Record のフィールド

フィールド名	値	意味
`[[AgentSignifier]]`	エージェント識別子	`Atomics.wait` または `Atomics.waitAsync` を呼び出したエージェント。
`[[PromiseCapability]]`	PromiseCapability Record または blocking	`Atomics.waitAsync` の呼び出しを表す場合はその結果の Promise、それ以外は blocking。
`[[TimeoutTime]]`	非負の拡張数学的値	タイムアウトが発火し得る最も早い時刻；時間値を用いて計算される。
`[[Result]]`	"ok" または "timed-out"	呼び出しの戻り値。

25.4.2 WaiterList Records

WaiterList Record は Atomics.wait, Atomics.waitAsync, Atomics.notify を通じたエージェントの待機と通知を説明するために用いられる。

WaiterList Record は Table 77 に挙げるフィールドを持つ。

Table 77: WaiterList Record のフィールド

フィールド名	値	意味
`[[Waiters]]`	Waiter Record の List	この WaiterList が関連付けられているロケーションで待機している `Atomics.wait` または `Atomics.waitAsync` への呼び出し。
`[[MostRecentLeaveEvent]]`	Synchronize event または empty	直近にそのクリティカルセクションを離れたイベント。未入場なら empty。

同一のエージェント識別子を持つ複数の Waiter Record が 1 つの WaiterList に存在し得る。

エージェントクラスタは WaiterList Record の保管領域を持ち、そのインデックスは (block, i) であり、block は Shared Data Block、i はそのメモリ内のバイトオフセットである。WaiterList Record はエージェント非依存であり、(block, i) による WaiterList Record の参照はクラスタ内どのエージェントからも同一の WaiterList Record を得る。

各 WaiterList Record はその評価中の排他的アクセスを制御するクリティカルセクションを持つ。同時に入場できるのは 1 つのエージェントのみである。クリティカルセクションへの入退場は抽象操作 EnterCriticalSection と LeaveCriticalSection により制御される。待機エージェントの追加/削除、リスト走査、リスト上のエージェントのサスペンドおよび通知、Synchronize event の設定/取得といった WaiterList Record 上の操作は、クリティカルセクションへ入場したエージェントのみが実行できる。

25.4.3 Atomics のための抽象操作

25.4.3.1 ValidateIntegerTypedArray ( `typedArray`, `waitable` )

The abstract operation ValidateIntegerTypedArray takes arguments typedArray (an ECMAScript language value) and waitable (a Boolean) and returns 正常完了で TypedArray With Buffer Witness Record を含むか、または throw completion. It performs the following steps when called:

taRecord を ? ValidateTypedArray(typedArray, unordered) の結果とする。
注: typedArray の裏付けバッファが拡張可能な SharedArrayBuffer のとき、境界チェックは同期化操作ではない。
もし waitable が true なら、
1. もし typedArray.[[TypedArrayName]] が "Int32Array" でも "BigInt64Array" でもないなら TypeError 例外を投げる。
それ以外なら、
1. type を TypedArrayElementType(typedArray) とする。
2. IsUnclampedIntegerElementType(type) が false かつ IsBigIntElementType(type) が false なら TypeError 例外を投げる。
taRecord を返す。

25.4.3.2 ValidateAtomicAccess ( `taRecord`, `requestIndex` )

The abstract operation ValidateAtomicAccess takes arguments taRecord (a TypedArray With Buffer Witness Record) and requestIndex (an ECMAScript language value) and returns 正常完了で整数を含むか、または throw completion. It performs the following steps when called:

length を TypedArrayLength(taRecord) とする。
accessIndex を ? ToIndex(requestIndex) とする。
事前条件: accessIndex ≥ 0.
もし accessIndex ≥ length なら RangeError 例外を投げる。
typedArray を taRecord.[[Object]] とする。
elementSize を TypedArrayElementSize(typedArray) とする。
offset を typedArray.[[ByteOffset]] とする。
(accessIndex × elementSize) + offset を返す。

25.4.3.3 ValidateAtomicAccessOnIntegerTypedArray ( `typedArray`, `requestIndex` )

The abstract operation ValidateAtomicAccessOnIntegerTypedArray takes arguments typedArray (an ECMAScript language value) and requestIndex (an ECMAScript language value) and returns 正常完了で整数を含むか、または throw completion. It performs the following steps when called:

taRecord を ? ValidateIntegerTypedArray(typedArray, false) とする。
? ValidateAtomicAccess(taRecord, requestIndex) を返す。

25.4.3.4 RevalidateAtomicAccess ( `typedArray`, `byteIndexInBuffer` )

The abstract operation RevalidateAtomicAccess takes arguments typedArray (a TypedArray) and byteIndexInBuffer (an integer) and returns 正常完了で unused を含むか、または throw completion. この操作は Atomics メソッド内で全ての引数強制が行われた後（それらには任意の副作用があり得て、バッファを out of bounds にし得る）、アトミック操作のための裏付けバッファ内のインデックスを再検証する。typedArray の裏付けバッファが SharedArrayBuffer の場合、この操作は例外を投げない。 It performs the following steps when called:

taRecord を MakeTypedArrayWithBufferWitnessRecord(typedArray, unordered) とする。
注: typedArray の裏付けバッファが拡張可能な SharedArrayBuffer のとき、境界チェックは同期化操作ではない。
もし IsTypedArrayOutOfBounds(taRecord) が true なら TypeError 例外を投げる。
事前条件: byteIndexInBuffer ≥ typedArray.[[ByteOffset]].
もし byteIndexInBuffer ≥ taRecord.[[CachedBufferByteLength]] なら RangeError 例外を投げる。
unused を返す。

25.4.3.5 GetWaiterList ( `block`, `i` )

The abstract operation GetWaiterList takes arguments block (a Shared Data Block) and i (4 で割り切れる非負整数) and returns WaiterList Record. It performs the following steps when called:

事前条件: i および i + 3 は block のメモリ内の有効なバイトオフセットである。
組 (block, i) により参照される WaiterList Record を返す。

25.4.3.6 EnterCriticalSection ( `WL` )

The abstract operation EnterCriticalSection takes argument WL (a WaiterList Record) and returns unused. It performs the following steps when called:

事前条件: 周囲のエージェントはいかなる WaiterList Record のクリティカルセクションにも入っていない。
いずれのエージェントも WL のクリティカルセクションにいないまで待ち、次に（他のエージェントを入れずに）WL のクリティカルセクションへ入る。
もし WL.[[MostRecentLeaveEvent]] が empty でないなら、
1. 注: WL のクリティカルセクションが少なくとも一度入場された場合、LeaveCriticalSection により Synchronize event が設定されている。
2. execution を周囲エージェントの Agent Record の [[CandidateExecution]] フィールドとする。
3. eventsRecord を execution.[[EventsRecords]] のうち [[AgentSignifier]] が AgentSignifier() である Agent Events Record とする。
4. enterEvent を新たな Synchronize event とする。
5. enterEvent を eventsRecord.[[EventList]] に追加する。
6. (WL.[[MostRecentLeaveEvent]], enterEvent) を eventsRecord.[[AgentSynchronizesWith]] に追加する。
unused を返す。

EnterCriticalSection は、クリティカルセクションへ入ろうとするエージェントが他のエージェントの退出を待たねばならないとき競合 (contention) を持つ。競合がないとき、EnterCriticalSection 呼び出しの FIFO 順序は観測可能である。競合があるとき、実装は任意の順序を選択できるが、エージェントを無期限に待たせてはならない。

25.4.3.7 LeaveCriticalSection ( `WL` )

The abstract operation LeaveCriticalSection takes argument WL (a WaiterList Record) and returns unused. It performs the following steps when called:

事前条件: 周囲のエージェントは WL のクリティカルセクション内にいる。
execution を周囲エージェントの Agent Record の [[CandidateExecution]] フィールドとする。
eventsRecord を execution.[[EventsRecords]] のうち [[AgentSignifier]] が AgentSignifier() の Agent Events Record とする。
leaveEvent を新たな Synchronize event とする。
leaveEvent を eventsRecord.[[EventList]] に追加する。
WL.[[MostRecentLeaveEvent]] を leaveEvent に設定する。
WL のクリティカルセクションを離れる。
unused を返す。

25.4.3.8 AddWaiter ( `WL`, `waiterRecord` )

The abstract operation AddWaiter takes arguments WL (a WaiterList Record) and waiterRecord (a Waiter Record) and returns unused. It performs the following steps when called:

事前条件: 周囲のエージェントは WL のクリティカルセクション内にいる。
事前条件: WL.[[Waiters]] に [[PromiseCapability]] フィールドが waiterRecord.[[PromiseCapability]] かつ [[AgentSignifier]] フィールドが waiterRecord.[[AgentSignifier]] である Waiter Record は存在しない。
waiterRecord を WL.[[Waiters]] に追加する。
unused を返す。

25.4.3.9 RemoveWaiter ( `WL`, `waiterRecord` )

The abstract operation RemoveWaiter takes arguments WL (a WaiterList Record) and waiterRecord (a Waiter Record) and returns unused. It performs the following steps when called:

事前条件: 周囲のエージェントは WL のクリティカルセクション内にいる。
事前条件: WL.[[Waiters]] は waiterRecord を含む。
waiterRecord を WL.[[Waiters]] から除去する。
unused を返す。

25.4.3.10 RemoveWaiters ( `WL`, `c` )

The abstract operation RemoveWaiters takes arguments WL (a WaiterList Record) and c (非負整数または +∞) and returns Waiter Record の List. It performs the following steps when called:

事前条件: 周囲のエージェントは WL のクリティカルセクション内にいる。
len を WL.[[Waiters]] の要素数とする。
n を min(c, len) とする。
L を WL.[[Waiters]] の最初の n 要素からなる List とする。
WL.[[Waiters]] の最初の n 要素を除去する。
L を返す。

25.4.3.11 SuspendThisAgent ( `WL`, `waiterRecord` )

The abstract operation SuspendThisAgent takes arguments WL (a WaiterList Record) and waiterRecord (a Waiter Record) and returns unused. It performs the following steps when called:

事前条件: 周囲のエージェントは WL のクリティカルセクション内にいる。
事前条件: WL.[[Waiters]] は waiterRecord を含む。
thisAgent を AgentSignifier() とする。
事前条件: waiterRecord.[[AgentSignifier]] は thisAgent である。
事前条件: waiterRecord.[[PromiseCapability]] は blocking である。
事前条件: AgentCanSuspend() は true である。
LeaveCriticalSection(WL) を行い、サスペンドが有効になる前に通知が到着しても失われない方法で、周囲のエージェントを waiterRecord.[[TimeoutTime]] の時刻までサスペンドし、その後周囲のエージェントはサスペンド解除される。サスペンド解除はタイムアウト、または他のエージェントが NotifyWaiter を WL, thisAgent で呼び出した（つまり Atomics.notify 呼び出し経由）場合のみ起こる。
EnterCriticalSection(WL) を実行する。
unused を返す。

25.4.3.12 NotifyWaiter ( `WL`, `waiterRecord` )

The abstract operation NotifyWaiter takes arguments WL (a WaiterList Record) and waiterRecord (a Waiter Record) and returns unused. It performs the following steps when called:

事前条件: 周囲のエージェントは WL のクリティカルセクション内にいる。
もし waiterRecord.[[PromiseCapability]] が blocking なら、
1. 識別子が waiterRecord.[[AgentSignifier]] であるエージェントをサスペンドから起こす。
2. 注: これによりエージェントは SuspendThisAgent 内の実行を再開する。
そうでなく AgentSignifier() が waiterRecord.[[AgentSignifier]] なら、
1. promiseCapability を waiterRecord.[[PromiseCapability]] とする。
2. ! Call(promiseCapability.[[Resolve]], undefined, « waiterRecord.[[Result]] ») を実行する。
その他の場合、
1. EnqueueResolveInAgentJob(waiterRecord.[[AgentSignifier]], waiterRecord.[[PromiseCapability]], waiterRecord.[[Result]]) を実行する。
unused を返す。

Note

エージェントは、ホストへ渡す以外の形で他エージェントの promise capability にアクセスしてはならない。

25.4.3.13 EnqueueResolveInAgentJob ( `agentSignifier`, `promiseCapability`, `resolution` )

The abstract operation EnqueueResolveInAgentJob takes arguments agentSignifier (an agent signifier), promiseCapability (a PromiseCapability Record), and resolution ("ok" or "timed-out") and returns unused. It performs the following steps when called:

resolveJob を、引数なしで agentSignifier, promiseCapability, resolution を捕捉し、呼び出されたとき次を行う新たな Job Abstract Closure とする:
1. 事前条件: AgentSignifier() は agentSignifier である。
2. ! Call(promiseCapability.[[Resolve]], undefined, « resolution ») を実行する。
3. unused を返す。
realmInTargetAgent を ! GetFunctionRealm(promiseCapability.[[Resolve]]) とする。
事前条件: agentSignifier は realmInTargetAgent.[[AgentSignifier]] である。
HostEnqueueGenericJob(resolveJob, realmInTargetAgent) を実行する。
unused を返す。

25.4.3.14 DoWait ( `mode`, `typedArray`, `index`, `value`, `timeout` )

The abstract operation DoWait takes arguments mode (sync or async), typedArray (an ECMAScript language value), index (an ECMAScript language value), value (an ECMAScript language value), and timeout (an ECMAScript language value) and returns 正常完了で Object, "not-equal", "timed-out", "ok" のいずれか、または throw completion. It performs the following steps when called:

taRecord を ? ValidateIntegerTypedArray(typedArray, true) とする。
buffer を taRecord.[[Object]].[[ViewedArrayBuffer]] とする。
もし IsSharedArrayBuffer(buffer) が false なら TypeError 例外を投げる。
i を ? ValidateAtomicAccess(taRecord, index) とする。
arrayTypeName を typedArray.[[TypedArrayName]] とする。
もし arrayTypeName が "BigInt64Array" なら v を ? ToBigInt64(value) とする。
そうでなければ v を ? ToInt32(value) とする。
q を ? ToNumber(timeout) とする。
もし q が NaN 又は +∞_𝔽 なら t を +∞ とする；q が -∞_𝔽 なら t を 0；それ以外は t を max(ℝ(q), 0) とする。
もし mode が sync かつ AgentCanSuspend() が false なら TypeError 例外を投げる。
block を buffer.[[ArrayBufferData]] とする。
offset を typedArray.[[ByteOffset]] とする。
byteIndexInBuffer を (i × 4) + offset とする。
WL を GetWaiterList(block, byteIndexInBuffer) とする。
もし mode が sync なら
1. promiseCapability を blocking とする。
2. resultObject を undefined とする。
それ以外なら
1. promiseCapability を ! NewPromiseCapability(%Promise%) とする。
2. resultObject を OrdinaryObjectCreate(%Object.prototype%) とする。
EnterCriticalSection(WL) を実行する。
elementType を TypedArrayElementType(typedArray) とする。
w を GetValueFromBuffer(buffer, byteIndexInBuffer, elementType, true, seq-cst) とする。
もし v ≠ w なら
1. LeaveCriticalSection(WL) を実行する。
2. もし mode が sync なら "not-equal" を返す。
3. ! CreateDataPropertyOrThrow(resultObject, "async", false) を実行。
4. ! CreateDataPropertyOrThrow(resultObject, "value", "not-equal") を実行。
5. resultObject を返す。
もし t = 0 かつ mode が async なら
1. 注: 同期即時タイムアウトには特別扱いはない。非同期即時タイムアウトは失敗を速め、不要な Promise ジョブを避ける特別扱いを持つ。
2. LeaveCriticalSection(WL) を実行する。
3. ! CreateDataPropertyOrThrow(resultObject, "async", false) を実行。
4. ! CreateDataPropertyOrThrow(resultObject, "value", "timed-out") を実行。
5. resultObject を返す。
thisAgent を AgentSignifier() とする。
now を現在時刻 (UTC) を示す time value とする。
additionalTimeout を実装定義の非負数学的値とする。
timeoutTime を ℝ(now) + t + additionalTimeout とする。
注: t が +∞ のとき timeoutTime も +∞。
waiterRecord を新たな Waiter Record { [[AgentSignifier]]: thisAgent, [[PromiseCapability]]: promiseCapability, [[TimeoutTime]]: timeoutTime, [[Result]]: "ok" } とする。
AddWaiter(WL, waiterRecord) を実行する。
もし mode が sync なら
1. SuspendThisAgent(WL, waiterRecord) を実行する。
それ以外で timeoutTime が有限なら
1. EnqueueAtomicsWaitAsyncTimeoutJob(WL, waiterRecord) を実行する。
LeaveCriticalSection(WL) を実行する。
もし mode が sync なら waiterRecord.[[Result]] を返す。
! CreateDataPropertyOrThrow(resultObject, "async", true) を実行。
! CreateDataPropertyOrThrow(resultObject, "value", promiseCapability.[[Promise]]) を実行。
resultObject を返す。

Note

additionalTimeout は、電力消費削減やタイミング攻撃緩和のためのタイマー分解能粗化など、実装が必要に応じてタイムアウトにパディングを追加することを許容する。値は DoWait の呼び出しごとに異なり得る。

25.4.3.15 EnqueueAtomicsWaitAsyncTimeoutJob ( `WL`, `waiterRecord` )

The abstract operation EnqueueAtomicsWaitAsyncTimeoutJob takes arguments WL (a WaiterList Record) and waiterRecord (a Waiter Record) and returns unused. It performs the following steps when called:

timeoutJob を、引数なしで WL と waiterRecord を捕捉し、呼び出されたとき以下を行う新たな Job Abstract Closure とする:
1. EnterCriticalSection(WL) を実行する。
2. もし WL.[[Waiters]] が waiterRecord を含むなら
  1. timeOfJobExecution を現在時刻 (UTC) を示す time value とする。
  2. 事前条件: ℝ(timeOfJobExecution) ≥ waiterRecord.[[TimeoutTime]] （時間値の非単調性は無視）。
  3. waiterRecord.[[Result]] を "timed-out" に設定する。
  4. RemoveWaiter(WL, waiterRecord) を実行する。
  5. NotifyWaiter(WL, waiterRecord) を実行する。
3. LeaveCriticalSection(WL) を実行する。
4. unused を返す。
now を現在時刻 (UTC) を示す time value とする。
currentRealm を現在の Realm Record とする。
HostEnqueueTimeoutJob(timeoutJob, currentRealm, 𝔽(waiterRecord.[[TimeoutTime]]) - now) を実行する。
unused を返す。

25.4.3.16 AtomicCompareExchangeInSharedBlock ( `block`, `byteIndexInBuffer`, `elementSize`, `expectedBytes`, `replacementBytes` )

The abstract operation AtomicCompareExchangeInSharedBlock takes arguments block (a Shared Data Block), byteIndexInBuffer (an integer), elementSize (a non-negative integer), expectedBytes (a List of byte values), and replacementBytes (a List of byte values) and returns byte 値の List. It performs the following steps when called:

execution を周囲エージェントの Agent Record の [[CandidateExecution]] フィールドとする。
eventsRecord を execution.[[EventsRecords]] のうち [[AgentSignifier]] が AgentSignifier() の Agent Events Record とする。
rawBytesRead を長さ elementSize の List とし、要素は非決定的に選ばれるバイト値とする。
注: 実装では rawBytesRead は基盤ハードウェア上のロードリンク、ロード排他、または read-modify-write 命令のオペランドの結果である。この非決定性は弱い一貫性を持つハードウェアの観測可能な振る舞いを記述するための意味的規定。
注: 期待値と読み取った値の比較は read-modify-write 変更関数の外で行い、期待値不一致の場合に不必要な強い同期化を避ける。
もし ByteListEqual(rawBytesRead, expectedBytes) が true なら
1. second を (oldBytes, newBytes) を引数に取り何も捕捉せず呼ばれるとアトミックに次を行う新たな read-modify-write 変更関数とし、newBytes を返す。
2. event を ReadModifyWriteSharedMemory { [[Order]]: seq-cst, [[NoTear]]: true, [[Block]]: block, [[ByteIndex]]: byteIndexInBuffer, [[ElementSize]]: elementSize, [[Payload]]: replacementBytes, [[ModifyOp]]: second } とする。
それ以外なら
1. event を ReadSharedMemory { [[Order]]: seq-cst, [[NoTear]]: true, [[Block]]: block, [[ByteIndex]]: byteIndexInBuffer, [[ElementSize]]: elementSize } とする。
event を eventsRecord.[[EventList]] に追加する。
Chosen Value Record { [[Event]]: event, [[ChosenValue]]: rawBytesRead } を execution.[[ChosenValues]] に追加する。
rawBytesRead を返す。

25.4.3.17 AtomicReadModifyWrite ( `typedArray`, `index`, `value`, `op` )

The abstract operation AtomicReadModifyWrite takes arguments typedArray (an ECMAScript language value), index (an ECMAScript language value), value (an ECMAScript language value), and op (a read-modify-write modification function) and returns 正常完了で Number または BigInt を含むか、または throw completion. op は2つの byte 値 List を引数に取り、byte 値 List を返す。この操作は値をアトミックに読み込み、別の値と結合し、その結合を格納し、読み込んだ値を返す。 It performs the following steps when called:

byteIndexInBuffer を ? ValidateAtomicAccessOnIntegerTypedArray(typedArray, index) とする。
もし typedArray.[[ContentType]] が bigint なら v を ? ToBigInt(value) とする。
それ以外は v を 𝔽(? ToIntegerOrInfinity(value)) とする。
? RevalidateAtomicAccess(typedArray, byteIndexInBuffer) を実行する。
buffer を typedArray.[[ViewedArrayBuffer]] とする。
elementType を TypedArrayElementType(typedArray) とする。
GetModifySetValueInBuffer(buffer, byteIndexInBuffer, elementType, v, op) を返す。

25.4.3.18 ByteListBitwiseOp ( `op`, `xBytes`, `yBytes` )

The abstract operation ByteListBitwiseOp takes arguments op (&, ^, または |), xBytes (a List of byte values), and yBytes (a List of byte values) and returns byte 値の List. この操作は引数の全てのバイト値に対してビット単位演算をアトミックに行い、byte 値の List を返す。 It performs the following steps when called:

事前条件: xBytes と yBytes は同じ要素数を持つ。
result を新たな空 List とする。
i を 0 とする。
各要素 xByte について
1. yByte を yBytes[i] とする。
2. もし op が & なら
  1. resultByte を xByte と yByte のビット単位 AND の結果とする。
3. そうでなく op が ^ なら
  1. resultByte を xByte と yByte のビット単位 XOR の結果とする。
4. それ以外
  1. 事前条件: op は |。
  2. resultByte を xByte と yByte のビット単位 OR の結果とする。
5. i を i + 1 にする。
6. resultByte を result に追加する。
result を返す。

25.4.3.19 ByteListEqual ( `xBytes`, `yBytes` )

The abstract operation ByteListEqual takes arguments xBytes (a List of byte values) and yBytes (a List of byte values) and returns Boolean. It performs the following steps when called:

もし xBytes と yBytes が同じ要素数でなければ false を返す。
i を 0 とする。
各要素 xByte について
1. yByte を yBytes[i] とする。
2. もし xByte ≠ yByte なら false を返す。
3. i を i + 1 にする。
true を返す。

25.4.4 Atomics.add ( `typedArray`, `index`, `value` )

この関数は呼び出されたとき次を行う:

add を (xBytes, yBytes) を引数に取り typedArray を捕捉し、呼ばれるとアトミックに以下を行う新たな read-modify-write 変更関数とする:
1. type を TypedArrayElementType(typedArray) とする。
2. isLittleEndian を周囲エージェントの Agent Record の [[LittleEndian]] フィールドの値とする。
3. x を RawBytesToNumeric(type, xBytes, isLittleEndian) とする。
4. y を RawBytesToNumeric(type, yBytes, isLittleEndian) とする。
5. もし x が Number なら
  1. sum を Number::add(x, y) とする。
6. それ以外
  1. 事前条件: x は BigInt。
  2. sum を BigInt::add(x, y) とする。
7. sumBytes を NumericToRawBytes(type, sum, isLittleEndian) とする。
8. 事前条件: sumBytes, xBytes, yBytes は同じ要素数。
9. sumBytes を返す。
? AtomicReadModifyWrite(typedArray, index, value, add) を返す。

25.4.5 Atomics.and ( `typedArray`, `index`, `value` )

この関数は呼び出されたとき次を行う:

and を (xBytes, yBytes) を引数に取り何も捕捉せず、呼ばれるとアトミックに次を行う新たな read-modify-write 変更関数とし、ByteListBitwiseOp(&, xBytes, yBytes) を返す。
? AtomicReadModifyWrite(typedArray, index, value, and) を返す。

25.4.6 Atomics.compareExchange ( `typedArray`, `index`, `expectedValue`, `replacementValue` )

この関数は呼び出されたとき次を行う:

byteIndexInBuffer を ? ValidateAtomicAccessOnIntegerTypedArray(typedArray, index) とする。
buffer を typedArray.[[ViewedArrayBuffer]] とする。
block を buffer.[[ArrayBufferData]] とする。
もし typedArray.[[ContentType]] が bigint なら
1. expected を ? ToBigInt(expectedValue) とする。
2. replacement を ? ToBigInt(replacementValue) とする。
それ以外
1. expected を 𝔽(? ToIntegerOrInfinity(expectedValue)) とする。
2. replacement を 𝔽(? ToIntegerOrInfinity(replacementValue)) とする。
? RevalidateAtomicAccess(typedArray, byteIndexInBuffer) を実行する。
elementType を TypedArrayElementType(typedArray) とする。
elementSize を TypedArrayElementSize(typedArray) とする。
isLittleEndian を周囲エージェントの Agent Record の [[LittleEndian]] フィールド値とする。
expectedBytes を NumericToRawBytes(elementType, expected, isLittleEndian) とする。
replacementBytes を NumericToRawBytes(elementType, replacement, isLittleEndian) とする。
もし IsSharedArrayBuffer(buffer) が true なら
1. rawBytesRead を AtomicCompareExchangeInSharedBlock(block, byteIndexInBuffer, elementSize, expectedBytes, replacementBytes) とする。
それ以外
1. rawBytesRead を長さ elementSize の List とし、block[byteIndexInBuffer] から始まる elementSize バイト列とする。
2. もし ByteListEqual(rawBytesRead, expectedBytes) が true なら
  1. replacementBytes の各バイトを block の block[byteIndexInBuffer] から書き込む。
RawBytesToNumeric(elementType, rawBytesRead, isLittleEndian) を返す。

25.4.7 Atomics.exchange ( `typedArray`, `index`, `value` )

この関数は呼び出されたとき次を行う:

second を (oldBytes, newBytes) を引数に取り何も捕捉せず、呼ばれるとアトミックに newBytes を返す read-modify-write 変更関数とする。
? AtomicReadModifyWrite(typedArray, index, value, second) を返す。

25.4.8 Atomics.isLockFree ( `size` )

この関数は呼び出されたとき次を行う:

n を ? ToIntegerOrInfinity(size) とする。
AR を周囲エージェントの Agent Record とする。
もし n = 1 なら AR.[[IsLockFree1]] を返す。
もし n = 2 なら AR.[[IsLockFree2]] を返す。
もし n = 4 なら true を返す。
もし n = 8 なら AR.[[IsLockFree8]] を返す。
false を返す。

Note

この関数は最適化プリミティブである。直感的には、サイズ n バイトのデータに対するアトミックプリミティブ（compareExchange, load, store, add, sub, and, or, xor, exchange）のアトミックステップが、そのデータ n バイト外のロックを取得せずに実行されるなら Atomics.isLockFree(n) は true を返す。高性能アルゴリズムはこの関数を用いてクリティカルセクションでロックを使うかアトミック操作を使うかを決定する。アトミックプリミティブがロックフリーでない場合、アルゴリズムが独自のロックを提供する方がしばしば効率的である。

Atomics.isLockFree(4) は常に true を返し、これは全ての関連ハードウェアでサポート可能である。これを前提できることでプログラムは一般に単純化する。

この関数が返す値に関わらず、全てのアトミック操作はアトミックであることが保証される。例えば、操作の途中で可視な操作が発生（いわゆる「tearing」）することは決してない。

25.4.9 Atomics.load ( `typedArray`, `index` )

この関数は呼び出されたとき次を行う:

byteIndexInBuffer を ? ValidateAtomicAccessOnIntegerTypedArray(typedArray, index) とする。
? RevalidateAtomicAccess(typedArray, byteIndexInBuffer) を実行する。
buffer を typedArray.[[ViewedArrayBuffer]] とする。
elementType を TypedArrayElementType(typedArray) とする。
GetValueFromBuffer(buffer, byteIndexInBuffer, elementType, true, seq-cst) を返す。

25.4.10 Atomics.or ( `typedArray`, `index`, `value` )

この関数は呼び出されたとき次を行う:

or を (xBytes, yBytes) を引数に取り何も捕捉せず、呼ばれるとアトミックに ByteListBitwiseOp(|, xBytes, yBytes) を返す read-modify-write 変更関数とする。
? AtomicReadModifyWrite(typedArray, index, value, or) を返す。

25.4.11 Atomics.store ( `typedArray`, `index`, `value` )

この関数は呼び出されたとき次を行う:

byteIndexInBuffer を ? ValidateAtomicAccessOnIntegerTypedArray(typedArray, index) とする。
もし typedArray.[[ContentType]] が bigint なら v を ? ToBigInt(value) とする。
それ以外は v を 𝔽(? ToIntegerOrInfinity(value)) とする。
? RevalidateAtomicAccess(typedArray, byteIndexInBuffer) を実行する。
buffer を typedArray.[[ViewedArrayBuffer]] とする。
elementType を TypedArrayElementType(typedArray) とする。
SetValueInBuffer(buffer, byteIndexInBuffer, elementType, v, true, seq-cst) を実行する。
v を返す。

25.4.12 Atomics.sub ( `typedArray`, `index`, `value` )

この関数は呼び出されたとき次を行う:

subtract を (xBytes, yBytes) を引数に取り typedArray を捕捉し、呼ばれるとアトミックに以下を行う新たな read-modify-write 変更関数とする:
1. type を TypedArrayElementType(typedArray) とする。
2. isLittleEndian を周囲エージェントの Agent Record の [[LittleEndian]] フィールド値とする。
3. x を RawBytesToNumeric(type, xBytes, isLittleEndian) とする。
4. y を RawBytesToNumeric(type, yBytes, isLittleEndian) とする。
5. もし x が Number なら
  1. difference を Number::subtract(x, y) とする。
6. それ以外
  1. 事前条件: x は BigInt。
  2. difference を BigInt::subtract(x, y) とする。
7. differenceBytes を NumericToRawBytes(type, difference, isLittleEndian) とする。
8. 事前条件: differenceBytes, xBytes, yBytes は同じ要素数。
9. differenceBytes を返す。
? AtomicReadModifyWrite(typedArray, index, value, subtract) を返す。

25.4.13 Atomics.wait ( `typedArray`, `index`, `value`, `timeout` )

この関数は周囲のエージェントを待機キューに入れ、通知またはタイムアウトまでサスペンドし、それらを区別する文字列を返す。

呼び出されたとき次を行う:

? DoWait(sync, typedArray, index, value, timeout) を返す。

25.4.14 Atomics.waitAsync ( `typedArray`, `index`, `value`, `timeout` )

この関数は、呼び出しエージェントが通知されるかタイムアウトに達したとき解決される Promise を返す。

呼び出されたとき次を行う:

? DoWait(async, typedArray, index, value, timeout) を返す。

25.4.15 Atomics.notify ( `typedArray`, `index`, `count` )

この関数は待機キューでスリープしている一部のエージェントに通知する。

呼び出されたとき次を行う:

taRecord を ? ValidateIntegerTypedArray(typedArray, true) とする。
byteIndexInBuffer を ? ValidateAtomicAccess(taRecord, index) とする。
もし count が undefined なら
1. c を +∞ とする。
それ以外
1. intCount を ? ToIntegerOrInfinity(count) とする。
2. c を max(intCount, 0) とする。
buffer を typedArray.[[ViewedArrayBuffer]] とする。
block を buffer.[[ArrayBufferData]] とする。
もし IsSharedArrayBuffer(buffer) が false なら +0_𝔽 を返す。
WL を GetWaiterList(block, byteIndexInBuffer) とする。
EnterCriticalSection(WL) を実行する。
S を RemoveWaiters(WL, c) とする。
各 S の要素 W について
1. NotifyWaiter(WL, W) を実行する。
LeaveCriticalSection(WL) を実行する。
n を S の要素数とする。
𝔽(n) を返す。

25.4.16 Atomics.xor ( `typedArray`, `index`, `value` )

この関数は呼び出されたとき次を行う:

xor を (xBytes, yBytes) を引数に取り何も捕捉せず、呼ばれるとアトミックに ByteListBitwiseOp(^, xBytes, yBytes) を返す read-modify-write 変更関数とする。
? AtomicReadModifyWrite(typedArray, index, value, xor) を返す。

25.4.17 Atomics [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は文字列値 "Atomics" である。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持つ。

25.5 JSON オブジェクト

JSON オブジェクトは次の通りである:

%JSON% である。
グローバルオブジェクトの "JSON" プロパティの初期値である。
通常のオブジェクトである。
parse と stringify の 2 つの関数を含み、JSON テキストの構文解析と構築に使用される。
[[Prototype]] 内部スロットの値は %Object.prototype% である。
[[Construct]] 内部メソッドを持たず、new 演算子でコンストラクタとして使用できない。
[[Call]] 内部メソッドを持たず、関数として呼び出せない。

JSON データ交換形式は ECMA-404 に定義される。本仕様で使用される JSON 交換形式は ECMA-404 に記述されるものと正確に同一である。JSON.parse および JSON.stringify の適合実装は ECMA-404 仕様に記述された交換形式を、削除や拡張なしにサポートしなければならない。

25.5.1 JSON.parse ( `text` [ , `reviver` ] )

この関数は JSON テキスト（JSON 形式の文字列）を構文解析し、ECMAScript 言語値を生成する。JSON 形式はリテラル、配列、オブジェクトを ECMAScript のリテラル、配列初期化子、オブジェクト初期化子に類似した構文で表現する。構文解析後、JSON オブジェクトは ECMAScript オブジェクトとして実体化され、JSON 配列は ECMAScript の Array インスタンスとして実体化される。JSON の文字列、数値、真偽値、および null はそれぞれ ECMAScript の String, Number, Boolean, null として実体化される。

任意の reviver パラメータは 2 つのパラメータ key, value を取る関数であり、結果をフィルタおよび変換できる。構文解析で生成された各 key/value ペアで呼び出され、その戻り値が元の値の代わりに使用される。受け取ったものをそのまま返した場合、構造は変更されない。undefined を返した場合、そのプロパティは結果から削除される。

jsonString を ? ToString(text) とする。
unfiltered を ? ParseJSON(jsonString) とする。
もし IsCallable(reviver) が true なら
1. root を OrdinaryObjectCreate(%Object.prototype%) とする。
2. rootName を空文字列とする。
3. ! CreateDataPropertyOrThrow(root, rootName, unfiltered) を実行する。
4. ? InternalizeJSONProperty(root, rootName, reviver) を返す。
それ以外
1. unfiltered を返す。

この関数の "length" プロパティは 2_𝔽 である。

25.5.1.1 ParseJSON ( `text` )

The abstract operation ParseJSON takes argument text (a String) and returns 正常完了で ECMAScript 言語値を含むか、または throw completion. It performs the following steps when called:

もし StringToCodePoints(text) が ECMA-404 で規定された有効な JSON テキストでないなら SyntaxError 例外を投げる。
scriptString を "(", text, ");" の文字列連結とする。
script を ParseText(scriptString, Script) とする。
注: 13.2.5.1 で定義される早期エラールールは上記 ParseText 呼び出しに特別な扱いを持つ。
事前条件: script は Parse Node。
result を ! script の評価とする。
注: 13.2.5.5 で定義される PropertyDefinitionEvaluation の意味論は ParseJSON 中特別な扱いを持つ。
事前条件: result は String, Number, Boolean, ArrayLiteral か ObjectLiteral により定義される Object, または null のいずれかである。
result を返す。

適合実装が JSON.parse の JSON 文法を拡張することは許されない。修正または拡張された JSON 交換形式をサポートしたい実装は別の parse 関数を定義しなければならない。

Note 1

有効な JSON テキストは ECMAScript PrimaryExpression 構文の部分集合である。ステップ 1 は jsonString がその部分集合に従うことを検証し、ステップ 8 は評価が適切な型の値を返すことを保証する。

しかし、13.2.5.5 が ParseJSON 中で異なる振る舞いをするため、同一のソーステキストを PrimaryExpression として評価した場合と JSON として評価した場合で異なる結果を生むことがある。さらにオブジェクトリテラル内の重複 "__proto__" プロパティの Early Error（ParseJSON 中は適用されない）により、文法に合致していても ParseJSON が受理するすべてのテキストが PrimaryExpression として有効とは限らない。

Note 2

オブジェクト内に重複する name String が存在する場合、字句的に先行する同一キーの値は上書きされる。

25.5.1.2 InternalizeJSONProperty ( `holder`, `name`, `reviver` )

The abstract operation InternalizeJSONProperty takes arguments holder (an Object), name (a String), and reviver (a function object) and returns 正常完了で ECMAScript 言語値を含むか、または throw completion.

Note

このアルゴリズムは [[Delete]] または CreateDataProperty が false を返しても例外を投げないことを意図している。

呼び出されたとき次を行う:

val を ? Get(holder, name) とする。
もし val が Object なら
1. isArray を ? IsArray(val) とする。
2. もし isArray が true なら
  1. len を ? LengthOfArrayLike(val) とする。
  2. I を 0 とする。
  3. I < len の間繰り返す:
    1. prop を ! ToString(𝔽(I)) とする。
    2. newElement を ? InternalizeJSONProperty(val, prop, reviver) とする。
    3. もし newElement が undefined なら
      1. ? val.[[Delete]](prop) を実行。
    4. それ以外
      1. ? CreateDataProperty(val, prop, newElement) を実行。
    5. I を I + 1 にする。
3. それ以外
  1. keys を ? EnumerableOwnProperties(val, key) とする。
  2. 各 String P について
    1. newElement を ? InternalizeJSONProperty(val, P, reviver) とする。
    2. もし newElement が undefined なら
      1. ? val.[[Delete]](P) を実行。
    3. それ以外
      1. ? CreateDataProperty(val, P, newElement) を実行。
? Call(reviver, holder, « name, val ») を返す。

25.5.2 JSON.stringify ( `value` [ , `replacer` [ , `space` ] ] )

この関数は value を UTF-16 エンコードされた JSON 形式の文字列か undefined で表現して返す。3 つのパラメータを取る。value は通常オブジェクトまたは配列であるが、String, Boolean, Number, null も指定可能。任意の replacer はオブジェクトや配列の文字列化方法を変更する関数、または文字列と数値の配列であり、文字列化に含めるプロパティを選択する包含リストとして振る舞う。任意の space は String または Number で、人間可読性向上のため結果に空白を挿入できる。

呼び出されたとき次を行う:

stack を新たな空 List とする。
indent を空文字列とする。
PropertyList を undefined とする。
ReplacerFunction を undefined とする。
もし replacer が Object なら
1. もし IsCallable(replacer) が true なら
  1. ReplacerFunction を replacer に設定する。
2. それ以外
  1. isArray を ? IsArray(replacer) とする。
  2. もし isArray が true なら
    1. PropertyList を新たな空 List とする。
    2. len を ? LengthOfArrayLike(replacer) とする。
    3. k を 0 とする。
    4. k < len の間繰り返す:
      1. prop を ! ToString(𝔽(k)) とする。
      2. v を ? Get(replacer, prop) とする。
      3. item を undefined とする。
      4. もし v が String なら
        item を v とする。
      5. それ以外で v が Number なら
        item を ! ToString(v) とする。
      6. それ以外で v が Object なら
        もし v が [[StringData]] または [[NumberData]] 内部スロットを持つなら item を ? ToString(v) とする。
      7. もし item が undefined でなくかつ PropertyList に含まれていなければ item を PropertyList に追加する。
      8. k を k + 1 にする。
もし space が Object なら
1. もし space が [[NumberData]] 内部スロットを持つなら
  1. space を ? ToNumber(space) とする。
2. それ以外で space が [[StringData]] 内部スロットを持つなら
  1. space を ? ToString(space) とする。
もし space が Number なら
1. spaceMV を ! ToIntegerOrInfinity(space) とする。
2. spaceMV を min(10, spaceMV) に設定する。
3. もし spaceMV < 1 なら gap を空文字列、それ以外はコード単位 0x0020 (SPACE) の spaceMV 回繰り返しからなる文字列値とする。
それ以外で space が String なら
1. もし space の長さ ≤ 10 なら gap を space とし、そうでなければ space の 0 から 10 までの部分文字列とする。
それ以外
1. gap を空文字列とする。
wrapper を OrdinaryObjectCreate(%Object.prototype%) とする。
! CreateDataPropertyOrThrow(wrapper, 空文字列, value) を実行する。
state を JSON Serialization Record { [[ReplacerFunction]]: ReplacerFunction, [[Stack]]: stack, [[Indent]]: indent, [[Gap]]: gap, [[PropertyList]]: PropertyList } とする。
? SerializeJSONProperty(state, 空文字列, wrapper) を返す。

この関数の "length" プロパティは 3_𝔽 である。

Note 1

JSON 構造は任意の深さにネスト可能であるが非循環でなければならない。value が循環構造であるか含む場合、この関数は TypeError 例外を投げねばならない。以下は文字列化できない値の例:

a = [];
a[0] = a;
my_text = JSON.stringify(a); // これは TypeError を投げなければならない。

Note 2

シンボリックなプリミティブ値は以下のようにレンダリングされる:

null 値は JSON テキストでは文字列値 "null" として表現される。
undefined 値はレンダリングされない。
true 値は JSON テキストでは文字列値 "true" として表現される。
false 値は JSON テキストでは文字列値 "false" として表現される。

Note 3

文字列値は QUOTATION MARK (") コード単位で囲まれる。コード単位 " と \ は \ 接頭辞でエスケープされる。制御文字コード単位は \uHHHH のエスケープシーケンス、または短い形式 \b (BACKSPACE), \f (FORM FEED), \n (LINE FEED), \r (CARRIAGE RETURN), \t (CHARACTER TABULATION) に置換される。

Note 4

有限の数値は ToString(number) 呼び出しと同様に文字列化される。NaN と符号に関わらず Infinity は文字列値 "null" として表現される。

Note 5

JSON 表現を持たない値（undefined や関数など）は文字列を生成しない。代わりに undefined を生成する。配列ではこれらの値は文字列値 "null" として表現され、オブジェクトでは表現不能な値はそのプロパティが文字列化から除外される。

Note 6

オブジェクトは U+007B (LEFT CURLY BRACKET) で開始し、0 個以上のプロパティを U+002C (COMMA) で区切り、U+007D (RIGHT CURLY BRACKET) で閉じる。プロパティはプロパティ名を表す引用符付き String、U+003A (COLON)、およびその文字列化された値で構成される。配列は U+005B (LEFT SQUARE BRACKET) で開始し、0 個以上の値を U+002C (COMMA) で区切り、U+005D (RIGHT SQUARE BRACKET) で閉じる。

25.5.2.1 JSON Serialization Record

JSON Serialization Record は JSON 形式へのシリアライズを可能にするために用いられる Record 値である。

JSON Serialization Record は Table 78 に挙げるフィールドを持つ。

Table 78: JSON Serialization Record のフィールド

フィールド名	値	意味
`[[ReplacerFunction]]`	関数オブジェクトまたは undefined	オブジェクトプロパティに代替値を提供できる関数（JSON.stringify の `replacer` パラメータ）。
`[[PropertyList]]`	String の List または undefined	非配列オブジェクトをシリアライズする際に含めるプロパティ名（JSON.stringify の `replacer` パラメータ）。
`[[Gap]]`	String	インデント単位（JSON.stringify の `space` パラメータ）。
`[[Stack]]`	Object の List	シリアライズ処理中の入れ子オブジェクト集合。循環構造検出に使用。
`[[Indent]]`	String	現在のインデント。

25.5.2.2 SerializeJSONProperty ( `state`, `key`, `holder` )

The abstract operation SerializeJSONProperty takes arguments state (a JSON Serialization Record), key (a String), and holder (an Object) and returns 正常完了で String または undefined を含むか、または throw completion. It performs the following steps when called:

value を ? Get(holder, key) とする。
もし value が Object かまたは value が BigInt なら
1. toJSON を ? GetV(value, "toJSON") とする。
2. もし IsCallable(toJSON) が true なら
  1. value を ? Call(toJSON, value, « key ») とする。
もし state.[[ReplacerFunction]] が undefined でなければ
1. value を ? Call(state.[[ReplacerFunction]], holder, « key, value ») とする。
もし value が Object なら
1. もし value が [[NumberData]] 内部スロットを持つなら
  1. value を ? ToNumber(value) とする。
2. それ以外で [[StringData]] 内部スロットを持つなら
  1. value を ? ToString(value) とする。
3. それ以外で [[BooleanData]] 内部スロットを持つなら
  1. value を value.[[BooleanData]] とする。
4. それ以外で [[BigIntData]] 内部スロットを持つなら
  1. value を value.[[BigIntData]] とする。
もし value が null なら "null" を返す。
もし value が true なら "true" を返す。
もし value が false なら "false" を返す。
もし value が String なら QuoteJSONString(value) を返す。
もし value が Number なら
1. もし value が有限なら ! ToString(value) を返す。
2. "null" を返す。
もし value が BigInt なら TypeError 例外を投げる。
もし value が Object かつ IsCallable(value) が false なら
1. isArray を ? IsArray(value) とする。
2. もし isArray が true なら ? SerializeJSONArray(state, value) を返す。
3. ? SerializeJSONObject(state, value) を返す。
undefined を返す。

25.5.2.3 QuoteJSONString ( `value` )

The abstract operation QuoteJSONString takes argument value (a String) and returns String. value を 0x0022 (QUOTATION MARK) コード単位で囲み、その内部の特定コード単位をエスケープする。この操作は 6.1.4 に記述される通り UTF-16 エンコードされたコードポイント列として value を解釈する。 It performs the following steps when called:

product をコード単位 0x0022 (QUOTATION MARK) だけからなる文字列値とする。
StringToCodePoints(value) の各コードポイント C について
1. もし C が Table 79 の “Code Point” 列に記載されているなら
  1. product を product と対応行の “Escape Sequence” 列のエスケープシーケンスの文字列連結とする。
2. それ以外で C の数値が 0x0020 (SPACE) 未満か、C が前方サロゲートまたは後方サロゲートと同じ数値なら
  1. unit を C の数値と同じ数値を持つコード単位とする。
  2. product を product と UnicodeEscape(unit) の文字列連結とする。
3. それ以外
  1. product を product と UTF16EncodeCodePoint(C) の文字列連結とする。
product を product とコード単位 0x0022 (QUOTATION MARK) の文字列連結とする。
product を返す。

Table 79: JSON 単一文字エスケープシーケンス

Code Point	Unicode Character Name	Escape Sequence
U+0008	BACKSPACE	`\b`
U+0009	CHARACTER TABULATION	`\t`
U+000A	LINE FEED (LF)	`\n`
U+000C	FORM FEED (FF)	`\f`
U+000D	CARRIAGE RETURN (CR)	`\r`
U+0022	QUOTATION MARK	`\"`
U+005C	REVERSE SOLIDUS	`\\`

25.5.2.4 UnicodeEscape ( `C` )

The abstract operation UnicodeEscape takes argument C (a code unit) and returns String. C を Unicode エスケープシーケンスとして表現する。 It performs the following steps when called:

n を C の数値とする。
事前条件: n ≤ 0xFFFF.
hex を n の小文字 16 進数形式の文字列表現とする。
コード単位 0x005C (REVERSE SOLIDUS), "u", および StringPad(hex, 4, "0", start) の文字列連結を返す。

25.5.2.5 SerializeJSONObject ( `state`, `value` )

The abstract operation SerializeJSONObject takes arguments state (a JSON Serialization Record) and value (an Object) and returns 正常完了で String を含むか、または throw completion. オブジェクトをシリアライズする。 It performs the following steps when called:

もし state.[[Stack]] が value を含むなら構造が循環しているので TypeError 例外を投げる。
value を state.[[Stack]] に追加する。
stepBack を state.[[Indent]] とする。
state.[[Indent]] を state.[[Indent]] と state.[[Gap]] の文字列連結とする。
もし state.[[PropertyList]] が undefined でなければ
1. K を state.[[PropertyList]] とする。
それ以外
1. K を ? EnumerableOwnProperties(value, key) とする。
partial を新たな空 List とする。
各 K の要素 P について
1. strP を ? SerializeJSONProperty(state, P, value) とする。
2. もし strP が undefined でなければ
  1. member を QuoteJSONString(P) とする。
  2. member を member と ":" の文字列連結とする。
  3. もし state.[[Gap]] が空文字列でなければ
    1. member を member とコード単位 0x0020 (SPACE) の文字列連結とする。
  4. member を member と strP の文字列連結とする。
  5. member を partial に追加する。
もし partial が空なら
1. final を "{}" とする。
それ以外
1. もし state.[[Gap]] が空文字列なら
  1. properties を partial の全要素文字列をコード単位 0x002C (COMMA) で区切って連結した String 値とし（先頭や末尾には挿入しない）、final を "{", properties, "}" の文字列連結とする。
2. それ以外
  1. separator をコード単位 0x002C (COMMA), 0x000A (LINE FEED), state.[[Indent]] の文字列連結とする。
  2. properties を partial の全要素文字列を separator で区切って連結した String 値とし（先頭/末尾には挿入しない）、final を "{", コード単位 0x000A (LINE FEED), state.[[Indent]], properties, コード単位 0x000A (LINE FEED), stepBack, "}" の文字列連結とする。
state.[[Stack]] の最後の要素を除去する。
state.[[Indent]] を stepBack に設定する。
final を返す。

25.5.2.6 SerializeJSONArray ( `state`, `value` )

The abstract operation SerializeJSONArray takes arguments state (a JSON Serialization Record) and value (an ECMAScript language value) and returns 正常完了で String を含むか、または throw completion. 配列をシリアライズする。 It performs the following steps when called:

もし state.[[Stack]] が value を含むなら構造が循環しているので TypeError 例外を投げる。
value を state.[[Stack]] に追加する。
stepBack を state.[[Indent]] とする。
state.[[Indent]] を state.[[Indent]] と state.[[Gap]] の文字列連結とする。
partial を新たな空 List とする。
len を ? LengthOfArrayLike(value) とする。
index を 0 とする。
index < len の間繰り返す:
1. strP を ? SerializeJSONProperty(state, ! ToString(𝔽(index)), value) とする。
2. もし strP が undefined なら
  1. "null" を partial に追加する。
3. それ以外
  1. strP を partial に追加する。
4. index を index + 1 にする。
もし partial が空なら
1. final を "[]" とする。
それ以外
1. もし state.[[Gap]] が空文字列なら
  1. properties を partial の全要素文字列をコード単位 0x002C (COMMA) で区切って連結した String 値とする。
  2. final を "[", properties, "]" の文字列連結とする。
2. それ以外
  1. separator をコード単位 0x002C (COMMA), コード単位 0x000A (LINE FEED), state.[[Indent]] の文字列連結とする。
  2. properties を partial の全要素文字列を separator で区切って連結した String 値とする。
  3. final を "[", コード単位 0x000A (LINE FEED), state.[[Indent]], properties, コード単位 0x000A (LINE FEED), stepBack, "]" の文字列連結とする。
state.[[Stack]] の最後の要素を除去する。
state.[[Indent]] を stepBack に設定する。
final を返す。

Note

配列の表現には +0_𝔽（含む）から array.length（含まない）までの要素のみが含まれる。配列インデックスでないキーのプロパティは文字列化から除外される。配列は左角括弧、要素を COMMA で区切り、右角括弧で表現される。

25.5.3 JSON [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は文字列値 "JSON" である。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持つ。

25 構造化データ

25.1 ArrayBuffer オブジェクト

25.1.1 記法

25.1.2 固定長およびリサイズ可能 ArrayBuffer オブジェクト

25.1.3 ArrayBuffer オブジェクトに関する抽象操作

25.1.3.1 AllocateArrayBuffer ( constructor, byteLength [ , maxByteLength ] )

25.1.3.2 ArrayBufferByteLength ( arrayBuffer, order )

25.1.3.3 ArrayBufferCopyAndDetach ( arrayBuffer, newLength, preserveResizability )

25.1.3.4 IsDetachedBuffer ( arrayBuffer )

25.1.3.5 DetachArrayBuffer ( arrayBuffer [ , key ] )

25.1.3.6 CloneArrayBuffer ( srcBuffer, srcByteOffset, srcLength )

25.1.3.7 GetArrayBufferMaxByteLengthOption ( options )

25.1.3.8 HostResizeArrayBuffer ( buffer, newByteLength )

25.1.3.9 IsFixedLengthArrayBuffer ( arrayBuffer )

25.1.3.10 IsUnsignedElementType ( type )

25.1.3.11 IsUnclampedIntegerElementType ( type )

25.1.3.12 IsBigIntElementType ( type )

25.1.3.13 IsNoTearConfiguration ( type, order )

25.1.3.14 RawBytesToNumeric ( type, rawBytes, isLittleEndian )

25.1.3.15 GetRawBytesFromSharedBlock ( block, byteIndex, type, isTypedArray, order )

25.1.3.16 GetValueFromBuffer ( arrayBuffer, byteIndex, type, isTypedArray, order [ , isLittleEndian ] )

25.1.3.17 NumericToRawBytes ( type, value, isLittleEndian )

25.1.3.18 SetValueInBuffer ( arrayBuffer, byteIndex, type, value, isTypedArray, order [ , isLittleEndian ] )

25.1.3.19 GetModifySetValueInBuffer ( arrayBuffer, byteIndex, type, value, op )

25.1.4 ArrayBuffer コンストラクター

25.1.4.1 ArrayBuffer ( length [ , options ] )

25.1.5 ArrayBuffer コンストラクターのプロパティ

25.1.5.1 ArrayBuffer.isView ( arg )

25.1.5.2 ArrayBuffer.prototype

25.1.5.3 get ArrayBuffer [ %Symbol.species% ]

25.1.6 ArrayBuffer プロトタイプオブジェクトのプロパティ

25.1.6.1 get ArrayBuffer.prototype.byteLength

25.1.6.2 ArrayBuffer.prototype.constructor

25.1.6.3 get ArrayBuffer.prototype.detached

25.1.6.4 get ArrayBuffer.prototype.maxByteLength

25.1.6.5 get ArrayBuffer.prototype.resizable

25.1.6.6 ArrayBuffer.prototype.resize ( newLength )

25.1.6.7 ArrayBuffer.prototype.slice ( start, end )

25.1.6.8 ArrayBuffer.prototype.transfer ( [ newLength ] )

25.1.6.9 ArrayBuffer.prototype.transferToFixedLength ( [ newLength ] )

25.1.6.10 ArrayBuffer.prototype [ %Symbol.toStringTag% ]

25.1.7 ArrayBuffer インスタンスのプロパティ

25.1.8 リサイズ可能 ArrayBuffer ガイドライン

25.2 SharedArrayBuffer オブジェクト

25.2.1 固定長および成長可能 (growable) SharedArrayBuffer オブジェクト

25.2.2 SharedArrayBuffer オブジェクト用抽象操作

25.2.2.1 AllocateSharedArrayBuffer ( constructor, byteLength [ , maxByteLength ] )

25.2.2.2 IsSharedArrayBuffer ( obj )

25.2.2.3 HostGrowSharedArrayBuffer ( buffer, newByteLength )

25.2.3 SharedArrayBuffer コンストラクター

25.2.3.1 SharedArrayBuffer ( length [ , options ] )

25.2.4 SharedArrayBuffer コンストラクターのプロパティ

25.2.4.1 SharedArrayBuffer.prototype

25.2.4.2 get SharedArrayBuffer [ %Symbol.species% ]

25.2.5 SharedArrayBuffer プロトタイプオブジェクトのプロパティ

25.2.5.1 get SharedArrayBuffer.prototype.byteLength

25.2.5.2 SharedArrayBuffer.prototype.constructor

25.2.5.3 SharedArrayBuffer.prototype.grow ( newLength )

25.2.5.4 get SharedArrayBuffer.prototype.growable

25.2.5.5 get SharedArrayBuffer.prototype.maxByteLength

25.2.5.6 SharedArrayBuffer.prototype.slice ( start, end )

25.2.5.7 SharedArrayBuffer.prototype [ %Symbol.toStringTag% ]

25.2.6 SharedArrayBuffer インスタンスのプロパティ

25.2.7 成長可能 SharedArrayBuffer ガイドライン

25.3 DataView オブジェクト

25.3.1 DataView オブジェクト用抽象操作

25.3.1.1 DataView With Buffer Witness Record

25.3.1.2 MakeDataViewWithBufferWitnessRecord ( obj, order )

25.3.1.3 GetViewByteLength ( viewRecord )

25.3.1.4 IsViewOutOfBounds ( viewRecord )

25.3.1.5 GetViewValue ( view, requestIndex, isLittleEndian, type )

25.3.1.6 SetViewValue ( view, requestIndex, isLittleEndian, type, value )

25.3.2 DataView コンストラクター

25.3.2.1 DataView ( buffer [ , byteOffset [ , byteLength ] ] )

25.3.3 DataView コンストラクターのプロパティ

25.3.3.1 DataView.prototype

25.3.4 DataView プロトタイプオブジェクトのプロパティ

25.3.4.1 get DataView.prototype.buffer

25.3.4.2 get DataView.prototype.byteLength

25.3.4.3 get DataView.prototype.byteOffset

25.1.3.1 AllocateArrayBuffer ( `constructor`, `byteLength` [ , `maxByteLength` ] )

25.1.3.2 ArrayBufferByteLength ( `arrayBuffer`, `order` )

25.1.3.3 ArrayBufferCopyAndDetach ( `arrayBuffer`, `newLength`, `preserveResizability` )

25.1.3.4 IsDetachedBuffer ( `arrayBuffer` )

25.1.3.5 DetachArrayBuffer ( `arrayBuffer` [ , `key` ] )

25.1.3.6 CloneArrayBuffer ( `srcBuffer`, `srcByteOffset`, `srcLength` )

25.1.3.7 GetArrayBufferMaxByteLengthOption ( `options` )

25.1.3.8 HostResizeArrayBuffer ( `buffer`, `newByteLength` )

25.1.3.9 IsFixedLengthArrayBuffer ( `arrayBuffer` )

25.1.3.10 IsUnsignedElementType ( `type` )

25.1.3.11 IsUnclampedIntegerElementType ( `type` )

25.1.3.12 IsBigIntElementType ( `type` )

25.1.3.13 IsNoTearConfiguration ( `type`, `order` )

25.1.3.14 RawBytesToNumeric ( `type`, `rawBytes`, `isLittleEndian` )

25.1.3.15 GetRawBytesFromSharedBlock ( `block`, `byteIndex`, `type`, `isTypedArray`, `order` )

25.1.3.16 GetValueFromBuffer ( `arrayBuffer`, `byteIndex`, `type`, `isTypedArray`, `order` [ , `isLittleEndian` ] )

25.1.3.17 NumericToRawBytes ( `type`, `value`, `isLittleEndian` )

25.1.3.18 SetValueInBuffer ( `arrayBuffer`, `byteIndex`, `type`, `value`, `isTypedArray`, `order` [ , `isLittleEndian` ] )

25.1.3.19 GetModifySetValueInBuffer ( `arrayBuffer`, `byteIndex`, `type`, `value`, `op` )

25.1.4.1 ArrayBuffer ( `length` [ , `options` ] )

25.1.5.1 ArrayBuffer.isView ( `arg` )

25.1.6.6 ArrayBuffer.prototype.resize ( `newLength` )

25.1.6.7 ArrayBuffer.prototype.slice ( `start`, `end` )

25.1.6.8 ArrayBuffer.prototype.transfer ( [ `newLength` ] )

25.1.6.9 ArrayBuffer.prototype.transferToFixedLength ( [ `newLength` ] )

25.2.2.1 AllocateSharedArrayBuffer ( `constructor`, `byteLength` [ , `maxByteLength` ] )

25.2.2.2 IsSharedArrayBuffer ( `obj` )

25.2.2.3 HostGrowSharedArrayBuffer ( `buffer`, `newByteLength` )

25.2.3.1 SharedArrayBuffer ( `length` [ , `options` ] )

25.2.5.3 SharedArrayBuffer.prototype.grow ( `newLength` )

25.2.5.6 SharedArrayBuffer.prototype.slice ( `start`, `end` )

25.3.1.2 MakeDataViewWithBufferWitnessRecord ( `obj`, `order` )

25.3.1.3 GetViewByteLength ( `viewRecord` )

25.3.1.4 IsViewOutOfBounds ( `viewRecord` )

25.3.1.5 GetViewValue ( `view`, `requestIndex`, `isLittleEndian`, `type` )

25.3.1.6 SetViewValue ( `view`, `requestIndex`, `isLittleEndian`, `type`, `value` )

25.3.2.1 DataView ( `buffer` [ , `byteOffset` [ , `byteLength` ] ] )

25.3.4.5 DataView.prototype.getBigInt64 ( `byteOffset` [ , `littleEndian` ] )

25.3.4.6 DataView.prototype.getBigUint64 ( `byteOffset` [ , `littleEndian` ] )

25.3.4.7 DataView.prototype.getFloat16 ( `byteOffset` [ , `littleEndian` ] )

25.3.4.8 DataView.prototype.getFloat32 ( `byteOffset` [ , `littleEndian` ] )

25.3.4.9 DataView.prototype.getFloat64 ( `byteOffset` [ , `littleEndian` ] )

25.3.4.10 DataView.prototype.getInt8 ( `byteOffset` )

25.3.4.11 DataView.prototype.getInt16 ( `byteOffset` [ , `littleEndian` ] )

25.3.4.12 DataView.prototype.getInt32 ( `byteOffset` [ , `littleEndian` ] )

25.3.4.13 DataView.prototype.getUint8 ( `byteOffset` )

25.3.4.14 DataView.prototype.getUint16 ( `byteOffset` [ , `littleEndian` ] )

25.3.4.15 DataView.prototype.getUint32 ( `byteOffset` [ , `littleEndian` ] )

25.3.4.16 DataView.prototype.setBigInt64 ( `byteOffset`, `value` [ , `littleEndian` ] )

25.3.4.17 DataView.prototype.setBigUint64 ( `byteOffset`, `value` [ , `littleEndian` ] )

25.3.4.18 DataView.prototype.setFloat16 ( `byteOffset`, `value` [ , `littleEndian` ] )

25.3.4.19 DataView.prototype.setFloat32 ( `byteOffset`, `value` [ , `littleEndian` ] )

25.3.4.20 DataView.prototype.setFloat64 ( `byteOffset`, `value` [ , `littleEndian` ] )

25.3.4.21 DataView.prototype.setInt8 ( `byteOffset`, `value` )

25.3.4.22 DataView.prototype.setInt16 ( `byteOffset`, `value` [ , `littleEndian` ] )

25.3.4.23 DataView.prototype.setInt32 ( `byteOffset`, `value` [ , `littleEndian` ] )

25.3.4.24 DataView.prototype.setUint8 ( `byteOffset`, `value` )

25.3.4.25 DataView.prototype.setUint16 ( `byteOffset`, `value` [ , `littleEndian` ] )

25.3.4.26 DataView.prototype.setUint32 ( `byteOffset`, `value` [ , `littleEndian` ] )

25.4.3.1 ValidateIntegerTypedArray ( `typedArray`, `waitable` )

25.4.3.2 ValidateAtomicAccess ( `taRecord`, `requestIndex` )

25.4.3.3 ValidateAtomicAccessOnIntegerTypedArray ( `typedArray`, `requestIndex` )

25.4.3.4 RevalidateAtomicAccess ( `typedArray`, `byteIndexInBuffer` )

25.4.3.5 GetWaiterList ( `block`, `i` )

25.4.3.6 EnterCriticalSection ( `WL` )

25.4.3.7 LeaveCriticalSection ( `WL` )

25.4.3.8 AddWaiter ( `WL`, `waiterRecord` )

25.4.3.9 RemoveWaiter ( `WL`, `waiterRecord` )

25.4.3.10 RemoveWaiters ( `WL`, `c` )

25.4.3.11 SuspendThisAgent ( `WL`, `waiterRecord` )

25.4.3.12 NotifyWaiter ( `WL`, `waiterRecord` )

25.4.3.13 EnqueueResolveInAgentJob ( `agentSignifier`, `promiseCapability`, `resolution` )

25.4.3.14 DoWait ( `mode`, `typedArray`, `index`, `value`, `timeout` )

25.4.3.15 EnqueueAtomicsWaitAsyncTimeoutJob ( `WL`, `waiterRecord` )

25.4.3.16 AtomicCompareExchangeInSharedBlock ( `block`, `byteIndexInBuffer`, `elementSize`, `expectedBytes`, `replacementBytes` )

25.4.3.17 AtomicReadModifyWrite ( `typedArray`, `index`, `value`, `op` )

25.4.3.18 ByteListBitwiseOp ( `op`, `xBytes`, `yBytes` )

25.4.3.19 ByteListEqual ( `xBytes`, `yBytes` )

25.4.4 Atomics.add ( `typedArray`, `index`, `value` )

25.4.5 Atomics.and ( `typedArray`, `index`, `value` )