CSAPP 5.1 Capabilities and Limitations of Optimizing Compilers

📝 상세 정리

#

• 현대 컴파일러는 프로그램에서 어떤 값이 계산되고 어떻게 사용되는지를 결정하기 위해 정교한 알고리즘을 사용한다.
  • 식 단순화, 계산결과 재활용, 계산 횟수 감소 등을 지원한다.
  • 대부분의 컴파일러는 -Og, -O1, -O2…처럼 최적화 레벨도 지정할 수 있다.
  • 여기서는 일단 -O1로 컴파일도니 코드를 위주로 고려하겠다.
• 컴파일러는 프로그램에 대해 안전하지 않은 최적화를 적용해서는 안된다.
  • 다음과 같은 함수가 있다고 생각해보자.

  1	void twiddlel(long *xp, long *yp)
  2	{
  3		*xp += *yp;
  4		*xp += *yp;
  5	}
  6	
  7	void twiddle2(long *xp, long *yp)
  8	{
  9		*xp += 2* *yp;
  10	}

  • 첫번째 함수는 메모리 참조 6번, 두번째 함수는 3번이니 알아서 최적화하지 않을까? 싶다.
  • 하지만 xp와 yp가 같다면, 그렇게 하면 결과가 달라지게 된다!
  • 이렇게 두 포인터가 동일한 메모리 위치를 가리킬 수 있는 경우를 메모리 별칭(memory aliasing) 이라고 한다.
  • 안전한 최적화만 수행하는 컴파일러는 서로 다른 포인터가 겹칠 수 있다 (alias 될 수 있다)고 가정해야 한다.

❔질문 사항

#

🔗 참고 자료

#