• 카테고리

    질문 & 답변
  • 세부 분야

    임베디드 · IoT

  • 해결 여부

    미해결

스택 사이즈 관련 질문입니다.

23.11.22 12:54 작성 조회수 113

1

스택오버플로우 검사 강의에서

스택 사이즈가 512라고 하셨는데

강의영상 및 예제를 보면 xTaskCreate 함수에서 Stack depth 가 256 Word로 설정되어있는데 그러면 1024 바이트 아닐까요?

답변 1

답변을 작성해보세요.

0

홍영기님의 프로필

홍영기

지식공유자

23.11.23 15:45

안녕하세요. wjkim님!
영상 촬영 당시에는 스택 사이즈가 128(512바이트) 이었고, 이후 예제 튜토리얼이 버젼업되면서 스택 크기 여유분 증가의 필요성 때문에 수정하게 되었고 현재는 256(1024바이트) 이 맞습니다. 추가적으로 궁금한 점 있으시면 다시 질문 남겨주세요. 감사합니다 :)

wjkim님의 프로필

wjkim

질문자

23.11.24 08:48

그렇다면 Task2 함수에서 스택 사이즈가 1024 바이트인데 배열 bbb를 500~600 bytes 이상으로 수정했을때부터 왜 오버플로우가 발생하는건가요??

배열 변수 bbb 말고도 다른 코드들이 스택 사이즈를 차지하기 때문에 그럴까요?

홍영기님의 프로필

홍영기

지식공유자

23.11.26 20:03

ucHeap 시작 위치: 이것은 힙의 시작점을 나타냅니다.

idle 태스크 스택 할당: FreeRTOS 시스템은 idle 태스크를 위한 스택 공간을 먼저 할당합니다.

Task1 스택 할당: Task1에는 1024바이트의 스택이 할당됩니다.

Task2 스택 할당: Task2에도 1024바이트의 스택이 할당됩니다.

 

BSS area 는 초기화 하지 않은 전역변수 공간을 말합니다

 

image그림1. ucHeap 의 BSS 공간내에서의 표현

 

image그림2. ucHeap 의 현재 메모리 사용 내역

 

위와 같은 메모리 구조상에서 아래와 같은 코드를 실행하였다면 스택 오버플로우가 발생함은 당연하고(왜냐하면, ARM 프로세서는 메모리 높은 주소에서 낮은 주소 방향의 스택 푸쉬 동작을 일으키기 때문에), Task2 가 Task1 이 사용중인 스택 공간을 파괴 하였을 것을 짐작해볼 수 있을 것입니다.

#if 1
	/* Create the other task in exactly the same way. */
	xTaskCreate(	(TaskFunction_t)Task1,		/* Pointer to the function that implements the task. */
					"Task1",	/* Text name for the task.  This is to facilitate debugging only. */
					256,		/* Stack depth - most small microcontrollers will use much less stack than this. */
					NULL,		/* We are not using the task parameter. */
					TASK_1_PRIO,	/* This task will run at this priority */
					&xHandle1 );		/* We are not using the task handle. */
#endif

#if 1
	/* Create the other task in exactly the same way. */
	xTaskCreate(	(TaskFunction_t)Task2,		/* Pointer to the function that implements the task. */
					"Task2",	/* Text name for the task.  This is to facilitate debugging only. */
					256,		/* Stack depth - most small microcontrollers will use much less stack than this. */
					NULL,		/* We are not using the task parameter. */
					TASK_2_PRIO,	/* This task will run at this priority */
					&xHandle2 );		/* We are not using the task handle. */
#endif

. . .

void Task2( struct Param_types *Param )
{
	const char *pcTaskName = "Task2";
#if 1
	char bbb[1024]; // 800bytes(fail)
	UNUSED(bbb);
#endif

...

	while(1) {

...

	/* TODO #2:
		스택에 다음처럼 데이터를 넣어본다
		eg. memset(bbb, 'a', 500);
		*/
#if 1
		memset((void*)bbb, 'a', 1024);
#endif

		task2timer++;
	}
}
규철님의 프로필

규철

23.12.18 17:16

위 댓글에서 idle task의 스택먼저 할당해준다고 하셨는데 그림2에서 idle task의 스택이 제일 low 주소에 있는지 궁금합니다.

스택은 high 주소부터 할당되어야 하는것이 아닌가요??

그게 아니라면 task 각각의 스택은 일반적인 bss영역처럼 low to high 할당해주고, 할당된 stack 내부에서만 stack영역처럼 high to low 할당해주는 것인가요?