230. 지연 분기 (Delayed Branch)

핵심 인사이트 (3줄 요약)

1. 본질: 지연 분기 (Delayed Branch)는 분기 결과가 늦게 확정되는 파이프라인에서, 분기 직후 1개 명령어를 항상 실행하도록 명령어 집합 구조 (ISA, Instruction Set Architecture) 차원에서 약속해 제어 해저드 (Control Hazard)를 줄이는 기법이다.
2. 가치: 고가의 분기 예측기 없이도 컴파일러가 분기 지연 슬롯 (Branch Delay Slot)을 유효한 명령으로 채우면 초기 축소 명령어 집합 컴퓨터 (RISC, Reduced Instruction Set Computer)에서 스톨 비용을 상당 부분 숨길 수 있었다.
3. 판단 포인트: 지연 분기는 얕은 파이프라인에는 단순하고 효율적이지만, 파이프라인이 깊어지고 비순차 실행이 보편화될수록 소프트웨어에 노출된 타이밍 계약이 오히려 설계 유연성을 해치는 제약이 된다.

Ⅰ. 개요 및 필요성

지연 분기는 분기 명령의 결과가 즉시 나오지 않는 초기 파이프라인 프로세서에서 등장한 절충안이다. 5단계 파이프라인만 보더라도 조건 비교와 분기 목표 주소 계산은 보통 실행 단계에서 끝나므로, 인출 단계는 "다음에 어디서 명령을 가져와야 하는가"를 잠시 모른다. 이때 아무 대책이 없으면 프로세서는 분기마다 1클럭 이상 멈추거나, 틀린 경로를 가져왔다가 다시 지워야 한다.

초기 RISC 설계는 이 문제를 복잡한 하드웨어 대신 명령어 규칙으로 풀었다. 분기 바로 뒤의 한 칸은 어차피 이미 인출되었으니, 그 명령어를 취소하지 말고 무조건 실행하자고 정한 것이다. 즉 지연 분기는 하드웨어가 감추지 못한 파이프라인 시간차를 소프트웨어가 이해하고 활용하도록 만든 역사적 해결책이다.

이 방식이 중요한 이유는 "분기 비용을 보이지 않게 숨긴다"는 데 있다. 컴파일러가 독립적인 산술 연산이나 주소 계산을 그 한 칸에 옮겨 놓으면, 원래 버려질 클럭이 유효한 작업 시간으로 바뀐다. 반대로 적절한 명령을 찾지 못하면 아무 동작도 하지 않는 명령 (NOP, No Operation)을 넣어야 하므로, 지연 분기의 효과는 즉시 줄어든다.

• 📢 섹션 요약 비유: 갈림길에서 안내 방송이 조금 늦게 나오는 기차역이라면, 승객을 멈춰 세우는 대신 "방송 기다리는 동안 바로 앞 짐칸 하나는 먼저 정리하고 가자"고 약속한 운영 방식이 지연 분기다.

Ⅱ. 아키텍처 및 핵심 원리

지연 분기의 핵심은 분기 직후 명령어 1개를 아키텍처적으로 보장한다는 점이다. 아래 흐름은 5단계 파이프라인의 전형적 예를 보여준다. 명령어 인출 (IF, Instruction Fetch), 명령어 해독 (ID, Instruction Decode), 실행 (EX, Execute), 메모리 접근 (MEM, Memory Access), 결과 기록 (WB, Write Back) 중에서 분기 판단이 EX에서 끝난다면, 분기 다음 칸은 이미 파이프라인 안으로 들어와 있다.

이 그림은 "왜 슬롯이 생기는가"와 "어느 명령이 항상 실행되는가"를 함께 보여준다.

┌────────────────────────────────────────────────────────────────────────────┐
│         5단계 파이프라인에서 지연 분기가 동작하는 시간축 예시            │
├────────┬──────────┬──────────┬──────────┬──────────┬──────────┬──────────┤
│ 사이클 │    1     │    2     │    3     │    4     │    5     │    6     │
├────────┼──────────┼──────────┼──────────┼──────────┼──────────┼──────────┤
│ BEQ    │ IF       │ ID       │ EX*      │ MEM      │ WB       │          │
│ ADD    │          │ IF       │ ID       │ EX       │ MEM      │ WB       │
│ Target │          │          │ IF 보류  │ IF 시작  │ ID       │ EX       │
├────────┴──────────┴──────────┴──────────┴──────────┴──────────┴──────────┤
│ EX* : 분기 조건과 목표 주소가 여기서 확정                                  │
│ ADD : 분기 성공 여부와 관계없이 실행되는 Branch Delay Slot 명령            │
└────────────────────────────────────────────────────────────────────────────┘

