8 実行可能コードと実行コンテキスト(Executable Code and Execution Contexts)

8.1 レキシカル環境(Lexical Environments)

レキシカル環境は、ECMAScriptコードの字句のネスト構造に基づいて、特定の変数および関数への識別子の関連付けを定義する仕様タイプです。レキシカル環境は、環境レコードと、外部のレキシカル環境へのnull参照で構成されます。 通常、レキシカル環境は、FunctionDeclaration、BlockStatement、またはTryStatementのCatch句などのECMAScriptコードの特定の構文構造に関連付けられており、そのようなコードが評価されるたびに新しいレキシカル環境が作成されます。

EnvironmentRecord

環境レコードは、関連付けられたレキシカル環境のスコープ内で作成された識別子バインディングを記録します。レキシカル環境のEnvironmentRecordと呼ばれます。

外部環境参照

外部環境参照は、レキシカル環境値の論理的なネストをモデル化するために使用されます。レキシカル環境の外部参照は、レキシカル環境を論理的に囲んでいるレキシカル環境への参照です。 もちろん、外部のレキシカル環境は外部のレキシカル環境を持つことができます。レキシカル環境は、複数のレキシカル環境の外部環境として機能します。たとえば、FunctionDeclaration内にFunctionDeclarationが２つある場合、内側の各関数のレキシカル環境は、周囲の関数のレキシカル環境を外側のレキシカル環境として持ちます。

====レキシカル環境(1)===== function , block{} , Catch ...

   [====レキシカル環境(2)==== function , block{} , Catch ...
   |     外部環境参照=> (1) への参照
   |
   |     [====レキシカル環境(3)==== function , block{} , Catch ...
   |     |       外部環境参照=> (2) への参照
   |     =========================================]
   |
   ==================================================]

   [====レキシカル環境(4)==== function , block{} , Catch ...
   |     
   |    外部環境参照=> (1) への参照
   |
   ==================================================]

==========================================================

グローバル環境

グローバル環境は外部環境を持たない、外部環境参照がnullなレキシカル環境です。グローバル環境のEnvironmentRecordには、識別子バインディングが事前に設定され、プロパティにはグローバル環境の識別子バインディングの一部を提供する関連グローバルオブジェクトが含まれます。グローバルオブジェクトは、ECMAScriptコードの実行により、新しいプロパティが追加されたり、初期プロパティが変更されることがあります。

モジュール環境

モジュール環境は、モジュールのトップレベル宣言のバインディングを含むレキシカル環境です。 また、モジュールによって明示的にインポートされたバインディングも含まれています。 モジュール環境の外部環境はグローバル環境です。

関数環境

関数環境は、ECMAScript関数オブジェクトの呼び出しに対応するレキシカル環境です。 関数環境は、新しいthisバインディングを確立する場合があります。 関数環境は、スーパーメソッドの呼び出しをサポートするために必要な状態もキャプチャします。

レキシカル環境と環境レコードの値は純粋に仕様メカニズムであり、ECMAScript実装の特定のアーティファクトに対応する必要はありません。 ECMAScriptプログラムがそれらに直接アクセスまたは操作することは不可能です。

8.1.1 環境レコード(Environment Records)

この仕様で使用される主な環境レコード値は、宣言型環境レコードとオブジェクト環境レコードの2つです。宣言的環境レコードは、識別子バインディングをECMAScript言語値に直接関連付けるFunctionDeclaration、VariableDeclaration、Catch句などのECMAScript言語構文要素を定義します。 オブジェクト環境レコードは、IDバインディングをオブジェクトのプロパティに関連付けるWithStatementなどのECMAScript要素を定義します。グローバル環境レコードと関数環境レコードは、特にスクリプトのグローバル宣言と関数内のトップレベル宣言に使用されます。

仕様上、環境レコード値はレコード仕様タイプの値であり、単純なオブジェクト指向階層に存在すると考えることができます。環境レコードは、3つの具象サブクラス、宣言型環境レコード、オブジェクト環境レコード、およびグローバル環境を持つ抽象クラスです。 関数環境レコードとモジュール環境レコードは、宣言型環境レコードのサブクラスです。 抽象クラスには、表16で定義された抽象仕様メソッドが含まれます。これらの抽象メソッドには、具象サブクラスごとに異なる具象アルゴリズムがあります。

