분기 예측과 자주 실행되는 반복문
CPU의 분기 예측을 돕고 컴파일러가 최적화할 수 있는 반복문을 작성합니다.
분기 예측과 자주 실행되는 반복문은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 2번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
분기 예측기
현대 CPU는 이전 명령이 끝나기 전에 다음 명령을 예측합니다. 예측이 틀리면 파이프라인이 멈추며 10~20사이클의 비용이 발생합니다.
예측 가능한 분기
거의 항상 한 방향으로 진행되거나 뚜렷한 패턴을 따르는 분기는 잘 예측됩니다. 무작위 분기는 성능에 치명적입니다.
정렬된 데이터의 이점
조건문을 사용해 정렬된 데이터를 순회하면 정렬되지 않은 데이터보다 빠른 경우가 많습니다. 분기 예측기가 패턴을 학습하기 때문입니다.
// Often much faster on sorted data
std::sort(v.begin(), v.end());
int sum = 0;
for (int x : v) {
if (x > 128) sum += x;
}분기 없는 코드
가능하다면 분기를 산술 연산으로 바꾸십시오. CPU가 두 경로를 모두 평가한 뒤 분기 없이 하나를 선택합니다.
// Branchy
int max(int a, int b) { return (a > b) ? a : b; }
// Branchless (often equivalent in machine code)
int max(int a, int b) { return a + (b - a) * (b > a); }더 나은 선택으로서의 std::max
현대 컴파일러는 분기 없는 코드를 자동으로 생성하는 경우가 많습니다. 명확한 코드를 작성하고 최적화기가 작업하도록 하십시오. 다만 자주 실행되는 경로에서는 디스어셈블리를 확인하십시오.
likely 및 unlikely 힌트
C++20에는 컴파일러에 힌트를 제공하는 [[likely]]와 [[unlikely]]가 추가되었습니다.
if (error_condition) [[unlikely]] {
handle_error();
}반복문 펼치기
반복마다 더 많은 작업을 수행하면 분기 빈도가 줄어듭니다. 현대 컴파일러는 스스로 반복문을 펼치므로, 측정을 통해 도움이 된다고 확인된 경우에만 #pragma unroll을 사용하십시오.
반복문에서 서로 다른 작업 섞지 않기
두 경우가 무작위로 번갈아 나타나는 반복문은 예측을 어렵게 만듭니다. 가능하다면 경우별로 반복문을 두 개로 나누십시오.
// Slow: random switching
for (auto& x : v) {
if (x.type == A) process_A(x);
else process_B(x);
}
// Faster: partition first
std::partition(v.begin(), v.end(), [](auto& x) { return x.type == A; });
for (size_t i = 0; i < boundary; ++i) process_A(v[i]);
for (size_t i = boundary; i < v.size(); ++i) process_B(v[i]);핫 함수 인라인하기
자주 실행되는 반복문에서는 함수 호출 오버헤드가 함수 본문의 비용과 맞먹을 수 있습니다. inline 힌트가 도움이 되며, __attribute__((always_inline)) (GCC/Clang)은 더 엄격하게 적용됩니다.
직관을 맹신하지 않기
컴파일러와 CPU는 매우 똑똑합니다. 최적화하기 전에 측정하십시오. 예측기가 학습을 마치면 “당연히” 더 빠를 것 같은 분기 없는 버전이 분기가 있는 버전보다 느릴 수도 있습니다.
넓은 반복문에 SIMD 사용하기
자동 벡터화는 가능한 경우 반복문을 SIMD 명령으로 변환합니다. 깔끔한 코드와 단순한 타입을 사용하고, 반복 사이의 데이터 의존성을 피하십시오.
프로파일 기반 최적화 (PGO)
컴파일하고 실행한 뒤 프로파일 데이터를 수집하고, 힌트를 사용해 다시 컴파일하십시오. 컴파일러는 데이터를 사용하여 어떤 분기가 자주 실행되는지 더 잘 예측합니다.
빠른 확인
필터링 반복문을 실행하기 전에 데이터를 정렬하면 실행 속도가 빨라지는 경우가 있는 이유는 무엇일까요?
복습
잘못 예측된 분기는 사이클을 소모합니다. 분기를 예측 가능하게 유지하고(정렬된 데이터가 도움이 됩니다), likely/unlikely 힌트를 사용하며, 반복문이 일정한 작업을 수행하도록 작업을 분할하십시오. 프로파일링으로 반대 결과가 입증되지 않는 한 컴파일러가 최적화하도록 맡기십시오.
자주 묻는 질문
“분기 예측과 자주 실행되는 반복문” 강의는 무료인가요?
네 — “분기 예측과 자주 실행되는 반복문” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“분기 예측과 자주 실행되는 반복문”에서 뭘 배우나요?
CPU의 분기 예측을 돕고 컴파일러가 최적화할 수 있는 반복문을 작성합니다. 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C++ Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 2번째 강의입니다.
“분기 예측과 자주 실행되는 반복문” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.