[논문 리뷰] egg: Easy, Efficient, and Extensible E-graphs.

Max Willsey, Yisu Remy Wang외 4명|arXiv (Cornell University)|2020. 04. 07.

Software Testing and Debugging Techniques인용 수 3

한 줄 요약

이 논문은 등가 포화 작업에 최적화된 오픈소스 e-그룹 라이브러리인 egg을 소개한다. 이는 성능 향상을 위해 재건을 통한 분산된 불변성 복원 기법과 확장성 향상을 위한 e-클래스 분석 기법이라는 두 가지 핵심 기여를 통해 달성된다. 그 결과, 더 빠르고 더 유연한 e-그룹이 탄생하여 프로그램 합성 및 컴파일러 최적화 분야에서 최신 기술 수준의 성능을 달성한다.

ABSTRACT

An e-graph efficiently represents a congruence relation over many expressions. Although they were originally developed in the late 1970s for use in automated theorem provers, a more recent technique known as equality saturation repurposes e-graphs to implement state-of-the-art, rewrite-driven compiler optimizations and program synthesizers. However, e-graphs remain unspecialized for this newer use case. Equality saturation workloads exhibit distinct characteristics and often require ad-hoc e-graph extensions to incorporate transformations beyond purely syntactic rewrites. This work contributes two techniques that make e-graphs fast and extensible, specializing them to equality saturation. A new amortized invariant restoration technique called rebuilding takes advantage of equality saturation's distinct workload, providing asymptotic speedups over current techniques in practice. A general mechanism called e-class analyses integrates domain-specific analyses into the e-graph, reducing the need for ad hoc manipulation. We implemented these techniques in a new open-source library called egg. Our case studies on three previously published applications of equality saturation highlight how egg's performance and flexibility enable state-of-the-art results across diverse domains.

연구 동기 및 목표

• 기존 e-그룹이 등가 포화 작업에 적용될 때 겪는 성능 및 확장성 한계를 해결한다.
• 현재 e-그룹이 활용하지 못하는 등가 포화 작업의 고유한 특성들을 규명한다.
• 등가 포화 작업의 워크로드 패턴을 활용하여 불변성을 더 효율적으로 복원할 수 있는 기법을 개발한다.
• 구체적인 도메인 분석을 e-그룹에 통합할 수 있는 일반적인 메커니즘을 구축하여 특수화된 확장 기능이 필요 없도록 한다.
• 제안된 기법들이 프로그램 합성 및 컴iles링 분야의 다양한 응용 분야에서 최신 기술 수준의 성능을 달성할 수 있음을 입증한다.

제안 방법

• 등가 포화 워크로드의 반복적이고 구조적인 특성을 활용하여 다수의 연산에 걸쳐 비용을 분산시키는 재건 기법을 도입함으로써 점근적 성능 향상을 달성한다.
• 도메인 특화 지식을 e-그룹 노드에 직접 통합할 수 있도록 일반적인 메커니즘인 e-클래스 분석을 설계한다. 이로써 저수준의 특수화된 조작에 대한 의존도를 감소시킨다.
• 등가 포화 하에서 효율적인 e-그룹 구축 및 쿼리 처리를 지원하는 오픈소스 e-그룹 라이브러리인 egg에 이러한 기법들을 구현한다.
• 특히 등가성 및 정규형 쿼리에 대해 효율적인 해석이 가능하도록 e-그룹 연산을 구조화하여 점진적 업데이트를 지원한다.
• e-클래스 분석을 일급 구성 요소로 통합하여 e-그룹 구축 및 변환 과정 중에 조합하고 실행할 수 있도록 한다.
• 고처리량, 리라이트 중심 워크로드에서의 오버헤드를 최소화하기 위해 egg의 데이터 구조 및 알고리즘을 최적화한다.

실험 결과

연구 질문

• RQ1 등가 포화 워크로드의 구조적 패턴을 활용하여 분산된 불변성 복원 기법을 설계할 수 있는가?
• RQ2 핵심 데이터 구조에 특수화된 수정 없이 도메인 특화 분석을 체계적으로 e-그룹에 통합할 수 있는가?
• RQ3 제안된 기법들이 실제 등가 포화 응용 분야에서 성능과 유연성 향상에 어느 정도 기여하는가?
• RQ4 프로그램 합성 및 컴파일러 최적화 분야에서 다양한 용도를 지원할 수 있는 통합적이고 확장 가능한 e-그룹 라이브러리를 구축할 수 있는가?

주요 결과

• 재건 기법은 등가 포화 워크로드의 특성을 활용하여 기존의 불변성 복원 방법보다 점근적 성능 향상을 제공한다.
• e-클래스 분석은 도메인 특화 논리를 e-그룹 구조에 직접 통합함으로써 특수화된 e-그룹 조작의 필요성을 줄인다.
• egg 라이브러리는 이전에 발표된 세 가지 등가 포화 응용 분야에서 최신 기술 수준의 성능 및 유연성을 달성한다.
• 재건과 e-클래스 분석의 조합은 비문자열적 변환을 효율적으로 처리할 수 있도록 한다.
• 사례 연구를 통해 egg가 대규모 프로그램 합성 및 컴파일러 최적화에서 고성능을 지원함을 입증한다.
• egg의 오픈소스 성격 덕분에 다양한 도메인에서 e-그룹을 재사용하고 확장할 수 있다.