8.1.1.1 宣言的環境レコード(Declarative Environment Records)

宣言型環境レコードは、ECMAScriptプログラムスコープに関連付けられています（プログラムスコープは、変数、定数、let、クラス、モジュール、インポート、および、関数宣言のどれか、または全てが含まれています）。宣言型環境レコードは、そのスコープ内の宣言で定義された識別子をバインドします。

宣言型環境レコードの具体的な仕様メソッドは、次のアルゴリズムによって定義されます。

8.1.1.1.1 HasBinding ( N )

環境レコードメソッドHasBindingは、識別子Nがレコードによってバインドされているかどうかをシンプルな方法で判断します。

8.1.1.1.2 CreateMutableBinding ( N, D )

環境レコードメソッドCreateMutableBindingは、初期化されていない名前Nの新しい可変バインディングを作成します。 実行前に、対象となる名前が環境レコード上に存在していてはなりません。ブール引数Dの値がtrueの場合、作成したバインディングを削除対象としてマークします。

8.1.1.1.3 CreateImmutableBinding ( N, S )

環境レコードメソッドCreateImmutableBindingは、初期化されていない名前Nの不変バインディングを作成します。 実行前に、対象となる名前が環境レコード上に存在していてはなりません。ブール引数Sの値がtrueの場合、新しいバインディングは厳密なバインディングとしてマークされます。

8.1.1.1.4 InitializeBinding ( N, V )

環境レコードメソッドInitializeBindingは、Nに対応するバインド値をVの値に設定します。目的のバインドはすでに存在している必要があります。

8.1.1.1.5 SetMutableBinding ( N, V, S )

環境レコードメソッドSetMutableBindingは、Nに対応するバインド値をVの値に変更します。Nのバインドは存在していることも、存在していないこともあります。 バインディングが不変バインディングで、Sがtrueなら、TypeErrorがスローされます。

function f() { eval("var x; x = (delete x, 0);"); }

8.1.1.1.6 GetBindingValue ( N, S )

環境レコードメソッドGetBindingValueは、名前が引数Nの値であるバインドされた識別子の値を返します。バインディングが存在するが初期化されていない場合、Sの値に関係なく、ReferenceErrorがスローされます。

8.1.1.1.7 DeleteBinding ( N )

環境レコードメソッドDeleteBindingは、削除対象として明示的に指定されているバインディングのみを削除できます。

8.1.1.1.8 HasThisBinding ( )

通常の宣言型環境レコードは、thisバインディングを提供しません。

8.1.1.1.9 HasSuperBinding ( )

通常の宣言型環境レコードはsuperバインディングを提供しません。

8.1.1.1.10 WithBaseObject ( )

宣言型環境レコードは常にWithBaseObjectとしてundefinedを返します。

8.1.1.2 オブジェクト環境レコード(Object Environment Records)

オブジェクト環境レコードは、バインディングオブジェクトと呼ばれるオブジェクトに関連付けられています。 オブジェクト環境レコードは、バインディングオブジェクトのプロパティ名に直接対応する文字列識別子名のセットをバインドします。 IdentifierName形式の文字列ではないプロパティキーは、バインドされた識別子のセットに含まれません。 独自プロパティと継承プロパティの両方が、[[Enumerable]]属性の設定に関係なくセットに含まれます。 プロパティは動的にオブジェクトに追加および削除できるため、オブジェクト環境レコードにバインドされている識別子のセットは、プロパティを追加または削除する操作の結果として変更される可能性があります。 このような処理の結果として作成されたバインディングは、対応するプロパティの[[Writable]]属性の値がfalseであっても、可変バインディングと見なされます。 不変バインディングは、オブジェクトの環境レコードには存在しません。

withEnvironment

withステートメント（13.11）用に作成されたオブジェクト環境レコードは、バインディングオブジェクトを関数呼び出しで使用する暗黙のthis値として提供できます。 この機能は、各オブジェクトの環境レコードに関連付けられているwithEnvironmentブール値によって制御されます。 デフォルトでは、withEnvironmentの値は、どのオブジェクト環境レコードでもfalseです。

