23.1 소스코드의 타입

ECMAScript 사양은 소스코드를 4가지 타입으로 구분한다. 소스코드가 평가되면 실행 컨텍스트가 생성된다.

4가지 타입으로 구분하는 이유는 타입에 따라 실행 컨텍스트를 생성하는 과정과 관리 내용이 다르기 때문이다.

1. 전역 코드 — 평가 —> 전역 실행 컨텍스트

   1. 전역 변수를 관리하기 위해 전역 스코프 생성
   2. 전역 변수/전역 함수를 전역 객체의 프로퍼티와 메서드로 바인딩하고 참조하기 위해 전역 객체와 연결
   3. 전역 코드가 평가되면 전역 실행 컨텍스트 생성

2. 함수 코드 — 평가 —> 함수 실행 컨텍스트

   1. 지역 변수, 매개변수, arguments 객체를 관리하기 위해 지역 스코프 생성
   2. 생성한 지역 스코프를 전역 스코프에서 시작하는 스코프 체인의 일원으로 연결
   3. 함수 코드가 평가되면 함수 실행 컨텍스트 생성

3. eval 코드 — 평가 —> eval 실행 컨텍스트

   1. strict mode에서 자신만의 독자적인 스코프 생성
   2. eval 코드가 평가되면 eval 실행 컨텍스트 생성

4. 모듈 코드 — 평가 —> 모듈 실행 컨텍스트

   1. 모듈별로 독립적인 모듈 스코프 생성
   2. 모듈 코드가 평가되면 모듈 실행 컨텍스트 생성

23.2 소스코드의 평가와 실행

자바스크립트 엔진은 소스코드를 ‘평가’와 ‘실행’ 과정으로 나누어 소스코드를 처리한다.

graph LR
  1.소스코드의_평가 --평가_결과--> 실행_컨텍스트
	실행_컨텍스트 --실행에_필요한_정보--> 2.소스코드의_실행
  2.소스코드의_실행 --실행_결과--> 실행_컨텍스트

1. 소스코드의 평가

   실행 컨텍스트를 생성하고 변수/함수 등의 선언문만 먼저 실행하여 생성된 식별자를 키로, 실행 컨텍스트가 관리하는 렉시컬 환경의 환경 레코드에 등록한다.

2. 소스코드의 실행

   런타임에서 소스코드 실행에 필요한 정보, 즉 변수나 함수의 참조를 실행 컨텍스트가 관리하는 스코프에서 검색해서 취득한다. 소스코드의 실행 결과는 다시 실행 컨텍스트가 관리하는 스코프에 등록된다.

23.3 실행 컨텍스트의 역할

모든 코드는 실행되기 위해 아래와 같이 스코프, 식별자, 코드 실행 순서 등의 관리를 필요로 한다.

1. 선언에 의해 생성된 모든 식별자를 스코프를 구분하여 등록하고 상태 변화를 지속적으로 관리할 수 있어야 한다.
2. 중첩 관계에 의해 스코프 체인을 형성하고 스코프 체인을 통해 식별자를 검색할 수 있어야 한다.
3. 현재 실행 중인 코드의 실행 순서를 변경하거나 다시 되돌아갈 수 있어야 한다.

실행 컨텍스트는 식별자를 등록하고 관리하는 스코프와 코드 실행 순서 관리를 구현한 내부 메커니즘이다.

*실행 컨텍스트는 순전히 사양 메커니즘이며 ECMAScript 구현의 특정 아티팩트와 일치할 필요가 없으며, ECMAScript 코드가 실행 컨텍스트에 직접 액세스하거나 관찰하는 것은 불가능하다.

stateDiagram-v2

	state 실행_컨텍스트 {
		
		[*] --> 렉시컬_환경
		[*] --> 스택		

		state 렉시컬_환경 {
			[*] --> 식별자
			[*] --> 스코프
		}

		state 스택 {
			[*] --> 코드_실행_순서
		}
	}

23.4 실행 컨텍스트 스택

실행 컨텍스트는 스택(stack) 자료구조로 관리되고, 실행 컨텍스트 스택을 콜 스택(call stack)이라고도 한다.

코드가 실행되는 시간의 흐름에 따라 실행 컨텍스트 스택에 실행 컨텍스트가 추가(push)되고 제거(pop)된다.

소스코드가 평가되면 실행 컨텍스트가 생성되고 실행 컨텍스트 스택의 최상위에 쌓인다.

실행 컨텍스트 스택의 최상위에 존재하는 실행 컨텍스트는 언제나 현재 실행 중인 코드의 실행 컨텍스트이며, 따라서 실행 중인 실행 컨텍스트(running execution context)라고도 한다.

재귀와 스택

실행 컨텍스트 스택과 재귀 호출

23.5 렉시컬 환경

렉시컬 환경은 ECMAScript 코드의 렉시컬 중첩 구조를 기반으로 식별자와 특정 변수 및 함수의 연관성을 정의하는 데 사용되는 사양 유형이다.

렉시컬 환경은 키와 값을 갖는 객체 형태의 스코프를 생성하여 식별자를 키로 등록해 식별자에 바인딩된 값을 관리한다. 즉, 렉시컬 환경은 스코프를 구분하여 식별자를 등록하고 관리하는 저장소 역할을 하는 렉시컬 스코프의 실체이다.

23.5.1 렉시컬 환경의 구성 컴포넌트