C언어의 메모리 구조


프로그램을 실행시키면 운영체제는 우리가 실행시킨 프로그램을 위해 메모리 공간을 할당해준다. 

할당되는 메모리 공간은 크게 스택(Stack), 힙(Heap), 데이터(Data)영역으로 나뉘어진다. 

이러한 메모리 공간이 어떠한 용도로 언제, 어디서 할당되는지 알아보도록 하자.


할당 시기 : 프로그램이 실행될 때마다

할당 장소 : 메인 메모리(RAM)

할당 용도 : 프로그램 실행 시 필요한 메모리 공간(지역변수, 전역변수 선언을 위해) 할당




데이터(Data) 영역


 - 전역 변수와 static 변수가 할당되는 영역

 - 프로그램의 시작과 동시에 할당되고, 프로그램이 종료되어야 메모리에서 소멸됨

 

#include <stdio.h>

int a = 10;	// 데이터 영역에 할당
int b = 20;	// 데이터 영역에 할당

int main() {

	...

	return 0;
}

위와 같은 코드에서 int형 변수 a, b는 프로그램 실행시, main 함수가 호출되기 전에 데이터 영역에 할당된다.

그렇기 때문에 프로그램이 종료될 때까지 메모리상에 존재한다.

(전역변수가 프로그램이 종료될 때 까지 존재하는 이유)



스택(Stack) 영역


 - 함수 호출 시 생성되는 지역 변수와 매개 변수가 저장되는 영역

 - 함수 호출이 완료되면 사라짐

 

#include <stdio.h>

void fct1(int);
void fct2(int);

int a = 10;	// 데이터 영역에 할당
int b = 20;	// 데이터 영역에 할당

int main() {

	int i = 100;	// 지역변수 i가 스택 영역에 할당

	fct1(i);
	fct2(i);

	return 0;
}

void fct1(int c) {
	int d = 30;	// 매개변수 c와 지역변수 d가 스택영역에 할당
}

void fct2(int e) {
	int f = 40;	// 매개변수 e와 지역변수 f가 스택영역에 할당
}

main함수fct1, fct2라는 함수를 추가하였다. 

a, b를 데이터 영역에 할당한 뒤에 main함수를 호출하면서 int형 변수 i는 지역변수로서 스택영역에 할당된다.

그 뒤에 fct1()이라는 함수를 호출하면서 fct1함수의 매개변수인 cd가 스택영역에 할당된다.

fct1()이라는 함수호출이 끝나면 cd는 스택영역에서 삭제되며, 

그 뒤 fct2()라는 함수를 호출하면서 매개변수 e와 지역변수 f가 스택영역에 할당된다.

스택영역은 그 이름그대로 스택의 성질을 띄고있다.


 

힙(Heap) 영역


 - 필요에 의해 동적으로 메모리를 할당 할 때 사용


지금까지 데이터영역과 스택영역을 알아보았는데, 저 두가지 영역만 있으면 코드를 문제없이 짤 수 있을것 처럼 보인다.

그럼 힙영역은 왜 필요한 것일까?


힙 영역은 왜 필요할까?

제일 첫번째 그림을 보면 힙 영역은 프로그래머가 할당한다고 되어있다. 

그럼 언제 할당을 할까? 

배열을 예를들어서 설명을 하겠다.


우리는 배열을 선언할때 상수로 선언을 한다.

int main() {

	// 정상적인 배열선언
	int arr[10];

	// 비 정상적인 배열선언
	int i = 0;
	scanf("%d", &i);
	int arr[i];

	return 0;
}

배열의 길이를 사용자가 입력한 숫자로 잡아주는 것은 비 정상적인 배열선언이다. 왜 비 정상적일까?

메모리 구조에 대해서 잘 파악하고 있다면 당연한 이야기다.


제일 첫번째 그림을 다시보자, 스택 영역에 할당될 메모리의 크기는 컴파일 타임(컴파일 하는 동안)에 결정된다고 되어있다.

정상적인 배열 선언의 경우 arr이라는 배열의 크기가 40바이트 라는것을 알 수 있다.

하지만 비 정상적인 배열선언의 경우 i의 크기가 4바이트 라는 것을 알 수 는 있으나, arr이라는 배열의 크기는 알 수 없다.


그렇다면 다음과 같이 배열을 선언할 때는 문제가 없을까?

int main() {
	
	int i = 10;
	int arr[i];

	return 0;
}

i 라는 변수가 10이기 때문에 arr이라는 배열의 크기가 10이라는 것을 알 수 있지 않을까?

결과는 아니다.


컴파일을 하는 동안 i4바이트의 크기라는 것을 알 수는 있으나, 그 값이 10으로 초기화 되었다는 사실은 무시하고 넘어간다. 값이 10으로 초기화 되었다는 사실은 실행되는 동안, 즉 런타임에 결정된다.

그렇기 때문에 컴파일러는 arr의 크기가 40바이트가 된다는 사실을 알 수 없다. 


사용자의 요구에 맞게 메모리를 할당해 주기 위해서는(런타임에 메모리 크기를 결정하고 싶을 때) 메모리 동적 할당을 통해 힙 영역에 메모리를 할당해야 한다.


