슈퍼옵티마이저: 가장 작은 프로그램을 찾는 기술
Superoptimizer – A Look at the Smallest Program
ACM의 고전 논문 'Superoptimizer'를 통해, 주어진 기능을 구현하는 가장 작은 기계어 프로그램을 찾는 혁신적인 접근법을 살펴본다. 이 논문은 무차별 대입 탐색과 정리 증명을 결합하여, 기존 컴파일러가 놓치는 최적의 코드를 발견하는 방법을 제시한다. 특히, 단 5개의 명령어로 구성된 프로그램을 찾는 사례를 통해, 슈퍼옵티마이저가 어떻게 인간 프로그래머나 기존 도구를 능가하는 결과를 만들어내는지 보여준다.
슈퍼옵티마이저는 기존 컴파일러가 생성하는 코드보다 훨씬 작은 프로그램을 찾아내며, 이는 때로는 인간 프로그래머조차 생각하지 못한 해결책이다.