Доклад
- Когда и где
-
4 мая 2020 г. 15:00, понедельник
Zoom (ссылка будет выслана)
- Докладчики
-
-
Название
-
Система распределённых вычислений R4: продолжение
-
Аннотация
-
Программировать сложно, а программировать распределённые системы ещё сложнее. Это является частью общего здравого смысла. Но в наши дни каждый программист и пользователь вынуждены иметь дело именно с распределёнными системами, поэтому велико стремление снизить сложность их программирования. Работа над системой RiDE ведётся в этом направлении.
В докладе предлагается обсудить основные идеи, на которых эта работа построена.
1. Обсудить, известную формализацию этого ощущения большей сложности. Вероятно, можно говорить о том, что эта сложность связана с экспоненциальным ростом пространства состояний, в зависимости от числа взаимодействующих процессов.
2. Обсудить способы преодоления этой сложности в существующих системах и то, почему их недостаточно. А именно, различные способы сокращения объёма этого пространства в современных системах. Удачные (например, Map/Reduce) и не удачные (например, Сети Петри), но в любом случае понижающие выразительные возможности системы.
3. Указать, почему всё ещё есть надежда на достаточно простой и полный по Тьюрингу (полнота не всегда приветствуется, а полнота по Тьюрингу особенно, но тем не менее) способ описания распределённых вычислений. А именно, потому что есть абстрактная модель вычислений -- декартово замкнутые категории --, абстрактность которой позволяет вписывать в неё самые странные системы вычислений, например, вычисления с динамически формируемыми графами потоков данных, лежащие в основе концепции RiDE.
4. Обсудить детали предлагаемой модели. А именно, три основных её компоненты: деревья распределённых структур данных, продолжения и zip-очереди сообщений.
5. Обсудить возможности эффективной реализации предлагаемых примитивов. В том числе, рациональное использование оперативной памяти распределённого вычислительного комплекса и сборку мусора в нём.
-
Презентация
-
-
Ссылка на видео
-
-
Видео
-
Вернуться к списку новостей