Исследовательская группа

Лаборатория языковых инструментов

Brahma.FSharp

Григорьев СемёнАктивный

В рамках проекта Brahma.FSharp разрабатывается средство для программирования гетерогенных систем вида "Многоядерный CPU + несколько GPGPU". Для интеграции GPGPU используется трансляция F# quotation в OpenCL. Большое количество примитивов (MailboxProcessor, async, Array.Parallel, и т.д.) разного уровня для параллельного и асинхронного программирования в F# позволяет упростить создание программ для гетерогенных систем.

Решение обладает следующими особенностями:

  • Минимизация количества различных обёрток и специальных типов позволяет писать достаточно "естественный" F#-код.
  • Использование OpenCL позволяет работать с широким спектром устройств: NVIDIA, AMD, Intel.

Участники

Григорьев Семён

Материалы

Публикации

Extended Abstract: F# OpenCL Type Provider

September 2018

Kirill Smirenko, Semyon Grigorev

Extended abstract at TyDe 2018 (at ICFP).

Подробнее