オブジェクト環境レコードの具体的な指定メソッドは、次のアルゴリズムによって定義されます。

8.1.1.2.1 HasBinding ( N )

オブジェクト環境レコードメソッドHasBindingは、関連付けられたバインディングオブジェクトに、名前が引数Nの値であるプロパティがあるかどうかを決定します。

8.1.1.2.2 CreateMutableBinding ( N, D )

オブジェクト環境レコードメソッドCreateMutableBindingは、環境レコードに関連付けられたバインディングオブジェクトに、名前が文字列値Nのプロパティを作成し、undefinedの値に初期化します。 ブール引数Dの値は、作成したプロパティの[[Configurable]]属性に設定されます。

8.1.1.2.3 CreateImmutableBinding ( N, S )

オブジェクト環境レコードメソッドCreateImmutableBindingは、この仕様内で使用されません。

8.1.1.2.4 InitializeBinding ( N, V )

オブジェクト環境レコードメソッドInitializeBindingは、Nに対応するバインド値をVの値に設定します。目的のバインドはすでに存在している必要があります。

8.1.1.2.5 SetMutableBinding ( N, V, S )

オブジェクト環境レコードメソッドSetMutableBindingは、N に対応するバインド値を V の値に設定します。Nという名前のプロパティが存在している必要があります。存在しない または書き込み不可の場合、SがtrueならTypeErrorがスローされます。

8.1.1.2.6 GetBindingValue ( N, S )

オブジェクト環境レコードメソッドGetBindingValueは、、N に対応するバインディングオブジェクトのプロパティの値を返します。プロパティが存在しない場合、結果はS引数の値に依存します。

8.1.1.2.7 DeleteBinding ( N )

オブジェクト環境レコードメソッドDeleteBindingは、[[Configurable]]属性がtrueであるバインディングのみを削除できます。

8.1.1.2.8 HasThisBinding ( )

通常のオブジェクト環境レコードは、thisバインディングを提供しません。

8.1.1.2.9 HasSuperBinding ( )

通常のオブジェクト環境レコードは、superバインディングを提供しません。

8.1.1.2.10 WithBaseObject ( )

オブジェクト環境レコードは、withEnvironmentフラグがtrueでない限り、WithBaseObjectとしてundefined を返します。

8.1.1.3 関数環境レコード(Function Environment Records)

関数環境レコードは、関数のトップレベルのスコープを表すために使用される宣言型環境レコードです。関数がArrowFunctionでない場合、このバインディングを使用します。 関数がArrowFunction関数ではなく、さらにsuperが参照される場合、その関数の環境レコードには、関数内からスーパーメソッドの呼び出しを実行するために必要な情報が含まれています。

関数環境レコードには、表17に示す追加フィールドがあります。

関数環境レコードは、表16にリストされているすべての宣言型環境レコードメソッドをサポートし、HasThisBindingとHasSuperBindingを除くすべてのメソッドで同じ仕様を共有します。 さらに、関数環境レコードは、表18にリストされているメソッドをサポートします。

表18: 関数環境レコードの追加メソッド

関数環境レコードの追加メソッドの動作は、次のアルゴリズムによって定義されます。

8.1.1.3.1 BindThisValue ( V )

8.1.1.3.2 HasThisBinding ( )

8.1.1.3.3 HasSuperBinding ( )

8.1.1.3.4 GetThisBinding ( )

8.1.1.3.5 GetSuperBase ( )

8.1.1.4 グローバル環境レコード(Global Environment Records)

グローバル環境レコードは、共通のレルムで処理されるすべてのECMAScriptスクリプト要素によって共有される、最も外側のスコープです。 グローバル環境レコードは、組み込みグローバル（18章）、グローバルオブジェクトのプロパティ、およびスクリプト内で発生するすべてのトップレベル宣言（13.2.8、13.2.10）のバインディングを提供します。

