Microride
исчисления параллельные вычисления взаимодействующие процессы
Разработка системного программного обеспечения, работающего со множеством ресурсов сопряжена с необходимостью решения проблемы инициализации и деинициализации длинных цепочек ресурсов (с математической точки зрения — частичных порядков по отношению зависит-от), в которых (де)инициализация ресурсов может происходить только после (де)инициализации множества других зависимостей. Описывать такие цепочки можно в разных логических исчислениях. Библиотека Microride позволяет дать это описание в исчислении R4, которое позволяет задать частичный порядок зависимостей непосредственно в виде потока данных. Это существенно сокращает трудозатраты на разработку подобного кода.
Библиотеку можно использовать при разработке произвольного системного программного обеспечения, требующего сложной логики работы с взаимозависимыми ресурсами.
Евгений
Иванко
Евгеньевич
Ведущий научный сотрудник
Доктор физико-математических наук
Отсутствует
H-4421-2011
8834580200
125648
http://e-guru.ru/eguru/published.html
0000-0003-3248-5885
РОССИЯ
Николай
Лукоянов
Юрьевич
директор
РОССИЯ
50.41.17
Системное программное обеспечение
50.05.17
Теоретические основы системного программного обеспечения
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Михаил
Бахтерев
Олегович
100%
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИММ УрО РАН
Федеральное государственное бюджетное учреждение науки Институт математики и механики им. Н.Н. Красовского Уральского отделения Российской академии наук
1026604965177
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения