Loading...

Илья Сергей. Статический анализ и оптимизация кода в GHC

2,142 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jan 20, 2013

Glasgow Haskell Compiler — самый популярный из существующих компиляторов языка программирования Haskell, в котором реализованы многочисленные оптимизации кода путём переписывания программ. Корректность такого переписывания опирается на результаты статических анализов, также производимых компилятором и предваряющих трансформации.

В этом докладе я расскажу про реализацию и теоретические основы наиболее интересных статических анализов, реализованных в GHC: анализа строгости (strictness analysis), использования (usage analysis) и явного построения структуры (constructed product result), а также приведу примеры использования выведенных результатов для построения оптимизаций. В рамках доклада я сделаю краткий обзор GHC pipeline, с акцентом на языке промежуточного представления Core, служащим платформой для анализов и трансформаций. Наконец, я опишу основной инструментарий из элементарной теории доменов, необходимой для формулировки и доказательства корректности анализов.

Loading...


to add this to Watch Later

Add to

Loading playlists...