Membaca GHC Core

Core adalah bahasa perantara GHC. Membaca Core dapat membantu Anda lebih memahami kinerja program Anda. Seseorang meminta saya untuk dokumentasi atau tutorial tentang membaca Core, tetapi saya tidak dapat menemukan banyak.

Dokumentasi apa yang tersedia untuk membaca GHC Core?

Inilah yang saya temukan sejauh ini:

• Tulis Haskell secepat C: mengeksploitasi kekakuan, kemalasan, dan rekursi
• Haskell secepat C: bekerja di ketinggian untuk kinerja tingkat rendah
• RWH: Bab 25. Pembuatan profil dan pengoptimalan
• Haskell High-Performance berbicara di CUFP (slide 65-80)

GHC Core adalah bahasa System FC ke mana semua Haskell diterjemahkan. Tata bahasa (perkiraan) untuk Core diberikan oleh:

Core terkait erat dengan Sistem F yang lebih sederhana dan lebih dikenal . Semua transformasi yang dilakukan GHC pada level Core adalah refactoring pelestarian tipe representasi Core ini, untuk meningkatkan kinerja. Dan, tidak begitu terkenal, Anda dapat menulis langsung di Core untuk memprogram GHC.

GHC Core cocok dalam pipa penyusun (seperti pada tahun 2002, sans-LLVM dan CMM):

Dokumen utama untuk mempelajari tentang GHC Core adalah:

• Representasi Eksternal untuk Bahasa Inti GHC , Tolmach, 2001
• ghc / compiler / CoreSyn , definisi GHC itu sendiri
• Rahasia inliner Glasgow Haskell Compiler , Peyton Jones dan Marlow, 1999. Core dijelaskan dalam Bagian 2.3, termasuk rincian tentang anotasi analisis kejadian.
• Pengoptimal berbasis transformasi untuk Haskell , Peyton Jones dan Santos, 1998. Core dijelaskan dalam S3, termasuk diskusi tentang polimorfisme dan pembacaan operasional Core.

Materi terkait yang dapat membantu pemahaman:

• The GHC -fext-core keluaran
• Saya menghabiskan banyak waktu mempelajari Core dengan membaca sumber GHC. Beberapa dijelaskan dalam tesis sarjana saya dari tahun 2002, dari halaman 16.
• Dari menggunakan alat ghc-core , untuk menghasilkan Core dalam format yang menurut saya menyenangkan.

Core pada gilirannya diterjemahkan ke dalam kode STG, yang terlihat seperti:

Nama-nama lucu di Core dikodekan dalam "Z-encoding":

Jenis dan jenis GHC Core (dari kertas Tolmach):

Akhirnya, primop GHC muncul secara teratur dalam output GHC Core, ketika Anda telah mengoptimalkan Haskell Anda ke instruksi dasar yang diketahui GHC. Set primop diberikan sebagai seperangkat fungsi Core dalam file pra-diproses.

Tip: Jika Anda tidak peduli tentang jenis penjelasan dan coercions menggunakan -ddump-simplbersama-sama dengan -dsuppress-allpilihan. Output Core harus jauh lebih mudah dibaca.

Meskipun tidak persis bahasa Inti GHC, seperti Don menyebutkan bahasa STG sangat mirip. Saya baru-baru ini menjalani latihan membuktikan jenis keamanan mesin + bahasa STG, dan setelah itu saya menemukan saya bisa memahami Core dengan mudah.

Teks yang saya gunakan untuk belajar STG cukup mudah diakses: Menerapkan Bahasa Fungsional Malas pada Perangkat Keras Saham: Mesin G-tag tanpa kunci oleh Simon Peyton-Jones. Sebagian besar makalah ini berkaitan dengan detail implementasi, tetapi saya merekomendasikan bagian 4 khususnya sebagai penjelasan top-to-bottom dari bahasa STG yang memberikan motivasi untuk beberapa keputusan desain kontra-intuitif dan menyediakan terjemahan dari contoh-contoh yang sudah dikenal map.

"Representasi Eksternal untuk Bahasa Inti GHC" adalah dokumen yang dapat ditemukan dalam pemasangan ghc ( share/doc/ghc/core.pdf) atau di internet .