Heap 인지 Stack 인지 알수 있는 방법 좀 부탁합니다.

Meyers 의 More Effective C++
Item 27: Requiring or prohibiting heap-based objects.

변수의 위치가 힙,스택,전역인지를 판단하기는 힘들다는 문제점과 함께 피해야 한다고 하네요. 그런 구분이 필요한 설계를 피하는 것이 더 낫지 않을까 합니다만...

그럼, 이만...

프로그램에서는 어느 위치에 있는지 확인하여 action을 하는 것은 삼가야합니다.

다만 디버깅할때는 어디에 있는지 감을 갖는 것은 좋죠.

static 변수하나 만들고, 그 변수의 pointer와 상위 8 bit 정도 비교하시면 될 것입니다.

그렇게 되면, stack인지 아닌지정도는 구별할 수 있으며,

BSS 와 Heap은 main 시작하자 마자 sbrk 명령으로 현재 할당받은 data segment의 마지막 값을 구해 놓고 그것보다 작으면 BSS, 크면 Heap이라 추정할 수 있습니다.
단, 가정은
main 시작전에 Data Segment 메모리가 적당히 잡혀있지 않다.
main 이후 최초 만나는 malloc 은 메모리를 더 할당 받는다
입니다.

일반적으로,
BSS < 최초 Data Segment 최대 번지 < Heap < Stack 순입니다.

재미로 돌려 봤는데, 눈요기 하시라고 필요하신분도 있을 것 같애서 결과를 올려 봅니다.

#include <unistd.h>
#include <stdio.h>

int bss;

int main()
{
        int stack;
        int * heap;
        void * beg;
        beg = sbrk(0);
        heap = (int *) malloc(4);
        printf("BSS   Sample: %p\n", & bss );
        printf("Heap  Begin : %p\n", beg );
        printf("Heap  Sample: %p\n", heap );
        printf("Stack Sample: %p\n", & stack);
        return 0;
}

제가 테스트해본 결과로는

linux kernel 2.4.2 (GLIBC_2.2.3) 에서

BSS   Sample: 0x8049708
Heap  Begin : 0x804970c
Heap  Sample: 0x8049718
Stack Sample: 0xbffffa64

HPUX 10.20 에서

BSS   Sample: 40001160
Heap  Begin : 40001164
Heap  Sample: 40003170
Stack Sample: 7b03a9c0

Solaris 2.7 (x86)에서

BSS   Sample: 804a754
Heap  Begin : 804a758
Heap  Sample: 804a768
Stack Sample: 8047cf4

위와 같이 나왔구요.

AIX 4.3.3 에서는

BSS   Sample: 200007f0
Heap  Begin : 20010800
Heap  Sample: 20000818
Stack Sample: 2ff229f8

와 같이 나오는 군요. 맨 위 가정에 위배된다고 생각합니다.

아마 AIX 는 main 이전에 메모리 확보를 어느정도 해놓고, 최초 malloc 에서 그 안의 영역이 사용되나봅니다.

다시한번 강조하는 것은 어디까지나 구현에 따른 경험을 이용한 debugging에서 사용되어야지, critical path에 사용되어서는 안됩니다.

코드상 Heap Begin이라고 썼는데, 정확한 표현이 아닙니다.

Text 는 function 내용이 들어가는 곳
DATA는 Readonly value 들이 들어가는 곳
BSS는 전역함수 혹은 함수내 static 변수들이 들어가는 곳 (답변이네요.. ^^)
ENV 는 프로그램 실행시 환경변수가 들어가는 곳

입니다.

이중에서 실행파일내부에는 text, data, bss 만 들어 있으며,
heap, stack은 실행중에 가변되는 잘 알려진 특성이 있고,
env 는 stack 보다 더 큰 주소에 위치합니다.
BSS는 대개 object에서 data 길이만 잡혀있습니다.

특성을 나열하자니 한도 끝도 없겠네요...

data bss stack heap 정도의 키워드를 주니 구글 선생님이 많은 사이트를 알려주는 군요

pynoos님 감사합니다.. :D
검색을 좀 더 해볼걸 그랬네요;;
이제 자세한 내용은 구글선생님께 여쭈어 보겠습니당..ㅎㅎ 8)

요즘 이 문제때문에 아주 골치를 앓고 있는데...
제가 이제까지 모은 정보를 좀 추가를 하면...

_참고

extern char _end;
extern char **environ;
extern HANDLE _crtheap;

linux - linux는 stack/heap을 공유해서 사용함으로 heap begin과 stack begin을 중간으로 잘라서 사용하시면 그럭저럭 잘 맞습니다.

heap begin: &_end
stack begin: environ

HP-UX B.11.11 9000/800

heap begin: &_end
heap end: 0x4ffcf778 (추정치)
stack begin: environ

SunOS 5.9 sun4u

heap begin: &_end
heap end: 0x90e48608 (추정치)
stack begin: environ

AIX 1 00572BED4C00

heap begin: &_end
heap end: 0x27fdbaa8 (추정치)
stack begin: environ

Windows_NT x86 - 일반 데스크탑

heap begin: _crtheap (text, data segment가 앞쪽에 붙어 있음)
heap end: 0x7FFFFFFF
stack begin: 0x0012FFFF
stack end: 0x00030000

위 추정치는 아주 근사치이니 그냥 사용 하셔도 무방할겁니다.

윈도우즈 노트북(XP)
heap1
stack
heap2
노트북은 위와 같은 구조로 아주 우끼게 되어 있습니다.
참고 하시길...

혹시나 여기에 정보 추가 해주실분... 추가 해도 무방합니다.
각 OS의 stack의 끝을 알고 싶습니다.
정보를 좀 더 찾아야 할듯...

<어떠한 역경에도 굴하지 않는 '하양 지훈'>

#include <com.h> <beer.h> <woman.h>
do { if (com) hacking(); if (money) drinking(); if (women) loving(); } while (1);