PyPy bit kökeni takibi yapan yeni soyut etki alanını tanıttı
Öne çıkanlar
- Sistem 64 bitlik mimaride her bitin hangi değişkenden türediğini ve ters çevrilme durumunu izliyor.
- Analiz mekanizması mantıksal kaydırma ile VE, VEYA ve ÖZEL VEYA gibi bitsel işlemleri kapsıyor.
- Bilinmeyen veya temsil edilemeyen ara bit durumları için taze kaynak tanımlayıcıları üretiliyor.
PyPy projesi, derleyici optimizasyonlarında bit düzeyindeki veri hareketlerini izlemeyi sağlayan deneysel bir soyut etki alanı modelini tanıttı. Klasik bilinen bitler yaklaşımı her bir bitin sıfır, bir veya belirsiz olduğunu tespit edebilirken işlem dizileri boyunca bitlerin nereden geldiğini takip edemiyor. Yeni geliştirilen bit kökeni etki alanı, SSA değişkenlerindeki her bitin kaynağını ve konumunu izleyerek bu kısıtlamayı aşıyor.
Geliştirilen mekanizma, 64 bitlik tamsayılar üzerinde mantıksal kaydırma, tersine çevirme ve bitsel VE, VEYA, ÖZEL VEYA işlemlerini destekliyor. Bit düzeyinde kaynak takibi yapan sistem, bir işlem sonucunda ortaya çıkan bitlerin hangi orijinal değişkene ait olduğunu ve ters çevrilip çevrilmediğini kayıt altına alıyor. Temsil edilemeyen karmaşık işlemler içinse yeni kaynak kimlikleri atanarak analiz güvenliği korunuyor.
Yeni soyutlama, yerel gözetleme deliği optimizasyon kurallarının tespit etmekte zorlandığı uzun işlem dizilerini basitleştirmeyi hedefliyor. Kod bloklarındaki ölü kodları temizlemek ve gereksiz ara hesaplamaları ortadan kaldırmak için kullanılan bu yöntem, derleyicilerin bit manipülasyonlarını daha az kural tanımlayarak tek bir hamlede dönüştürmesine olanak tanıyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.