[논문 리뷰] Survey on Instruction Selection: An Extensive and Modern Literature Review

Gabriel Hjort Blindell|arXiv (Cornell University)|2013. 06. 20.

Parallel Computing and Optimization Techniques참고 문헌 29인용 수 3

한 줄 요약

이 논문은 1960년대 이래로 100년이 넘는 연구를 종합적으로 다루며 컴파일러 코드 생성에서 지시어 선택에 대한 최신의 종합적 서베이를 제시한다. 트리 패턴 매칭, 동적 프로그래밍, 마크로 기반 기법과 같은 현대적 접근 방식을 분류하면서도, 최적화된 타겟 특화 코드 선택을 위한 향후 연구를 이끌어내는 데서 격차를 밝혀낸다.

ABSTRACT

Instruction selection is one of three optimisation problems involved in the code generator backend of a compiler. The instruction selector is responsible of transforming an input program from its target-independent representation into a target-specific form by making best use of the available machine instructions. Hence instruction selection is a crucial part of efficient code generation. Despite on-going research since the late 1960s, the last, comprehensive survey on the field was written more than 30 years ago. As new approaches and techniques have appeared since its publication, this brings forth a need for a new, up-to-date review of the current body of literature. This report addresses that need by performing an extensive review and categorisation of existing research. The report therefore supersedes and extends the previous surveys, and also attempts to identify where future research should be directed.

연구 동기 및 목표

• 지난 30년 이상 체계적으로 검토되지 않은, 지시어 선택에 대한 종합적이고 최신의 서베이가 부족한 문제를 해결하기 위해.
• 트리 패턴 매칭, 동적 프로그래밍, 마크로 확장과 같은 기존 지시어 선택 기법들을 분류하고 분석하기 위해.
• 트리릿 및 트리 패턴 매칭과 같은 복잡한 접근 방식에 대한 이해를 높이고, 이전 문헌에서의 오해를 명확히 하기 위해.
• 지속적으로 해결되지 않은 주요 연구 과제와 지시어 선택 및 코드 생성 분야의 향후 연구 방향을 제안하기 위해.

제안 방법

• 1960년대 후반부터 2013년까지 지시어 선택에 관한 100편 이상의 논문을 체계적으로 검토하기 위해.
• 트리 패턴 매칭, 동적 프로그래밍, 마크로 기반 방법과 같은 가족으로 접근 방식을 분류하기 위해.
• 모든 예시적인 트리와 그래프의 루트를 상단에 두어 명확성과 일관성을 향상시키기 위해 재작도하기 위해.
• 모의실험과 마크로 확장 장을 통합하여 공통적인 개념적 및 구현적 특성을 반영하기 위해.
• 모든 서베이된 접근 방식을 표 형식으로 정리한 첨부자료를 제공하여 쉽게 참조할 수 있도록 하기 위해.
• 각 방법의 강점, 약점 및 가정을 평가하기 위해 비판적 분석 프레임워크를 사용하기 위해.

실험 결과

연구 질문

• RQ1 현대 지시어 선택에서 지배적인 패러다임과 기법은 무엇이며, 1970년대 이후로 어떻게 진화해 왔는가?
• RQ2 트리 패턴 매칭과 동적 프로그래밍과 같은 다양한 지시어 선택 전략은 표현력과 성능 측면에서 어떻게 비교될 수 있는가?
• RQ3 기존 문헌에서 지시어 선택 기법에 대한 이해에 영향을 미치는 주요 오해나 단순화된 해석은 무엇인가?
• RQ4 지속적으로 해결되지 않은 주요 연구 과제와 지시어 선택 분야의 여전히 미해결된 연구 격차는 무엇인가?
• RQ5 지시어 수준의 병렬 처리와 복잡한 타겟 아키텍처를 고려할 때 지시어 선택은 어떻게 더 최적화될 수 있는가?

주요 결과

• 이 서베이는 지시어 선택에 대해 100개 이상의 별도의 접근 방식을 식별하였으며, 트리 패턴 매칭과 동적 프로그래밍가 가장 널리 연구되고 적용된 것으로 나타났다.
• 많은 이전의 서베이와 논문들이 마크로 확장 및 트리 패턴 매칭과 같은 기법에 대해 기본적인 오해를 가지고 있었으며, 본 연구에서 이를 수정하였다.
• 모의실험과 마크로 확장의 통합은 공통적인 설계 패턴과 구현적 트레이드오프를 드러내어, 이들의 유사성을 명확히 하였다.
• 본 보고서는 루트가 상단에 있는 트리 시각화 방식이 지시어 선택 알고리즘을 설명할 때 읽기 쉽게 하고 일관성을 높인다는 것을 입증하였다.
• 첨부자료는 모든 서베이된 접근 방식을 종합적으로 표 형식으로 정리하여 연구자들이 방법 간의 비교와 특성 파악을 신속하게 수행할 수 있도록 하였다.
• 수십 년에 걸친 연구에도 불구하고, 어떤 한 방법도 모든 타겟 아키텍처에서 우세하게 작용하지는 않으며, 이는 적응형이고 확장 가능한 지시어 선택 프레임워크의 필요성을 시사한다.