Derleyici teorisindeki güncel açık sorunlar nelerdir?

Derleyici teorisi oldukça incelenmiş bir konu gibi görünmektedir. Alanda meydana gelen bazı açık problemler veya güncel araştırmalar nelerdir?

Deneyimlerime göre, aşağıdaki yeni derleyici gelişmelerini gördüm:

• Veri paralelliğini otomatikleştirmeye çalışın (veya en azından programcı tarafından yapılan açık iş miktarını azaltın). Bu genellikle dile yönelik uzantılar gerektirir.
• Süper derleme veya kısmi değerlendirme gibi aşırı optimizasyon stratejileri üzerinde çalışın (bir program "en küçük" biçimine indirilinceye ve daha sonra derlenene kadar değerlendirme yoluyla daraltılır)

Tip denetleyicisi ve benzeri şeyler üzerinde çeşitli işler gördüm, ancak derleyiciye özgü şeyler hakkında daha fazla konuştuğunuzu varsayıyorum.

Ne zaman ayrıldım (ama muhtemelen hala ilgili):

• Dağıtılmış işlem:
  • Uygulamanın dağıtılmış bir işlemci kümesinde çalışacak şekilde derlenmesi.
    Bu, işlemcilere verilerin bellek eşlemesini (sorun verilerinin dağıtımı) dikkate almayı ve işlemcilerin durmasını önlemek için gerçekten ihtiyaç duyulmadan önce okuma / yazma için bellek sayfaları istemek için açık kod eklemeyi gerektirir.
• Paralel işleme:
  • Derleyici iş parçacıklı kod oluşturdu.
    Geliştiricilerin açık bir şekilde iş parçacıklı kod üretme ihtiyacını ortadan kaldırır (çünkü bunlar genellikle çok kötüdür).