Продолжается работа над системой программирования вычислений для машин гетерогенной архитектуры с распределённой памятью. На предыдущей итерации развития системы R5 было сформулировано исчисление динамических графов рекурсивных потоков данных, которое обладает структурой декартово замкнутой категории, и позволяет поэтому описывать процессы асинхронных вычислений на машинах с распределённой памятью в более простой форме, похожей на функциональное программирование. В отличие от традиционных методов параллельной редукции графов для функциональных языков: Parallel Haskell, Parallel ABC Machine, – которые описывают ленивые вычисления с данными алгебраических типов, R5 описывает энергичные вычисления с распределёнными массивами. Другое важное отличие: R5 естественным образом включает конструкции для работы с ячейками памяти и взаимодействующими процессами. Эксперименты с реализацией различных классических параллельных алгоритмов в модели R5 показали кратное сокращение объёма кода по сравнению с эквивалентными реализациями на MPI, в том числе на языке Python, выбранном за лаконичность. Теоретически обоснована и отчасти продемонстрирована ресурсопластичность системы. Однако у R5 два недостатка, требующих устранения:

Текущая работа ведётся над гипотезой о том, что эти недостатки можно устранить, переформулировав описание рекурсивного динамического потока данных с языка графов на язык мультиконтактных продолжений. В докладе будет определена эта конструкция, продемонстрирована её применимость не только к описанию асинхронных вычислительных процессов на распределённой памяти, но и к описанию вычислительных процессов в рамках архитектуры операционной системы.

 

Приглашаем всех заинтересованных!