Институт

Язык программирования Поляр

Проект начался в 1982 году. Целью проекта было создание средства для описания архитектуры параллельных компьютерных систем. В проекте принимали участие А.Г. Марчук, Т.И. Лельчук, Г.И. Алексеев, С.П. Мыльников и другие. Отталкиваясь от двух видов моделей: модели асинхронных потоковых взаимодействий и модели рекурсивной типизации данных, удалось создать сбалансированный язык программирования достаточно универсального назначения.

Было выполнено две реализации языка. Первая - полная система программирования, транслирующая программы на Поляре в программы на стандартном языке C. Исследовалась семантика параллельных программ, в частности, предложена модель работы с тупиковыми ситуациями. Вторая реализация предполагала прагматический подход к использованию семантики языка Поляр для целей промышленного программирования. Было разработано (объектно-ориентированное) расширение языка C, реализован препроцессор, переводящий программу в стандартный C и библиотека периода исполнения (run-time support). Система была названа C-plus (разработка осуществлялась независимо от расширения C++).

Поляр и, особенно, C-plus, активно использовались в программировании кремниевого компилятора, что позволило добиться значительного повышения надежности в работе со сложными структурами данных при весьма малых накладных расходах на их поддержку. C-plus прекрасно зарекомендовал себя как удобное средство разработки и использовался вплоть до 1997 года.