performance - 阅读 GHC 核心

Question

Core是GHC的中间语言。阅读Core可以帮助你更好地了解程序的性能。有人向我索要有关阅读 Core 的文档或教程，但我找不到太多。

有哪些文档可用于阅读 GHC Core？

这是我迄今为止发现的内容:

• Write Haskell as fast as C: exploiting strictness, laziness and recursion
• Haskell as fast as C: working at a high altitude for low level performance
• RWH: Chapter 25. Profiling and optimization
• High-Performance Haskell talk at CUFP (幻灯片 65-80)

Answer 1

GHC 核心是 System FC所有 Haskell 都被翻译成的语言。 Core 的(近似)语法由以下公式给出:

核心与更简单、更广为人知的 System F 密切相关。 。全部transformations GHC does on the Core level是此 Core 表示的类型保留重构，以提高性能。而且，不太为人所知的是，您可以直接在 Core 中编写 GHC 程序。

GHC Core 适合编译器管道(就像 2002 年那样，没有 LLVM 和 CMM):

了解 GHC Core 的主要文档是:

• An External Representation for the GHC Core Language ，托尔马赫，2001
• GHC.Core.Expr ，GHC 定义本身
• Secrets of the Glasgow Haskell Compiler inliner ，Peyton Jones 和 Marlow，1999。核心在 2.3 节中描述，包括出现分析注释的详细信息。
• A transformation-based optimiser for Haskell ，Peyton Jones 和 Santos，1998。S3 中描述了 Core，包括对 Core 的多态性和操作解读的讨论。

有助于理解的相关 Material :

• GHC -fext-core output
• 我花了很多时间通过阅读 GHC 源代码来学习 Core。我的undergraduate thesis中描述了一些自 2002 年起，第 16 页起。
• 使用ghc-core工具，以我喜欢的格式生成 Core。

核心又被翻译成 STG 代码，如下所示:

Core 中有趣的名字是用“Z 编码”编码的:

GHC Core 的类型和种类(来自 Tolmach 的论文):

最后，GHC 的 primops当您将 Haskell 优化为 GHC 所了解的基本指令时，会定期出现在 GHC Core 输出中。 primop 集作为 a pre-processed file. 中的一组核心函数给出。