컴파일러는 이 슬롯을 채울 때 보통 세 가지 선택을 한다. 첫째, 분기 이전에 있던 독립 명령을 끌어온다. 둘째, 분기 목적지에서 먼저 실행해도 안전한 명령을 복사한다. 셋째, 분기 미실행 경로에서 먼저 해도 되는 명령을 옮긴다. 이 셋 중 어떤 경우에도 중요한 기준은 부작용이 분기 결과와 충돌하지 않아야 한다는 점이다.

결국 지연 분기는 "하드웨어가 이미 한 걸음 내디딘 상태"를 ISA 차원에서 인정한 것이다. 덕분에 초기 프로세서는 제어 로직을 단순하게 유지할 수 있었지만, 그 대신 컴파일러와 어셈블리 프로그래머는 슬롯의 의미를 정확히 알아야 했다.

• 📢 섹션 요약 비유: 지연 분기는 엘리베이터 문이 닫히는 순간 이미 한 사람은 발을 들여놓았으니, 그 사람만큼은 목적지가 바뀌어도 일단 함께 태우고 가는 규칙과 같다.

Ⅲ. 비교 및 연결

지연 분기를 제대로 이해하려면 "소프트웨어가 시간을 책임지는 방식"과 "하드웨어가 추측으로 숨기는 방식"을 비교해야 한다. 지연 분기는 분기 비용을 ISA에 노출한다. 반면 분기 예측 (Branch Prediction)은 그 비용을 하드웨어 안으로 숨기고, 잘못 예측했을 때만 플러시 패널티를 지불한다.

지연 분기는 파이프라인 스톨 (Pipeline Stall), 제어 해저드, 명령어 스케줄링 (Instruction Scheduling)과 강하게 연결된다. 스톨을 줄이기 위해 슬롯을 채우는 것이므로, 본질적으로는 컴파일러 최적화의 한 형태다. 또한 초장기적으로는 매우 긴 명령어 단어 (VLIW, Very Long Instruction Word)처럼 "컴파일러가 실행 시점을 더 많이 책임지는" 계열의 사고방식과도 닿아 있다.

하지만 차이도 분명하다. VLIW는 여러 실행 유닛 전체의 병렬성을 소프트웨어가 드러내는 방식이고, 지연 분기는 분기 직후 한 칸의 시간 보정만 맡긴다. 즉 지연 분기는 컴파일러 주도 설계의 입문형 사례라고 볼 수 있지만, 현대 고성능 CPU가 요구하는 동적 상황 변화까지 감당하기에는 범위가 너무 좁다.

• 📢 섹션 요약 비유: 지연 분기가 공연 전에 무대 스태프가 미리 빈 시간을 메워 두는 수동 큐시트라면, 분기 예측은 공연 중 조명 시스템이 상황을 보고 실시간으로 자동 전환하는 스마트 콘솔에 가깝다.

Ⅳ. 실무 적용 및 기술사 판단

실무 관점에서 지연 분기는 "새로 채택할 기술"이라기보다 "왜 사라졌는지 이해해야 할 기술"에 가깝다. 신규 명령어 집합을 설계한다면 지연 분기를 넣기보다 분기 예측, 조기 분기 판정, 추측 실행으로 가는 편이 훨씬 유연하다. 반대로 고전적 MIPS 계열처럼 지연 슬롯이 정의된 구조를 분석하거나 유지보수할 때는 이 규칙을 모르면 프로그램 의미를 잘못 해석하게 된다.

판단 체크리스트

1. 분기 슬롯에 넣은 명령이 분기 성공/실패 양쪽 경로에서 모두 안전한가?
2. 메모리 쓰기, 예외 발생 가능 연산처럼 부작용이 큰 명령을 슬롯에 넣고 있지 않은가?
3. 파이프라인 깊이와 구현 세대가 달라져도 ISA 호환성 때문에 슬롯 규칙을 계속 떠안아야 하는가?
4. 컴파일러가 충분히 채우지 못해 NOP 비율이 높다면, 이미 하드웨어 방식이 더 유리한 단계가 아닌가?

