힙과 스택의 개념은?

실제로는 물리적(혹은 논리적)인 메모리의 한 종류일 뿐입니다.

가장 큰 차이는 stack은 LIFO의 형태입니다. Heap은 위의 분의 프로세스
설명대로 그냥 메모리 공간입니다.

근데 왜 stack이랑 heap의 차이를 두느냐, stack은 주로 작업할때
데이터를 임시 저장하는 용도로 사용합니다.

여기에 LIFO라는 얘기가 나오게 되겠지요...

가장 간단한 예로 함수 호출을 생각해 보면, 함수를 호출하면 일단
현재 상태의 레지스터값을 저장해야하고, 함수를 호출할때 인자등을 건네
줘야합니다.

그것을 stack에 저장을 합니다. 그런 후 호출된 함수의 context쪽으로 들어
가겠지요... 여기서도 임시 저장공간으로 스택을 사용합니다.

그리고 계산을 다 한후 원래의 함수로 리턴을 해야하는데, 여기서 스택의
사용용도를 알 수가 있습니다.

일단 호출된 함수에서 사용한 값들은 다 사용을 했으니 리턴값을 빼고는 다
필요없으니 다 뽑아버리고요...

호출한 함수로 돌아가야 되니 함수호출하기 전에 저장했던 놈들을 다시
뽑아내야 되겠지요...

그래서 LIFO의 형태가 되야 하는 겁니다.

원래 컴파일러마다 함수호출관행이라는 것이 있는데, 자세한 것은
GCC manual의 해당부분을 보면 stack의 용도를 볼 수 있을 겁니다...

그럼...

도스의 경우 다양한 메모리 모델이 존재하고 그 메모리 모델에 따라 스택과 힙의 크기가 달라집니다. 도스의 경우만이 아니고 다른 OS도 비슷하지요... :roll:

각종 주소를 출력하는 프로그램을 만들어보았습니다.

리눅스는 4G의 가상메모리중 1G정도는 메모리 직접 접근을 위해 특별히 사용하고, 3G를 사용자 프로그램이 사용할 수 있도록 제공한다고 알 고 있습니다.

/proc/pid/maps 을 출력한 것과 비교해보시면 대충 알 수 있을 겁니다.

#include <sys/types.h>
#include <string.h>
#include <stdio.h>
#include <stdlib.h>

extern char **environ;

const int const_data = 0;
int init_data = 0;
int uninit_data;

void printfile(const char *filename)
{
        FILE *fp = fopen(filename, "r");
        char ch;

        if (!fp) return;
        while ((ch = getc(fp)) != EOF) {
                putchar(ch);
        }
        fclose(fp);
}

void printmap()
{
        pid_t pid = getpid();
        char *ptr;

        asprintf(&ptr, "/proc/%d/maps", pid);
        putchar('\n');
        printfile(ptr);
        free(ptr);
}

int main(int argc, char **argv)
{
        const int const_data_in_main = 0;
        int stack_data;
        static int static_data;

        void *heap_data = malloc(0);

        printf(
                        "%08x: printfile\n"
                        "%08x: printmap\n"
                        "%08x: main\n"
                        "%08x: &const_data\n"
                        "\n"
                        "%08x: &init_data\n"
                        "%08x: &environ\n"
                        "%08x: &static_data\n"
                        "%08x: &uninit_data\n"
                        "%08x: heap_data\n"
                        "\n"
                        "%08x: strerror(0)\n"
                        "\n"
                        "%08x: &stack_data\n"
                        "%08x: &const_data_in_main\n"
                        "%08x: &argc\n"
                        "%08x: &argv\n"
                        "%08x: argv\n"
                        "%08x: environ\n",
                        printmap,
                        main,
                        &const_data,

                        &init_data,
                        &environ,
                        &static_data,
                        &uninit_data,
                        heap_data,

                        strerror(0),

                        &stack_data,
                        &const_data_in_main,
                        &argc,
                        &argv,
                        argv,
                        environ);

        printmap();
        exit(0);
}