グローバル環境レコードは論理的には単一のレコードです。ただし、オブジェクト環境レコードと宣言型環境レコードをカプセル化し複合化しています。 オブジェクト環境レコードは、関連するレルムレコードのグローバルオブジェクトをベースオブジェクトとして持っています。 このグローバルオブジェクトは、グローバル環境レコードのGetThisBinding具象メソッドが返す値です。 グローバル環境レコードのオブジェクト環境レコードコンポーネントには、すべての組み込みグローバル（18章）のバインディングと、グローバルコードに含まれるFunctionDeclaration、GeneratorDeclaration、AsyncFunctionDeclaration、AsyncGeneratorDeclaration、VariableStatementによって導入されたすべてのバインディングが含まれます。 グローバルコード内の他のすべてのECMAScript宣言のバインディングは、グローバル環境レコードの宣言型環境レコードコンポーネントに含まれています。

グローバルオブジェクトにプロパティを直接作成できます。 したがって、グローバル環境レコードのオブジェクト環境レコードコンポーネントには、FunctionDeclaration、GeneratorDeclaration、AsyncFunctionDeclaration、AsyncGeneratorDeclaration、VariableDeclaration宣言によって明示的に作成されたバインディングと、グローバルオブジェクトのプロパティとして暗黙的に作成されたバインディングの両方が含まれます。 宣言を使用して明示的に作成されたバインディングを識別するために、グローバル環境レコードは、CreateGlobalVarBindingおよびCreateGlobalFunctionBindingメソッドを使用してバインドされた名前のリストを維持します。

グローバル環境レコードには、表19の追加のフィールドと、表20の追加メソッドがあります。

グローバル環境レコードの具体的な動作は、以下のアルゴリズムで定義されています。

8.1.1.4.1 HasBinding ( N )

グローバル環境レコードメソッドHasBindingは、Nがレコードによってバインドされているかを単純な方法で決定します。

8.1.1.4.2 CreateMutableBinding ( N, D )

グローバル環境レコードメソッドCreateMutableBindingは、名前Nの新しい可変バインディングを初期化せずに作成します。 バインディングは、関連するDeclarativeRecordに作成されます。 Nのバインディングは、DeclarativeRecordにすでに存在していてはなりません。 ブール引数Dの値がtrueの場合、作成したバインディングは削除の対象としてマークします。

8.1.1.4.3 CreateImmutableBinding ( N, S )

グローバル環境レコードメソッドCreateImmutableBindingは、名前Nの新しい不変バインディングを初期化せずに作成します。 バインディングは、このNの環境レコードにすでに存在していてはなりません。ブール引数Sの値がtrueの場合、作成したバインディングは厳密なバインディングとしてマークされます。

8.1.1.4.4 InitializeBinding ( N, V )

グローバル環境レコードメソッドInitializeBindingは、Nに対応するバインド値を引数Vの値に設定します。目的のバインドはすでに存在している必要があります。

8.1.1.4.5 SetMutableBinding ( N, V, S )

グローバル環境レコードメソッドSetMutableBindingは、引数Nに対応するバインド値を引数Vの値に変更します。バインドが不変バインドでSがtrueのとき、TypeErrorがスローされます。 Nという名前のプロパティが存在しない場合、または現在書き込み可能でない場合、エラー処理はブール引数Sの値によって決定されます。

8.1.1.4.6 GetBindingValue ( N, S )

グローバル環境レコードメソッドGetBindingValueは、引数Nに対応する識別子の値を返します。バインディングが初期化されていない場合、ReferenceError例外をスローします。 Nという名前のプロパティが存在しない場合、または書き込み可能でない場合、エラー処理はブール引数Sの値によって決定されます。

8.1.1.4.7 DeleteBinding ( N )

グローバル環境レコードメソッドDeleteBindingは、削除対象として明示的に指定されているバインディングのみを削除できます。

8.1.1.4.8 HasThisBinding ( )

8.1.1.4.9 HasSuperBinding ( )

8.1.1.4.10 WithBaseObject ( )

グローバル環境レコードは常にWithBaseObjectとしてundefinedを返します。

8.1.1.4.11 GetThisBinding ( )

8.1.1.4.12 HasVarDeclaration ( N )

グローバル環境レコードメソッドHasVarDeclarationは、VariableStatementまたはFunctionDeclarationを使用して作成されたレコードが、Nに対応するバインディングを持っているか判定します。

