스택과 힙 및 이스케이프 분석

함수 밖으로 이탈하지 않는 지역 변수는 고루틴 스택에 할당됩니다. 스택 할당은 빠르며(포인터를 한 번 증가시키는 것뿐입니다) 수집 비용이 없습니다(반환할 때 스택 프레임이 제거됩니다).

힙으로 이탈하는 변수는 Go 할당자를 사용하여 할당되고 가비지 컬렉터가 추적합니다. 힙 할당은 더 느리고 GC 부담을 증가시킵니다.

일반적인 이탈 원인은 지역 변수의 주소를 가져와 반환하거나, 지역 변수를 인터페이스에 저장하거나, 채널로 전송하는 것입니다. 컴파일러의 이탈 분석이 이를 결정합니다.

이탈 분석 결과를 출력합니다:

각 고루틴은 작은 스택(Go 1.14 이상에서는 2 KiB)으로 시작하고 필요에 따라 동적으로 커집니다. 스택은 힙과 별개이며 고루틴이 종료될 때 수집됩니다.

작은 구조체는 포인터가 아닌 값으로 전달하십시오. 크기를 알고 있다면 슬라이스 대신 스택에 할당된 배열을 사용하십시오. 값을 포인터가 아닌 형태로 반환하여 스택에 유지하십시오.

구체적인 값을 인터페이스에 할당하면 값이 힙으로 이탈합니다(박싱). 실행 빈도가 높은 경로에서는 인터페이스 대신 구체적인 타입을 받거나 제네릭을 사용하십시오.

sync.Pool을 사용하여 힙에 할당된 객체를 재사용하면 수명이 짧은 객체(버퍼, 요청 Context)를 자주 할당할 때 발생하는 GC 부담을 줄일 수 있습니다.

go test -benchmem과 -alloc_space를 사용한 힙 프로파일링으로 메모리를 가장 많이 할당하는 함수를 찾으십시오.

작은 배열 [N]T는 스택에 유지될 수 있습니다. 슬라이스 헤더(24바이트)는 스택에 할당되지만, 기반 배열은 힙으로 이탈할 수 있습니다. make로 미리 할당하면 반복적인 재할당을 피할 수 있습니다.

문자열 리터럴은 힙에 할당되지 않고 읽기 전용 데이터 영역에 저장됩니다. []byte를 문자열로 변환하면 할당이 발생합니다. 자주 사용하는 문자열을 캐시하여 반복적인 변환을 피하십시오.

핵심 사항:

• 스택: 빠르고 GC 수집 비용이 없음, 힙: 더 느리고 GC가 추적함
• go build -gcflags="-m"은 이탈 결정을 보여 줍니다
• 인터페이스 박싱, 지역 변수의 주소 사용, 채널 전송은 이탈을 일으킵니다
• 자주 할당하고 폐기하는 객체에는 sync.Pool을 사용합니다