힙 영역 : 할당해야 할 메모리의 크기를 프로그램이 실행되는 동안 결정해야 하는 경우(런 타임때) 유용하게 사용되는 공간


힙 영역을 사용하기 위해서는 동적할당에 대해서 공부하여야 한다.


2014/06/26 - [Programming/C언어] - [C] malloc, calloc, realloc을 이용한 메모리 동적 할당


  1. 컴돌이 2015.12.09 14:09 신고

    감사합니다!!

  2. Seph 2016.03.26 23:39 신고

    감사합니다 ^^

  3. hamji 2016.04.06 13:58 신고

    프로그램 공부하다 방문하였습니다. 글 잘 읽고 갑니다. ^^

  4. 맹훈 2016.05.01 16:44 신고

    int i=10
    int arr[i]

    이거 오류 발생안하는데요??

    • 11 2016.12.02 11:37 신고

      전역변수로 선언하면 오류 안납니다.

  5. kim 2016.05.27 21:43 신고

    친절한 설명듣고 갑니다~

  6. thanks! 2016.11.10 19:33 신고

    설명 작살나네여.... 고맙습니다

  7. sad 2016.11.24 11:11 신고

    깔끔한 설명감사합니다!

  8. 2017.05.02 23:15

    비밀댓글입니다

  9. 공부하는이 2017.05.02 23:16 신고

    비밀글 남긴거 남긴사람은 어떻게보나요?? ㅜㅜ

    • 공부하는이 2017.05.02 23:24 신고

      메모리가 한번에 잘 이해되는 글이에요
      그림도 그렇고 내용도 그렇고
      머릿속에 확 들어옵니다 ^^
      좋은글 감사합니다

  10. 지나가다가... 2017.05.31 15:49 신고

    뒷북인것 같지만..
    잘못된 정보가 인터넷에 돌고 있어서 알려드립니다.
    변수로 배열 크기를 지정하는 것은 C99부터 가능한 기능입니다.
    비정상적인 배열 선언이 아니며
    scanf 와 같은 함수로 입력받아 배열 크기 지정하는 것도 가능하다는 뜻이죠.
    어떤 기준으로 비정상적이다 라고 말씀하신지 잘 모르겠으나..
    힙영역에 선언되지 않으면서, 컴파일 타임에 배열의 크기를 알 수 없기 때문에 비정상적이다라고 보신다면... 객관적인 정보는 아닌것 같구요,
    위와 같이 가변 할당을 해주어도 사용자의 요구에 맞게 메모리를 할당 해줍니다.
    동적할당과 같이 크기를 하드코딩 하지 않으면서도 sizeof로 할당된 사이즈도 구할 수 있고, (동적할당한 포인터는 전체 사이즈를 구할 수 없기에 따로 관리해야 하죠)
    C에서 사용하는 경우 스택영역이니 메모리릭 신경쓰지 않고 사용할 수 있기 때문에 동적할당 보다 한정된 스코프에서 사용하기에는 용이하다고 봅니다.
    아래 위키 백과에서 가변 길이 배열 관련 내용을 읽어보시기 바랍니다.
    https://en.wikipedia.org/wiki/Variable-length_array

    • 흐미야 2017.08.09 17:32 신고

      지나가다가... 님이 좋은 내용 써주셨네요.
      저도 C는 오래했다고 생각했는데 새로운 내용이네요.
      말씀하신대로면 Heap 영역이 아니라 Stack 영역에 메모리가 잡히고 Life time도 지역 변수랑 동일하겠네요. 그래서 말씀하신대로 Leak에 대해서도 자유로워질 수 있겠네요. 전제 조건은 함수 호출 이전에 명시적으로 기술해야 한다고 했으니, main 함수에서는 못쓰게 되는 거겠군요. 좋은 지적 내용이십니다.
      C가 점점 최신 언어의 장점을 받아들이는 건가요? C만 해온 사람 입장으로서는 발전하는 것 같아서 좋아요.

  11. 장동규 2017.06.15 14:39 신고

    이해되었습니다! 감사합니다!

  12. 아주 지리는 구먼 2017.06.16 18:39 신고

    굿잡

  13. 아주 지리는 구먼 2017.06.16 18:54 신고

    전역변수로 하면 선언 된다고 하면(int a= 5; int b[a];)

    데이터영역(전역,static)은 동적할당 처럼 선언 할 수 있다는 건가?? 근데 결국 동적할당 처럼 사용은 못하겠지만... 선언만 야매로 쓸수있게되네?

    지역변수로 스택영역에서 사용할라면 빌드 자체가 안되는거고.. 런타임 단계에서 스택영역 애들이 아직 할당이안되서 메모리에....맞음?

    결국 그면 런타임할때 이미 데이터 영역(전역, static)들은 모두 할당이 끝난거? 라고 생각하면 됨?

    그래서 되는거고? 하지만 진정한 의미의 동적할당용 변수로는 사용못하고..(구동중에 변경 불가)

    맞음?

  14. 아주 지리는 구먼 2017.06.16 18:56 신고

    근데 위에 지나가다가.. 개소리는뭐임?

+ Recent posts