Чтение GHC Core

Question

Core - это промежуточный язык GHC. Чтение Core может помочь вам лучше понять производительность вашей программы. Кто-то попросил у меня документацию или учебные пособия по чтению Core, но я не смог найти много.

Какая документация доступна для чтения GHC Core?

Вот что я нашел до сих пор:

• Пишите на Haskell так быстро, как C: эксплуатируя строгость, лень и рекурсию
• Haskell так же быстр, как C: работа на большой высоте для низкой производительности
• RWH: Глава 25. Профилирование и оптимизация
• Высокопроизводительный разговор по Haskell на CUFP (слайд 65-80)

Answer 1

GHC Core - это язык System FC , на который переведен весь Haskell.(Приблизительная) грамматика для ядра определяется следующим образом:

Ядро тесно связано с более простой и известной системой F .Все преобразования , выполняемые GHC на уровне ядра , являются сохраняющими тип рефакторингами этого представления ядра для повышения производительности.И, не очень хорошо известно, вы можете писать прямо в Core для программы GHC.

GHC Core вписывается в конвейер компилятора (как это было в 2002 году, sans-LLVM и CMM):

Основными документами, которые необходимо узнать о ядре GHC, являются:

• Внешнее представление для языка ядра GHC , Tolmach, 2001
• GHC / компилятор / CoreSyn , само определение GHC
• Секреты вкладчика компилятора Glasgow Haskell ,Пейтон Джонс и Марлоу, 1999. Ядро описано в разделе 2.3, включая подробности аннотаций анализа вхождений.
• Оптимизатор на основе преобразования для Haskell , Пейтон Джонси Santos, 1998. Ядро описано в S3, включая обсуждение полиморфизма и эксплуатационных чтений Ядра.

Связанные материалы, которые могут помочь пониманию:

• GHC - вывод текстового ядра
• Я потратил много времениЯдро обучения путем чтения источника GHC.Некоторые из них описаны в моей дипломной работе от 2002 года, со стр. 16.
• С использованием инструмента ghc-core для генерации Core в формате, который мне нравится.

Ядро в свою очередь переводится в код STG, который выглядит примерно так:

Смешные имена в Core кодируются в "Z-кодировка ":

Типы и виды сердечника GHC (из статьи Толмача):

Наконец, GHC's Примитивы регулярно появляются в выводе GHC Core, когда вы оптимизировали свой Haskell до основных инструкций, о которых GHC знает.Набор примопов представлен в виде набора основных функций в предварительно обработанном файле.

Answer 2

Совет: если вас не интересуют аннотации типов и принуждения, используйте -ddump-simpl вместе с опцией -dsuppress-all. Вывод Core должен быть намного более читабельным.

Answer 3

Хотя это и не совсем основной язык GHC, как упоминает Дон, язык STG очень похож. Недавно я прошел через проверку безопасности типов STG language + machine, а потом обнаружил, что могу легко понять Core.

Текст, который я использовал для изучения STG, вполне доступен: Внедрение ленивых функциональных языков на стандартном оборудовании: G-машина Spineless Tagless G Саймона Пейтона-Джонса. Большая часть статьи посвящена деталям реализации, но я рекомендую раздел 4, в частности, в качестве пояснительного объяснения языка STG, который дает мотивы для некоторых нелогичных проектных решений и обеспечивает переводы знакомых примеров, таких как map.

Answer 4

«Внешнее представление для основного языка GHC» - это документ, который можно найти при установке ghc (share/doc/ghc/core.pdf) или в Интернете .