C 컴파일&링킹 후 만들어진 바이너리가 실행되는 원리는 무엇인가요?

정확한 용어를 잘 몰라 질문을 이상하게 한 점 죄송합니다.

본론으로 들어가면

#include

void print (void)
{
char ch[10]="Hello";

printf ("%s\n", ch);
}

int main (int argc, char **argv)
{
print ();

return 0;
}

위와 같은 프로그램을 컴파일&링킹 후 바이너리가 만들어지면 아래와 같은 구조로 만들어

진다고 생각됩니다.

코드영역 : 위의 코드가 들어갈 것이고
DATA영역 : print()함수 실행 후 복귀할 주소
스택영역 : main (), print (), ch
힙 영역 : 없음

그렇다면 바이너리 실행 시에는 어떠한 순서 및 원리로 실행 되나요?