Proceedings of the ACM on Programming Languages· 2026Q1
Etkili E-Grafikler İçin Verimli Çıkarım
Efficient Extraction for Effectful E-graphs
- 1atıf
- Q1SCImago
- 2026yıl
Kısa özet
Statewalk DP adlı yeni bir algoritma, harici çözücüler olmadan etkili programları e-grafiklerden verimli bir şekilde çıkarır ve ILP yöntemlerine göre kat kat hızlanma sağlar.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- E-grafiklerden etkili program çıkarımı için Statewalk DP algoritmasını tanıtır.
- Statewalk DP, harici çözücülere (ILP gibi) dayanmadan etki sıralamasını uygular.
- Algoritmanın başa çıkılabilirliği, pratikte genellikle küçük olan 'statewalk width' (durum gezme genişliği) değerine bağlıdır.
- ILP çıkarma yöntemlerine kıyasla kat kat hızlanma sağlar.
- Imperatif Bril programları için EGGCC'de uygulanmış olup, derleme darboğazı olmaktan çıktığını göstermiştir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
E-Graphs have enabled recent advances in program optimization, synthesis, and verification, yet remain difficult to apply to effectful programs whose memory and I/O operations must respect execution order. Existing effect-aware extraction algorithms rely on integer linear programming (ILP) and dominate total runtime. We introduce Statewalk DP, a new extraction algorithm that enforces effect ordering efficiently without external solvers. We prove that finding any effect-safe extraction is NP-complete, but show that Statewalk DP is tractable in statewalk width, a parameter that measures the complexity of dataflow interactions among effects. In practice, statewalk width generally remains small, enabling Statewalk DP to achieve order-of-magnitude speedups over ILP extraction while producing programs comparable to LLVM across our benchmarks. We implement the algorithm in EGGCC, a prototype e-graph-based compiler for imperative Bril programs, and demonstrate that effect-aware extraction is no longer a bottleneck.
Yazarların özeti; kaynağından alınmıştır. Proceedings of the ACM on Programming Languages, 2026 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Donanım ve Mimari
Hardware and ArchitectureComputer Science