8.1.1.4.13 HasLexicalDeclaration ( N )

グローバル環境レコードメソッドHasLexicalDeclarationは、LexicalDeclarationやClassDeclarationなどのレキシカル宣言を使用して作成されたレコードが、Nに対応するバインディングを持っているかどうかを判定します。

8.1.1.4.14 HasRestrictedGlobalProperty ( N )

グローバル環境レコードメソッドHasRestrictedGlobalPropertyは、引数識別子がグローバルレキシカルバインディングによってシャドウされてはならないグローバルオブジェクトのプロパティ名であるかどうかを判定します。

8.1.1.4.15 CanDeclareGlobalVar ( N )

グローバル環境レコードメソッドCanDeclareGlobalVarは、CreateGlobalVarBindingを引数Nで呼び出した場合、成功するかどうかを判定します。冗長なvar宣言と既存のグローバルオブジェクトプロパティのvar宣言が許可されます。

8.1.1.4.16 CanDeclareGlobalFunction ( N )

グローバル環境レコードメソッドCanDeclareGlobalFunctionは、引数NでCreateGlobalFunctionBindingを呼び出したとき、成功するかどうかを判定します。

8.1.1.4.17 CreateGlobalVarBinding ( N, D )

グローバル環境レコードメソッドCreateGlobalVarBindingは、関連付けられたオブジェクト環境レコードに可変バインディングを作成、初期化し、バインド名を[[VarNames]]リストに記録します。 バインディングがすでに存在する場合は、再利用され、初期化されていると見なされます。

8.1.1.4.18 CreateGlobalFunctionBinding ( N, V, D )

グローバル環境レコードメソッドCreateGlobalFunctionBindingは、関連付けられたオブジェクト環境レコードに可変バインディングを作成、初期化し、関連付けられた[[VarNames]]リストにバインドされた名前を記録します。 バインディングがすでに存在する場合、置き換えられます。

8.1.1.5 モジュール環境レコード(Module Environment Records)

モジュール環境レコードは、ECMAScriptモジュールの外側のスコープを表す宣言型環境レコードです。 モジュール環境レコードは、可変または不変のバインディングに加えて、別の環境レコードに存在するターゲットバインディングへの間接アクセスを提供します。これは不変のインポートバインディングです。

モジュール環境レコードは、表16にリストされているすべての宣言型環境レコードメソッドをサポートします。また、GetBindingValue、DeleteBinding、HasThisBinding、およびGetThisBindingを除いて、それらすべてのメソッドで同じ仕様を共有します。 さらに、モジュール環境レコードは、表21のメソッドをサポートします。

モジュール環境レコードの追加メソッドの動作は、次のアルゴリズムによって定義されます。

8.1.1.5.1 GetBindingValue ( N, S )

モジュール環境レコードメソッドGetBindingValueは、名前Nの値であるバインドされた識別子の値を返します。ただし、バインディングが間接バインディングの場合、ターゲットバインディングの値が返されます。 バインディングは存在するが初期化されていない場合、ReferenceErrorがスローされます。

8.1.1.5.2 DeleteBinding ( N )

モジュール環境レコードメソッドDeleteBindingは、バインディングの削除を拒否します。

8.1.1.5.3 HasThisBinding ( )

モジュール環境レコードは、このバインディングを提供します。

8.1.1.5.4 GetThisBinding ( )

8.1.1.5.5 CreateImportBinding ( N, M, N2 )

モジュール環境レコードメソッドCreateImportBindingは、N　という名前で、不変間接バインディングを作成し初期化します。実行前に、環境レコードにバインディング N が存在していてはなりません。Mはモジュールレコードで、N2はMのモジュールの環境レコードに存在するバインディング名です。 新しいバインディングの値にアクセスすると、ターゲットバインディングのバインドされた値に間接的にアクセスします。

8.1.2 レキシカル環境操作(Lexical Environment Operations)

この仕様では、次の抽象操作を使用してレキシカル環境を操作します。

8.1.2.1 GetIdentifierReference ( lex, name, strict )