대표 안티패턴

• 부작용 큰 명령 배치: 슬롯에 저장 명령이나 예외 가능 연산을 넣으면, 분기를 취소하고 싶어도 그 효과는 이미 발생한다.
• 깊은 파이프라인에 과거 가정 유지: 초기 1슬롯 가정은 단순 5단계 파이프라인에 맞춘 것이다. 분기 확정 지점이 더 뒤로 밀리면 이 모델은 현실을 잘 설명하지 못한다.
• 레거시 의미 무시한 재작성: 현대 최적화 관점으로 코드를 바꾸다가 슬롯 실행 보장을 놓치면 동작 자체가 달라질 수 있다.

기술사 답안 관점에서는 "지연 분기는 하드웨어 비용 절감의 산물이지만, ISA에 박제된 타이밍 계약이라 현대 구현 자유도를 떨어뜨린다"고 정리하면 핵심이 선다. 즉 짧은 파이프라인 시대에는 합리적이었지만, 깊은 파이프라인·비순차 실행·정교한 예측기가 등장한 이후에는 유지비가 더 큰 구조가 되었다.

• 📢 섹션 요약 비유: 임시 우회도로가 공사 초기에는 유용했지만 도시가 커진 뒤에도 그 길을 법으로 고정해 버리면, 나중에는 더 좋은 도로를 깔고 싶어도 전체 교통 체계가 그 옛길에 묶이는 셈이다.

Ⅴ. 기대효과 및 결론

지연 분기는 초기 파이프라인 설계에서 놀라울 만큼 경제적인 해법이었다. 작은 하드웨어로도 분기 손실을 줄일 수 있었고, 컴파일러가 충분히 똑똑하면 실제 처리량도 제법 끌어올릴 수 있었다. 즉 자원이 귀하던 시절에는 "간단한 회로 + 정적인 스케줄링" 조합이 매우 현실적인 선택이었다.

그러나 한계도 분명하다. 슬롯에 항상 적절한 명령이 있는 것은 아니고, 예외 처리·디버깅·비순차 실행과의 상호작용도 복잡하다. 무엇보다 성능 향상을 위해 소프트웨어에 노출한 시간 모델이 후대 마이크로아키텍처의 자유도를 제한한다는 점이 치명적이다.

따라서 지연 분기는 오늘날의 정답이라기보다, "아키텍처는 단순한 명령어 정의가 아니라 미래 구현 방식까지 묶을 수 있다"는 교훈으로 기억하는 편이 맞다. 분기 문제를 소프트웨어가 떠안게 할 것인지, 하드웨어가 감출 것인지는 단순 성능 문제가 아니라 장기 호환성과 설계 진화성의 문제이기 때문이다.

• 📢 섹션 요약 비유: 지연 분기는 작은 가게에서 인력 부족을 메우려 만든 영리한 손님 동선이었지만, 대형 쇼핑몰이 된 뒤에도 그 동선을 고집하면 오히려 확장과 리모델링을 방해하는 낡은 규칙이 된다.

📌 관련 개념 맵

📈 관련 키워드 및 발전 흐름도

단순 파이프라인의 제어 해저드
        │
        ▼
지연 분기 (Delayed Branch)
        │
        ├─▶ 분기 지연 슬롯 채우기
        │       └─▶ 명령어 스케줄링 고도화
        │
        ▼
정적 분기 처리 한계 노출
        │
        ▼
분기 예측 (Branch Prediction) · 추측 실행 (Speculative Execution)
        │
        ▼
깊은 파이프라인 · 비순차 실행 중심의 현대 프론트엔드

이 흐름은 "노출된 시간차 보정"에서 "하드웨어가 시간차를 숨기는 방향"으로 분기 처리 기술이 진화했음을 보여준다.

👶 어린이를 위한 3줄 비유 설명

1. 갈림길에서 어디로 갈지 아직 못 정했어도, 바로 뒤 친구 한 명은 "일단 한 걸음은 같이 가자"고 약속한 게 지연 분기예요.
2. 그래서 기다리는 시간에 가만히 서 있지 않고, 원래 해야 할 작은 일을 먼저 해버릴 수 있어요.
3. 하지만 길이 너무 복잡해지면 이런 약속만으로는 부족해서, 요즘 컴퓨터는 더 똑똑한 예측 장치를 많이 써요.