Алгоритм замещения агентов dataflow-сети на платформе Smart-M3

Рассматривается алгоритм замещения агента dataflow-сети, реализованной на платформе Smart-M3. Такое замещение позволяет перенести управление и контекст вычислений от преждевременно отключившегося агента к программируемому агенту-заместителю на время отсутствия первого агента в сети. При этом гарантируется целостность информационных потоков, то есть функционирование всех зависимых сервисов не нарушается при отключении агента. При возвращении агента в сеть происходит обратное замещение также с сохранением целостности всех информационных потоков.
Приведено описание реализации dataflow-сети и структуры механизма замещения агентов для платформы Smart-M3. Дано детальное описание алгоритма замещения, включающее процедуры инициализации, регистрации и двунаправленного замещения агентов. Предложенный алгоритм замещения реализован авторами в механизме замещения в брокере семантической информации RedSIB на платформе Smart-M3.