스택 확인 함수 관련 질문입니다

Question

C++ 강의 너무 좋다고 수강 후기 썼던게 어느덧 한달 전인데 그 사이에 게임 회사 붙어서 프로그래머로 회사 다니고 있습니다

정말 이렇게 게임회사를 다니게 될거라고 생각을 못했어서 질문을 하기전에 다시 감사인사드립니다! 회사다니면서도 제가 모자란 부분이 많아서 강의 계속 복습도 하고 추가 공부도 하고 있어요

오늘도 헷갈렸던 부분을 강의도 듣고 구글링하고 있었는데 질문이 생겨서 글 올립니다!

질문은

void f()
{
   int arr[3000];
   arr[0] = 0; 
}

이런식으로 배열을 할당하고, 배열에 어떤 값을 할당을 하는 함수가 있다고 했을 때,

위와 같은 할당 방식은

스택에서 스택 공간을 할당은 바로 하지만, 실제 접근이 이루어지기 전까지는 물리적 저장소를 커밋하지 않으니까

위에서처럼 할당을 할 때 만약 가드 페이지보다 아래에 접근을 하게되면 접근 예외가 이루어지게 될텐데요

관련 설명을 더 찾아보다보니까

컴파일러들은 컴파일 과정에서 함수를 만나게 되면 각 함수들이 필요로 하는 스택의 크기를 결정하게 된다. 만일 함수가 필요로 하는 스택의 크기가 개별 CPU의 페이지 크기보다 더 큰 메모리를 필요로 하는 경우, 컴파일러는 자동적으로 스택 확인 함수를 호출하는 코드를 삽입한다.

라는 설명이 있었는데, 함수가 필요로 하는 스택의 크기가 개별 CPU의 페이지 크기보다 더 큰 메모리를 필요로 하는 경우라는 부분이 이해가 잘 안됩니다

코드에서 할당 작업을 수행(물리적 저장소에 커밋이 되어있어야함)을 하려고 할 때,

위의 함수에서 할당 작업을 하려면 스택 사이즈가 적어도 12,000byte여야 할텐데

그러면 x86/64의 경우 시스템의 페이지 크기인 4kb를 초과하게 되고

페이지보다 더 큰 메모리를 필요로 하게되는데,

스택 확인 함수를 호출한다는건 페이지 세개를 쓸때까지..?

물리적 저장소에 커밋하고 가드 페이지를 옮기는 작업을 해주는 역할을 한다는게 맞을까요?

위에서 예약만 수행된 메모리에 대한 접근을 할 수도 있다고 했으니까요..

그니까 결론이 그냥 접근만 하면 이런 커밋-가드페이지 옮기는 작업이 되지 않으니까

스택 확인 함수를 호출해줘서 접근 예외를 일으키지 않게 하자!

라는 느낌인게 맞는게 궁금합니다.

그리고 또 스택 부분을 공부하다보니까

그림으로 그려보면 이런 느낌인데

예약된 스택으로 예약된 페이지를 스택의 최하위를 빼고 다 쓰고나면 스택 오버플로우가 발생하는 건지, 아니면 위의 그림에서 우측 상태에서 뭐 하나를 더 추가하려고 하면 스택 오버플로우가 발생하는건지 헷갈립니다.!

그리고 또 거기도 넘어서 최하위에 뭔갈 쓰게 되면 스택 언더플로우라는걸까요? 아니면 스택의 최하위를 넘어서는 곳(그림에 점선 박스로 표시한 곳)에 뭐가 쓰이면 언더플로우인걸까요?

질문이 너무 많은 것 같네요 ㅠㅠ.. 강의 정말 잘 듣고 있고있습니다!

인프런 커뮤니티 질문&답변

스택 확인 함수 관련 질문입니다