Добро пожаловать, уважаемые коллеги! Мы вам рады!!
Сайт Института Математики и Механики УрО РАН - www.imm.uran.ru
-
М.О. Бахтерев К системе программирования R6
Когда: 12 июня 2025 в 16:00Открыть раздел Новости!
Где: Очно: ИММ, а211 Онлайн: https://videoconf.uran.ru/b/ecy-72g-f2x-jz3
Продолжается работа над системой программирования вычислений для машин гетерогенной архитектуры с распределённой памятью. На предыдущей итерации развития системы R5 было сформулировано исчисление динамических графов рекурсивных потоков данных, которое обладает структурой декартово замкнутой категории, и позволяет поэтому описывать процессы асинхронных вычислений на машинах с распределённой памятью в более простой форме,
похожей на функциональное программирование. В отличие от традиционных методов параллельной редукции графов для функциональных языков: Parallel Haskell, Parallel ABC Machine, – которые описывают ленивые вычисления с данными алгебраических типов, R5 описывает энергичные вычисления с распределёнными массивами. Другое важное отличие: R5 естественным образом включает конструкции для работы с ячейками памяти и взаимодействующими процессами. Эксперименты с реализацией различных классических параллельных алгоритмов в модели R5 показали кратное сокращение объёма кода по сравнению с эквивалентными реализациями на MPI, в том числе на языке Python, выбранном за лаконичность. Теоретически обоснована и отчасти продемонстрирована ресурсопластичность системы. Однако у R5 два недостатка, требующих устранения:- повышенные требования к объёму памяти,
- необходимость управляющих ходом вычисления узлов.
Текущая работа ведётся над гипотезой о том, что эти недостатки можно устранить, переформулировав описание рекурсивного динамического потока данных с языка графов на язык мультиконтактных продолжений. В докладе будет определена эта конструкция, продемонстрирована её применимость не только к описанию асинхронных вычислительных процессов на распределённой памяти, но и к описанию вычислительных процессов в рамках архитектуры операционной системы.
-
22.05.25
Д. Клюев Изучение применимости синтетических данных тепловизора для решения практических задач.
В докладе исследуется применимость синтетических данных тепловизора для решения практических задач. Рассматриваются современные системы моделирования для фотореалистичной эмуляции тепловизорного зрения. Подробнее... -
15.05.25
В.А.Перепёлкин Концепция активных знаний и система автоматического конструирования программ LuNA.
Уважаемые коллеги! В рамках ближйшего выступит Владислав Александрович Перепёлкин, к.т.н., с.н.с. ИВМиМГ СО РАН, Новосибирск. Подробнее... -
03.04.25
Васёв П.А. Метод схем для графов задач..
Граф задач - это удобная парадигма для параллельного программирования. Однако при его наивной реализации возникают накладные расходы, связанные с передачей задач на исполнители по сети. В докладе предлагается метод распределённого порождения задач. Подробнее... -
20.03.25
С. Потоцкий. Разработка электронного устройства.
В докладе будет рассматриваться один из подходов к разработке современных электронных устройств с описанием популярных инструментов и концепций, присущих каждому из этапов разработки. Подробнее...
