GHC Çekirdeği Okuma

Çekirdek GHC'nin ara dilidir. Okuma Çekirdeği, programınızın performansını daha iyi anlamanıza yardımcı olabilir. Birisi benden Core okuma ile ilgili dokümantasyon veya öğreticiler istedi, ancak fazla bir şey bulamadım.

GHC Core'u okumak için hangi belgeler mevcut?

Şimdiye kadar bulduğum şey:

• Haskell'i C kadar hızlı yazın: katılık, tembellik ve özyinelemeden yararlanma
• Haskell C kadar hızlı: düşük seviyeli performans için yüksek rakımda çalışma
• RWH: Bölüm 25. Profil oluşturma ve optimizasyon
• CUFP'de Yüksek Performanslı Haskell konuşması (slayt 65-80)

GHC Core, tüm Haskell'in çevrildiği System FC dilidir. Çekirdek için (yaklaşık) dilbilgisi şöyle verilir:

Çekirdek, daha basit ve daha iyi bilinen Sistem F ile yakından ilişkilidir . GHC'nin Core seviyesinde yaptığı tüm dönüşümler , performansı artırmak için bu Core temsilinin tipini koruyan yeniden düzenlemeleridir. Ve çok iyi bilinmeyen, GHC'yi programlamak için doğrudan Core'a yazabilirsiniz.

GHC Core derleyici boru hattına uyar (2002'de olduğu gibi sans-LLVM ve CMM):

GHC Core hakkında bilgi edinmek için birincil belgeler:

• GHC Çekirdek Dili Dış Temsili , Tolmach, 2001
• ghc / derleyici / CoreSyn , GHC tanımının kendisi
• Glasgow Haskell Derleyici satır içi sırları , Peyton Jones ve Marlow, 1999. Çekirdek olay analizi ek açıklamalarına ilişkin ayrıntılar da dahil olmak üzere Bölüm 2.3'te açıklanmıştır.
• Haskell , Peyton Jones ve Santos, 1998 için dönüşüme dayalı bir optimize edici .

Anlamaya yardımcı olabilecek ilgili materyaller:

• GHC -fext çekirdekli çıkışı
• GHC kaynağını okuyarak Core'u öğrenmek için çok zaman harcadım. Bazıları 2002'deki lisans tezimde , sayfa 16'dan açıklanmaktadır.
• Kullanarak itibaren ghc çekirdekli aracı, ben memnun bulmak bir biçimde Core'u üretmek için.

Çekirdek sırayla şuna benzeyen STG koduna çevrilir:

Core'daki komik isimler "Z-kodlaması" nda kodlanmıştır:

GHC Core'un türleri ve çeşitleri (Tolmach'ın belgesinden):

Son olarak, Haskell'inizi GHC'nin bildiği temel talimatlara göre optimize ettiğinizde GHC'nin primopları GHC Core çıktısında düzenli olarak görünür. Primop seti, önceden işlenmiş bir dosyada Temel işlevler kümesi olarak verilir .

İpucu: Tip ek açıklamaları ve zorlamalarla ilgilenmiyorsanız -ddump-simpl, -dsuppress-allseçenekle birlikte kullanın. Çekirdek çıkışı çok daha okunabilir olmalıdır.

Tam olarak GHC Çekirdek dili olmasa da, Don'un belirttiği gibi STG dili oldukça benzerdir. Son zamanlarda STG dil + makinesinin tip güvenliğini kanıtlama egzersizinden geçtim ve daha sonra Core'u kolayca anlayabildiğimi buldum.

STG'yi öğrenmek için kullandığım metne oldukça erişilebilir: Stok Donanımına Tembel Fonksiyonel Dillerin Uygulanması: Simon Peyton-Jones'un Spineless Tagless G makinesi . Makalenin çoğu uygulama ayrıntılarıyla ilgilidir, ancak 4. bölüme özellikle karşı sezgisel tasarım kararlarının bazıları için motivasyon veren ve benzer örneklerin çevirilerini sağlayan STG dilinin yukarıdan aşağıya bir açıklaması olarak tavsiye ederim map.

"GHC Çekirdek Dili için Harici Temsil" ghc ( share/doc/ghc/core.pdf) kurulumunda veya internette bulunabilen bir belgedir .