1. 컨텍스트
ㅇ `상황, 맥락, 문맥 상의 의미` 등으로 이해되는 용어
ㅇ 사실상, 컨텍스트는,
- 그냥 텍스트(Text) 처럼 바로 이해되는 단순히 원본 정도가 아니라,
- 문맥 및 상황에 따라, 어떤 해석이 가미되어 이해되는, 한 차원 높은 공간, 영역을 의미
ㅇ 전산 뿐만 아니라 방송, 예술 등의 분야에서도 널리 사용되는 용어
2. [전산] 컴퓨터 내부 : (하드웨어 및 운영체제 관점)
ㅇ 컨텍스트는 컴퓨터 내부에서 볼 때,
- 하나의 프로세스나 스레드의 실행 시점의 CPU 내부 상태 정보를 의미
. 주로, 프로세서 내 레지스터, 플래그 등의 현재 값/상태들의 집합
* 통상, 다음의 정보들을 포함
. CPU 레지스터 값들 : Program Counter, Stack Pointer, General-purpose Registers 등
. 프로세서 상태 레지스터 (PSR), 플래그들 (Zero flag, Carry flag 등)
. 메모리 관련 정보 : 스택 정보, 페이지 테이블 포인터 등 필요시
※ Context Switching (문맥 교환)
- 하나의 실행 흐름(프로세스 또는 스레드)에서 다른 흐름으로 CPU 제어를 전환하는 과정
. 운영 체제에서, 멀티태스킹 작업을 수행하기 위해,
.. CPU가 한 프로세스에서 다른 프로세스로 작업을 전환하는 과정
.. 시분할 처리에서, 수행중인 각 태스크들을, 순서있게/반복적으로 교체하기 위한 작업
.. 태스크 상태 정보를 레지스터들에 저장 또는 이전 상태를 불러오기위한 작업
.. 스레드 실행 상태의 저장과 복원 작업
- 결국, 하드웨어(CPU)와 소프트웨어(운영체제) 간에 협동으로 이루어짐
. 운영체제 (소프트웨어) : 문맥 저장/복원, 프로세스 상태 전이, 스케줄링 결정 등
. CPU (하드웨어): 인터럽트 응답, 레지스터 전환, 모드 전환 (유저 모드 ↔ 커널 모드) 등
- 문맥 교환의 단계
. 현재 실행 중인 프로세스의 컨텍스트 저장
.. CPU 레지스터, 프로그램 카운터, 스택 포인터 등의 값을,
.. PCB (Process Control Block) 혹은 TCB(Thread Control Block)에 저장
. 다음 실행할 프로세스의 컨텍스트 불러오기
.. 운영체제가 준비 중인 프로세스의 PCB에서 레지스터 상태 등을 읽어와 CPU에 로드
. 프로세서 제어권 이전
.. 다음 프로세스가 실행을 계속하도록 CPU가 그 컨텍스트로 동작
- 주요 발생 상황 例)
. 시분할 방식 스케줄링에 따라 시간 할당량 종료 시
. I/O 대기 등으로 인해 현재 프로세스가 블로킹될 때
. 우선순위가 높은 프로세스가 발생했을 때 (선점형 스케줄링)
- 사실상,
. 실제 프로그램을 수행하는 작업이 아닌, 운영체제 내부의 관리 작업임
. 그 자체가 CPU 자원을 소모함
.. 문맥 교환 시간이 짧을수록, 시스템의 응답성,효율성이 높아짐
.. 빈번한 문맥 교환은, 오히려 성능 저하 초래, 적절한 스케줄링 정책 필요
3. [전산] 프로그램 내부 : (소프트웨어 관점)
ㅇ 그때그때 상황에 맞게끔, 실행/판단/결정 등을 해야하는 부분
- 例) 할당 연산자(=) 다음에는, 표현식 컨텍스트가 옴
- 例) if 조건문 다음에 { 가 오면, 문장 컨텍스트가 옴
- 例) 컨텍스트 메뉴 (context menu)
. 그 메뉴를 호출한 동작 및 상황에 따라, 다르게 선택 사항들이 나열되는 메뉴
4. [전산] 자바스크립트 실행 컨텍스트 (Execution Context) : (소프트웨어 실행 관점)
ㅇ 실행에 필요한 다양한 정보를 형상화하고, 이들을 목록화 관리하기 위한, 추상적인 개념
- 실행 가능한 코드가 실행되는 프로그램 환경
. 현재 실행중인 부분
- 결국, 실행에 필요한 정보들로써,
. 변수 등의 유효 범위(Scope),유효 기간(Lifetime)의 결정을 위한 환경 정보들
. 실행에 필요한 정보들의 例)
.. 변수들 (전역변수, 지역변수, 매개변수, 객체의 프로퍼티)
.. 함수 선언 정보
.. 변수의 유효범위(Scope)
.. this가 가리키는 것 등
ㅇ 실행 컨텍스트의 관리 및 보유 형태
- 관리 형태
. 실행에 필요한 여러 정보들을, 객체 형태로 담아 스택(LIFO)으로 관리
- 보유 형태
. { 렉시컬 환경 : (환경 레코드 + 외부 렉시컬 환경에 대한 참조) }
ㅇ 만일, 자바스크립트 엔진이,
- 실행 가능한 코드를 만나면, 그 코드를 평가해서, 실행 컨텍스트를 만들어냄
. 例)
.. 만일, 함수를 호출하면,
.. 현재 실행중인 코드의 작업을 잠시 멈추고,
.. 함수 코드가 평가되면서,
.. 실행 컨텍스트 영역을 생성하고,
.. 이때 생성된 함수 실행 컨텍스트는, 실행 컨텍스트 스택에 푸시되고,
.. 실행 흐름이, 실행 컨텍스트 스택 상의 그 실행 컨텍스트로 이동하고,
.. 함수 안팎의 환경을 찾아내어, 실행되어지며,
.. 함수 실행이 종료되면, 실행 컨텍스트 스택에서 팝되어 제거됨
- 실행 가능한 코드의 例)
. 전역 코드 : 가장 바깥쪽에 존재하는 것
. 함수 코드
. eval 함수
. 모듈 코드