抽象演算GetIdentifierReferenceは、レキシカル環境lex、文字列name、ブールフラグstrictを指定して呼び出されます。 lexの値はnullの可能性があります。 呼び出されると、次の手順が実行されます。

8.1.2.2 NewDeclarativeEnvironment ( E )

抽象操作New Declarative Environmentがレキシカル環境Eで呼び出されると、次の手順が実行されます。

8.1.2.3 NewObjectEnvironment ( O, E )

抽象操作NewObjectEnvironmentがオブジェクトOとレキシカル環境Eを引数として呼び出されると、次の手順が実行されます。

8.1.2.4 NewFunctionEnvironment ( F, newTarget )

抽象操作NewFunctionEnvironmentが引数FとnewTargetで呼び出されると、次の手順が実行されます。

8.1.2.5 NewGlobalEnvironment ( G, thisValue )

引数GとthisValueを指定して抽象操作NewGlobalEnvironmentが呼び出されると、次の手順が実行されます。

8.1.2.6 NewModuleEnvironment ( E )

抽象演算NewModuleEnvironmentがレキシカル環境Eを指定して呼び出されると、次の手順が実行されます。

8.2 レルム(Realms)

レルム

評価前に、すべてのECMAScriptコードはレルムに関連付けられます。 概念的には、レルムは、組み込みオブジェクトのセット、ECMAScriptグローバル環境、グローバル環境のスコープ内でロードされるすべてのECMAScriptコード、およびその他の関連する状態とリソースで構成されます。

レルムレコード

この仕様でレルムは、表22で指定されたフィールドを持つレルムレコードとして表されます。

8.2.1 CreateRealm ( )

引数なしの抽象操作CreateRealmは、次の手順を実行します。

8.2.2 CreateIntrinsics ( realmRec )

引数realmRecを指定した抽象操作CreateIntrinsicsは、次の手順を実行します。

8.2.3 SetRealmGlobalObject ( realmRec, globalObj, thisValue )

引数realmRec、globalObj、およびthisValueを持つ抽象操作SetRealmGlobalObjectは、次の手順を実行します。

8.2.4 SetDefaultGlobalBindings ( realmRec )

引数realmRecを指定した抽象オペレーションSetDefaultGlobalBindingsは、次の手順を実行します。

8.3 実行コンテキスト(Execution Contexts)

実行中の実行コンテキスト

実行コンテキストは、ECMAScript実装によるコードのランタイム評価を追跡するために使用される仕様デバイスです。どの時点でも、実際にコードを実行しているエージェントごとに最大1つの実行コンテキストがあります。 これは、エージェントの実行中の実行コンテキストと呼ばれます。 この仕様では、実行中の実行コンテキストへのすべての参照は、周囲のエージェントの実行中の実行コンテキストへの参照です。

実行コンテキストスタック

実行コンテキストスタックは、実行コンテキストを追跡するために使用されます。 実行中の実行コンテキストは、常にこのスタックの最上位の要素です。 現在実行中の実行コンテキストに関連付けられている実行可能コードから、その実行コンテキストに関連付けられていない実行可能コードに制御が移されるたびに、新しい実行コンテキストが作成されます。新しく作成された実行コンテキストがスタックにプッシュされ、実行中の実行コンテキストになります。

実行コンテキストには、関連するコードの実行の進行状況を追跡するために必要な実装固有の状態が含まれます。 各実行コンテキストには、少なくとも表23にリストされている状態コンポーネントがあります。

実行中の実行コンテキストによるコードの評価は、この仕様で定義されているさまざまな時点で一時停止されることがあります。 実行中の実行コンテキストが一時停止されると、別の実行コンテキストが実行中の実行コンテキストになり、そのコードの評価を開始できます。 しばらくして、中断された実行コンテキストが再び実行中の実行コンテキストになり、以前に中断された時点でコードの評価を続行する場合があります。 実行コンテキスト間の実行中の実行コンテキストステータスの遷移は、通常、スタックのような後入れ/先出し(LIFO)で発生します。 ただし、一部のECMAScript機能には、実行中の実行コンテキストの非LIFO遷移が必要です。

現在のレルムレコード

アクティブ関数オブジェクト

