egg는 등식 그래프로 프로그램 최적화와 합성을 지원한다

egg 프로젝트는 동등한 프로그램 표현을 등식 그래프(e-graph)로 묶습니다. 이를 바탕으로 최적화기와 합성기를 만들 수 있고, 프로젝트는 이 방식을 쓰는 두 시스템을 제공합니다. 저는 하나의 아이디어가 실제 도구 두 갈래로 이어진다는 점이 흥미롭습니다.

PGO는 학습 작업에서 모은 분기·호출 빈도로 코드 배치를 조정하고, egg는 동등한 프로그램 표현을 그래프로 함께 다룹니다. 프로그램 최적화가 실행 빈도와 표현의 동등성이라는 서로 다른 정보를 활용한다는 점에서 두 접근이 맞닿습니다.

등식 그래프는 동등한 표현 하나만 남기지 않고, 여러 후보를 간결하게 함께 담습니다. egg는 Rust 라이브러리이고, egglog는 데이터로그(Datalog) 기반 시스템입니다. 두 시스템이 같은 접근을 서로 다른 형태로 제공한다는 점이 반갑습니다.

이 소개에는 실제 프로그램의 처리 시간 개선이나 효과가 큰 문제를 보여 주는 수치가 없습니다. 사용 환경도 선택을 가릅니다. egg는 Rust 라이브러리입니다. egglog는 Rust, 내장 S-표현식(S-expression) 언어, Python 바인딩(binding)으로 쓸 수 있습니다. 기존 코드의 언어와 성능 목표가 어느 쪽을 먼저 시험할지 바꿉니다.

egglog 웹 데모에서 간단한 식을 다뤄 보십시오. 자신의 최적화 대상에도 같은 변환을 적용해 기존 결과와 후보 표현, 실행 시간을 비교하면 실제로 도움이 되는지 확인할 수 있습니다.

프로그램 최적화 규칙을 만들 때, 동등한 표현의 후보와 실행 성능 중 무엇을 먼저 확인하십니까?