Merge pull request #949 from yui880/yui880

23-2장 실행 컨텍스트 - 김유나

docs/23_실행 컨텍스트/김유나.md

@@ -60,3 +60,124 @@ x = 1;
 2. 실행 컨텍스트에서 x 변수가 등록되어 있는지 확인한다.
 3. x 변수가 등록되어 있으면 값을 할당하고, 할당 결과를 실행 컨텍스트에 등록한다.
 
+
+---
+## 23.3 실행 컨텍스트의 역할 
+```js
+const x = 1;
+const y = 2;
+
+function foo(a){
+    const x = 10;
+    const y = 20;
+
+    console.log(a + x + y);
+}
+
+foo(100);
+
+console.log(x+y);
+```
+
+#### 1. 전역 코드 평가 
+소스 코드 평가 과덩에서는 선언문만 먼저 실행된다. 전역 코드의 변수 선언문과 함수 선언문이 먼저 실행되고, 
+그 결과 생성된 전역 변수와 전역 함수가 실행 컨텍스트가 관리하는 **전역 스코프**에 등록된다. 
+이때 var 키워드로 선언된 전역 변수와 함수 선언문으로 정의된 전역 함수는 **전역 객체의 프로퍼티와 메서드**가 된다.
+
+#### 2. 전역 코드 실행
+전역 코드 평가 과정이 끝나면 런타임이 시작되어 전역 코드가 순차적으로 실행된다. 
+이때 전역 변수에 값이 할당되고 함수가 호출된다. 함수가 호출되면 코드 실행 순서를 변경하여 함수 내부로 진입한다.
+
+#### 3. 함수 코드 평가 
+함수 내부로 진입하면 함수 코드 평가 과정을 먼저 거친다. 이때 매개변수와 지역 변수 선언문이 먼저 실행되고,
+그 결과 생성된 매개변수와 지역 변수가 실행 컨텍스트가 관리하는 **지역 스코프**에 등록된다.
+또한 함수 내부에서 지역 변수처럼 사용할 수 있는 arguments 객체가 생성되어 지역 스코프에 등록되고 this 바인딩도 결정된다.
+
+#### 4. 함수 코드 실행 
+함수 코드 평가 과정이 끝나면 런타임이 시작되어 함수 코드가 순차적으로 실행되기 시작한다. 
+이떄 코드의 `console.log` 메서드가 호출된다. 이 메서드를 호출하기 위해 먼저 식별자인 `console`을 스코프 체인을 통해 검색한다.
+이를 위해 함수 코드의 지역 스코프는 상위 스코프인 전역 스코프와 연결되어야 한다. 하지만 `console` 식별자는 전역 객체에 프로퍼티로 존재한다.
+이는 **전역 객체의 프로퍼티가 마치 전역 변수처럼 전역 스코프를 통해 검색 가능해야 한다는 것**을 의미한다.
+
+
+또한 함수 호출이 종료되면 함수 호출 이전으로 돌아가야하니 현재 실행중인 코드와 이전에 실행하던 코드를 구분해서 관리해야 한다.
+
+1. 선언에 의해 생성된 모든 식별자를 스코프를 구분하여 등록하고 상태 변화를 지속적으로 관리할 수 있어야 한다.
+2. 스코프는 중첩 관계에 의해 스코프 체인을 형성해야 한다. 즉 스코프 체인을 통해 상위 스코프로 이동하며 식별자를 검색할 수 있어야 한다.
+3. 현재 실행 중인 코드의 실행 순서를 변경할 수 있어야 하며 다시 되돌릴 수도 있어야 한다.
+
+> 실행 컨텍스트 : 소스 코드를 실행하는데 필요한 환경을 제공하고 코드의 실행 결과를 실제로 관리하는 영역
+
+- 식별자를 등록하고 관리하는 스코프와 코드 실행 순서 관리를 구현한 내부 매커니즘으로 모든 코드는 실행 컨텍스트를 통해 실행되고 관리된다.
+- 식별자와 스코프는 렉시컬 환경, 코드 실행 순서는 실행 컨텍스트 스택으로 관리한다.
+
+---
+## 23.4 실행 컨텍스트 스택 
+```js
+const x = 1;
+
+function foo() {
+    const y = 2;
+
+    function bar (){
+        const z = 3;
+        console.log(x+y+z);
+    }
+    bar();
+}
+
+foo(); //6
+```
+
+### 실행 컨텍스트 스택 
+- 전역 코드를 먼저 실행하여 전역 실행 컨텍스트를 생성하고 함수가 호출되면 함수 코드를 평가하여 함수 실행 컨텍스트를 생성한다.
+- 실행 컨텍스트는 스택으로 관리되는데 이를 실행 컨텍스트 스택이라고 한다.
+
+#### 1. 전역 코드의 평가와 실행 
+전역 코드를 평가하여 전역 실행 컨텍스트를 생성하고 실행 컨텍스트 스택에 푸시한다.
+이때 `x`와 `foo`가 등록되고, 코드가 실행되면서 x에 값이 할당되고 `foo`가 호출된다.
+
+#### 2. foo 함수 코드의 평가와 실행 
+`foo`가 실행되면 전역 코드의 실행은 일시 중단되고 코드의 제어권이 `foo` 함수 내부로 이동한다.
+foo 함수 내부의 코드를 평가하여 foo 함수 실행 컨텍스트를 생성하고 실행 컨텍스트 스택에 푸시한다.
+이때 `y`와 `bar`가 등록되고, 코드가 실행되면서 `y`에 값이 할당되고 중첩 함수 `bar`가 호출된다.
+
+#### 3. bar 함수 코드의 평가와 실행 
+`bar`가 실행되면 `foo` 함수 코드의 실행은 일시 중단되도 코드의 제어권이 `bar` 함수 내부로 이동한다.
+bar 함수 내부의 코드를 평가하여 bar 함수 실행 컨텍스트를 생성하고 실행 컨텍스트 스택에 푸시한다.
+이때 `z`가 등록되고, 코드가 실행하면서 z에 값이 할당되고 `console.log` 메서드를 호출하고 종료된다.
+
+#### 4. foo 함수 코드로 복귀 
+제어권은 다시 `foo` 함수로 이동하고, `bar` 함수 실행 컨텍스트를 pop 한다.
+더이상 실행할 코드가 없으므로 종료된다.
+
+#### 5. 전역 코드로 복귀 
+코드의 제어권은 다시 전역 코드로 이동하고, `foo` 함수 실행 컨텍스트를 `pop` 한다.
+더 이상 실행할 전역 코드가 남아있지 않으므로 전역 실행 컨텍스트도 `pop`해서 스택에는 아무것도 남아있지 않게 된다.
+
+
+이처럼 실행 컨텍스트 스택은 코드의 실행 순서를 관리한다.
+실행 컨텍스트 스택의 최상위에 존재하는 실행 컨텍스트는 언제나 현재 실행중인 코드의 실행 컨텍스트이다. 
+-> `실행 중인 실행 컨텍스트`
+
+
+--- 
+## 23.5 렉시컬 환경 
+
+### 렉시컬 환경 
+- 식별자에 바인딩된 값, 상위 스코프에 대한 참조를 기록하는 자료구조로 실행 컨텍스트를 구성하는 컴포넌트이다.
+- 키와 값을 갖는 객체 형태의 스코프를 생성하여 식별자를 키로 등록하고, 식별자에 바인딩된 값을 관리한다.
+
+실행 컨텍스트는 `LexicalEnvironment`와 `VariableEnvironment`로 구성된다. 
+생성 초기에 `LexicalEnvironment`와 `VariableEnvironment`는 하나의 동일한 렉시컬 환경을 참조한다.
+이후에 `LexicalEnvironment`를 위한 새로운 렉시컬 환경을 생성하며 `VariableEnvironment`는 내용이 달라지는 경우도 있다.
+
+### 렉시컬 환경 구성 
+1. 환경 레코드
+- 스코프에 포함된 모든 식별자를 등록하고 등록된 식별자에 바인딩된 값을 관리하는 조장소.
+- 환경 레코드는 소스 코드의 타입에 따라 관리하는 내용에 차이가 있다.
+
+2. 외부 렉시컬 환경에 대한 참조 
+- 외부 렉시컬 환경에 대한 참조는 상위 스코프를 가리킨다. 상위 스코프란 해당 실행 컨텍스트를 생성한 소스코드를 포함하는 상위 코드의 렉시컬 환경을 말한다.
+- 외부 렉시컬 환경에 대한 참조를 통해 단방향 링크드 리스트인 스코프 체인을 구성한다.
+