実行中の実行コンテキストのレルムコンポーネントの値は、現在のレルムレコードとも呼ばれます。 実行中の実行コンテキストの関数コンポーネントの値は、アクティブ関数オブジェクトとも呼ばれます。

ECMAScriptコードの実行コンテキストには、表24に示す追加の状態コンポーネントがあります。

実行コンテキストのLexicalEnvironmentおよびVariableEnvironmentコンポーネントは常にレキシカル環境です。

ジェネレーターオブジェクトの評価を表す実行コンテキストには、表25に示す追加の状態コンポーネントがあります。

ほとんどの状況では、実行中の実行コンテキスト（実行コンテキストスタックの最上位）のみが、この仕様内のアルゴリズムによって直接操作されます。 したがって、「LexicalEnvironment」および「VariableEnvironment」という用語が条件の説明なしで使用されている場合、それらは実行中の実行コンテキストのコンポーネントを参照しています。

実行コンテキストは純粋に仕様メカニズムであり、ECMAScript実装の特定のアーティファクトに対応する必要はありません。 ECMAScriptコードが実行コンテキストに直接アクセスまたは監視することは不可能です。

8.3.1 GetActiveScriptOrModule ( )

GetActiveScriptOrModule抽象操作は、実行中の実行コンテキストに基づいて、実行中のスクリプトまたはモジュールを取得するために使用されます。 GetActiveScriptOrModuleは、次の手順を実行します。

8.3.2 ResolveBinding ( name [ , env ] )

ResolveBinding抽象操作は、文字列値nameのバインディングを決定するために使用されます。 オプション引数envは、バインディングを検索するレキシカル環境を明示的に指定します。 ECMAScriptコードの実行中、ResolveBindingは次のアルゴリズムで実行されます。

8.3.3 GetThisEnvironment ( )

抽象操作GetThisEnvironmentは、キーワードthisのバインディングを現在の環境レコードから検索します。 GetThisEnvironmentは、次の手順を実行します。

8.3.4 ResolveThisBinding ( )

抽象操作ResolveThisBindingは、実行中の実行コンテキストのLexicalEnvironmentを使用して、キーワードthisのバインディングを決定します。 ResolveThisBindingは次の手順を実行します。

8.3.5 GetNewTarget ( )

抽象操作GetNewTargetは、実行中の実行コンテキストのLexicalEnvironmentを使用してNewTarget値を決定します。 GetNewTargetは次の手順を実行します。

8.3.6 GetGlobalObject ( )

抽象操作GetGlobalObjectは、現在実行中の実行コンテキストで使用されるグローバルオブジェクトを返します。 GetGlobalObjectは次の手順を実行します。

8.4 ジョブとジョブをキューに入れるためのホスト操作(Jobs and Host Operations to Enqueue Jobs)

ジョブ

ジョブは、ECMAScript計算が進行中ではないときにECMAScript計算を開始するパラメーターのない抽象クロージャです。

ジョブには、ECMAScriptホスト環境による実行がスケジュールされています。 この仕様では、1種類のジョブをスケジュールするためのホストフックHostEnqueuePromiseJobについて説明しています。 ホスト環境では、ジョブをスケジュールする追加の抽象操作を定義できます。 このような操作は、ジョブの抽象クロージャをパラメータとして受け入れ、将来実行されるようにスケジュールします。 それらの実装は、次の要件に準拠する必要があります。

8.4.1 HostEnqueuePromiseJob ( job, realm )

HostEnqueuePromiseJobはホスト定義の抽象操作で、将来実行されるジョブ抽象クロージャjobをスケジュールします。 このアルゴリズムで使用される抽象クロージャは、Promiseの処理に関連するか、そうでなければ、Promise処理操作と同じ優先度でスケジュールされることを目的としています。

引数realmは、標準的な要件なしでホストに渡されます。nullまたはレルムのいずれかです。

HostEnqueuePromiseJobの実装は、8.4の要件に準拠する必要があります。 さらに、ジョブはFIFOの順序でスケジュールする必要があり、ジョブはスケジュールと順序で実行されます。

8.5 InitializeHostDefinedRealm ( )

抽象操作InitializeHostDefinedRealmは、次の手順を実行します。

