인프런 커뮤니티 질문&답변

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

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

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

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

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

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

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

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

그림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++;
	}
}

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

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

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