스택과 힙의 용도?

스택의 크기를 정해주다니요?

물론 컴파일할때 최대 스택의 크기를 정해주긴 하지만, 스택의 크기는 프로그램이 실행되면서 가변적으로 변하고, 자동변수와 여러가지 잡다한 정보가 스택에 저장됩니다.

예를들어 다음과 같은 코드가 있을경우에

int f (f1,f2){
    int a,b,c;

}
int main(
    int m1, m2, m3;
    f(m1,m2);
}

main의 첫번째 줄이 실행될 즈음의 스택의 상태가
bottom [m1, m2, m3 ] top

이라고 한다면, f1이 호출되면 스택의 상태가

bottom [m1, m2, m3, f의 ret address, f1, f2, a, b, c] top

과 같이 됩니다. 머 완벽히 저런 순서는 아니고요, 컴파일러나 기종에 따라서, 내부적인 순서는 변하지만, 명확한건 스택에 저장될 변수는 크기가 컴파일 타임에 이미 정해져 있어야 한다는 것입니다.

따라서 네트워크 스트림이나, 사용자 입력같이 크기가 일정하지 않은 데이타를 스택에 저장하기 보다는 힙에 저장하는 것이 좋다고 하는 거고요, dobule f[1000000] 과 같이 너무 많은 크기의 메모리를 할당해 버리면 스택이 다 차버리는 결과가 생겨 프로그램이 중간에 서버릴 수도 있습니다.

머 물론 큰 데이타를 저장하기위해서 스택의 크기를 확 늘려줘도 상관은 없지만, 그렇게 하는 경우는 엾고요, 큰데이타나, 크기를 미리 알수 없는 경우에 " 사용자가 직접 관리가 가능한 " 힙에 저장하는 것이 좋다는 것입니다.

음... 설령 그럴까요???

int fun( int a, char *str )
{
    int aarr[a];
    int sarr[strlen(str)];

    ...
    ...
}

이게 가능합니다... 컴파일할 때 스택을 얼마나 쓸지 고정시키지 않고 동작중에 가능하더군요...
함수가 너무 빈번하게 호출되거나 작은 메모리를 빈번히 할당할때는 위의 방법이 좋더군요...

그리고... 스택이 넘치는 경우는 개인적으로 보지 못했습니다. 물론 눅스가 스택을 잘 관리해 주니깐 그것만 믿고 쓰는것이지만... 그것도 한계가 있으니깐 스택에 몇 KByte이상은 잡는건 위험하긴 하겠죠...
경험상 눅스가 윈도그보다 스택을 더 많이 쓸 수 있는것 같더군요... 윈도는... 조금만 써도... 스택 모자란다고... 툴툴대더군요... :evil:

제가 예전에 실험해본적이 있는데요.

컴파일 되는 크기는 컴파일러마다 달랐습니다.

하지만 컴파일이 됐다고 안심할건 절대 아니더라구요.

무심코 실행했는데 날아가버린 하드디스크 (아아)

어떻게 그럴 수 있느냐고 물으실텐데 저도 모릅니다. :roll:

int fun( int a, char *str )
{
    int aarr[a];
    int sarr[strlen(str)];

    ...
    ...
}

이건 몰랐던 내용인데 정말 신기합니다.

예전에 씨언어 배울땐 저런게 안됐던 걸로 기억하는데 참 세상 많이 좋아졌네요. ^^

하지만 가만 생각해보면, 가변적인 크기의 데이타라는게 대부분 사용자 입력이나, 네트웍 스트림 같은 경우인데, 위와 같은 방법이 편리하긴 하지만, 악의적인 공격에 노출되지 않을까 생각합니다.

seoleda님 doldori님 박현우님 세분다 맞습니다. ^^;

서로 다른 내용을 언급하시면서 오해하고 계신 것 같네요.

아무튼 박현우님께서 말씀하신건...

http://gcc.gnu.org/c99status.html 에 보면

variable-length arrays Broken 이라고 나와 있습니다.

해보면 잘 되죠. Missing은 아니고 Broken이 정확히 뭔지는 모르겠습니다.

다른 컴파일러에서도 사용하게 될것 같다면 지양하는 편이 좋겠죠.

VLA는 C++에서는 표준 기능이죠.
C 언어에서는 95년 표준에는 빠져 있지만 99년 표준에는 들어갔고요.
gcc에서는 자체 확장으로 지원합니다.

단순히 "프로그램"이라고 하지 말고 C 언어 프로그램인지, C++ 프로그램인지 확실히 구분하고 씁시다!!!

c++에서 vla가 표준인게 맞습니까?
지금 vs.net 에서 테스트를 해봤는데 컴파일이 안되는 데요?

가변길이 배열을 stack 에 생성하는 것은 C99 의 표준이 맞습니다. 그리고 아직 C++ 에는 안 올라온 걸로 알고 있습니다. 된다면 g++ 의 확장이 맞을 듯...

그리고 참고로 window programming 의 경우 thread 를 만들 때 thread 의 stack 을 가변 길이로 정하는 것도 가능합니다. ^^