콜 스택 (호출 스택)

개념

프로그램이 함수 호출을 추적할 때 사용한다

현재 어떤 함수가 동작하고 있는지, 그 함수 내에서 어떤 함수가 동작하는지, 다음에는 어떤 함수를 동작하여야 하는지 등을 제어한다

스택의 LIFO (후입선출) 특성을 생각하면 호출 스택도 비슷한 원리로 동작함을 알 수 있다

메모리 구조에서 스택이 의미하는 것이 바로 이 콜 스택이다

힙이랑 다른 점

• 스택은 액세스가 빠르고, 힙은 상대적으로 느리다
• 힙은 사용자가 직접 변수 할당 및 해제를 관리해줘야 하지만, 스택은 관리할 필요가 없다 (CPU가 알아서 관리해줌)
• 힙은 메모리 단편화가 일어날 수 있지만, 스택은 그렇지 않다
• 스택 내의 변수는 해당 스코프 내에서만 접근할 수 있지만, 힙 내의 변수는 (주소값만 알고 있다면) 전역적으로 접근 가능하다

동작 방식

const say = () => {
	return "hi i am mouth";
}

const mouth = () => {
	say();
}

const body = () => {
	mouth();
}

body();

위와 같은 함수 구조가 있다고 생각해보자

1. 스크립트가 함수를 호출하면 인터프리터는 이를 호출 스택에 추가하고, 함수를 수행하기 시작한다
   • 처음으로 함수가 호출되는 body() 에 도달할 때까지, 다른 모든 함수 선언들은 무시하고 지나간다
   • body()가 호출되었으므로, 호출 스택에 body() 가 추가된다 (push)
   • 스택의 상태는 다음과 같다: [body()]
2. body 함수 내부의 코드를 실행한다
   • 실행하다 보니 새로운 함수 호출인 mouth()를 발견했다
   • mouth() 함수가 호출되었으므로, 호출 스택에 mouth()가 추가된다 (push)
   • 스택의 상태는 다음과 같다: [body(), mouth()]
3. mouth 함수 내부의 코드를 실행한다
   • 실행하다 보니 새로운 함수 호출인 say()를 발견했다
   • say() 함수가 호출되었으므로, 호출 스택에 say()가 추가된다 (push)
   • 스택의 상태는 다음과 같다: [body(), mouth(), say()]
4. say 함수 내부의 코드를 실행한다
   • say 함수는 “hi i am mouth” 를 반환하고, 함수가 끝난다