8.6 エージェント(Agents)

エージェント

エージェントレコード

実行中のスレッド

エージェントは、ECMAScript実行コンテキストのセット、実行コンテキストスタック、実行中の実行コンテキスト、エージェントレコード、および実行中のスレッドで構成されます。 実行中のスレッドを除き、エージェントの構成要素はそのエージェントに排他的に属します。

エージェントの実行スレッドは、他のエージェントとは独立して、エージェントの実行コンテキストでジョブを実行します。ただし、スレッドを共有するどのエージェントにも[[CanBlock]]プロパティがtrueであるエージェントレコードがない場合は、実行中のスレッドを複数のエージェントが実行スレッドとして使用できます。

周囲のエージェント

あるエージェントAの実行スレッドがジョブを実行しているなら、エージェントAは実行中のジョブ内のコードの周囲のエージェントです。 コードは、周囲のエージェントを使用して、エージェント内に保持されている仕様レベルの実行オブジェクト（実行中の実行コンテキスト、実行コンテキストスタック、エージェントレコードのフィールド）にアクセスします。

[[Signifier]]、[[IsLockFree1]]、および[[IsLockFree2]]の値は、エージェントクラスター内のエージェントによって監視されると、変更できません。

8.6.1 AgentSignifier ( )

抽象操作AgentSignifierは引数を取りません。 次の手順を実行します。

8.6.2 AgentCanSuspend ( )

抽象操作AgentCanSuspendは引数を取りません。 次の手順を実行します。

8.7 エージェントクラスタ(Agent Clusters)

エージェントクラスタは、共有メモリを操作することで通信できるエージェントの最大セットです。

すべてのエージェントは1つのエージェントクラスタに属しています。

クラスタ内のすべてのエージェントは、それぞれのエージェントレコードの[[LittleEndian]]プロパティが同じ値である必要があります。

クラスタ内のすべてのエージェントは、それぞれのエージェントレコードの[[IsLockFree1]]プロパティが同じ値である必要があります。、 [[IsLockFree2]]も同様です。

クラスタ内のすべてのエージェントは、それぞれのエージェントレコードの[[Signifier]]プロパティが異なる値である必要があります。

埋め込みでは、エージェントとの連携なしに、エージェントを非アクティブ化 (処理を停止) したり、エージェントをアクティブ化 (処理を再開)することがあります。埋め込みが行われたら、クラスタ内の一部のエージェントが非アクティブになっている間は、クラスタ内の他のエージェントをアクティブにしておかないようにする必要があります。

埋め込みは、エージェントのクラスターの他のエージェントの事前の知識や協力なしに、エージェントを終了する場合があります。 エージェントがそれ自体またはクラスター内の別のエージェントのプログラムによるアクションではなく、クラスターの外部の力によって終了した場合、埋め込みは次の2つの戦略のいずれかを選択する必要があります。ひとつはクラスター内のすべてのエージェントを終了する、二つ目は信頼できるAPIを提供することです。これにより、クラスター内のエージェントが調整され、クラスターの残りのメンバーが終了を検出できるようになります。終了データには、終了したエージェントを識別するのに十分な情報が含まれています。

クラスタ内のエージェントによるECMAScriptコードの評価の前に、クラスタ内のすべてのエージェントのエージェントレコードの[[CandidateExecution]]フィールドは、最初の実行候補に設定されています。 最初の実行候補は空の実行候補です。空の実行候補の[[EventsRecords]]フィールドは、エージェントイベントレコードのリストです。各エージェントイベントレコードの[[AgentSignifier]]フィールドはエージェントのSignifierで、[[EventList]]と[[AgentSynchronizesWith]]フィールドはemptyです。

8.8 Forward Progress

エージェントが前進するためには、この仕様に従って評価ステップを実行する必要があります。

実行中の実行コンテキストが外部イベントの応答を同期的かつ無期限に待つと、エージェントはブロックされます。 この意味で、エージェントレコードの[[CanBlock]]プロパティがtrueであるエージェントのみがブロックされます。 ブロックされていないエージェントとは、ブロックされていないエージェントです。

実装では、次のことを確認する必要があります。