Combine1 → Combine2 변환

<aside> 💡

이전의 설명에서,

'반복문이 실행될 때 마다 테스트 조건을 매번 평가해야 한다’

라는 내용 존재 (3.6.7절)

</aside>

Before

출처 : CSAPP p.535

After

출처 : CSAPP p.537

• 문제점

  • combine1은 반복문의 조건에 vec_length(v) 를 계속해서 호출
  • 불필요한 호출이 지속

• 특징

  • vec_length(v) 즉 [벡터 길이]는 불변값

• 해결

  • 루프 시작 전 지역 변수로 선언 후 조건에 대입

• 효과

  

  출처 : CSAPP p.536

<aside> 💡

Code Motion

위와 같이, 결과가 변하지 않는 연산을 루프 밖으로 이동시켜 호출 횟수 최소화하는 최적화 기법

</aside>

• 문제점
  • 최적화 컴파일러도 이를 시도하지만, 함수의 Side Effect로부터의 안전 보장이 안된다면 동작이 달라질 수 있기에 보수적으로 동작함
  • 프로그래머가 직접 Code Motion을 수행

String Lowercase로 비효율성 확인

• Code Image
• 목적
  • 문자열 내 모든 대문자 → 소문자 변환

<aside> 💡

lower1의 문제

</aside>

• 반복 조건식에서 매번 strlen(s)를 호출 → 문자열 길이 계산을 O(n)으로 수행
• 전체 루프 반복 횟수 : O(n) → 총 시간 복잡도 O(n^2)
• 실제 측정 : 문자열 길이가 1,048,576일 때 대략 17분 이상 소요