Как работает алгоритм обхода зависимостей между процессами в больших вычислительных системах?

Возможно, имелся в виду алгоритм обхода графа, который используется для параллельного тестирования больших автоматных моделей. www.ispras.ru

Основная задача обходчика — вычисление маршрута из заданной вершины графа в какую-либо вершину, из которых выходят ещё не пройденные дуги. www.ispras.ru

Алгоритм включает следующие функции: www.ispras.ru

1. Инициализация обходчика. www.ispras.ru Устанавливаются параметры обхода, передаётся начальная вершина графа и список допустимых в ней стимулов. www.ispras.ru
2. Вычисление маршрута в графе и подаваемого стимула. www.ispras.ru Обходчик вычисляет путь из указанной вершины графа в вершину, в которой есть ещё не пройденные дуги, а также стимул одной из этих дуг. www.ispras.ru
3. Добавление в граф пройденной дуги. www.ispras.ru При этом указывается, получена ли эта дуга синхронизатором от другого процесса или пройдена локально. www.ispras.ru Вместе с дугой передаётся информация о числе стимулов, допустимых в конечной вершине дуги. www.ispras.ru
4. Получение списка дуг, пройденных локально. www.ispras.ru Возвращается список дуг, пройденных локальным обходчиком с момента последнего вызова этой функции (или начала работы процесса тестовой системы). www.ispras.ru

Каждый процесс регулярно выполняет процедуру синхронизации. www.ispras.ru Она инициируется появлением входящих сообщений, обновлениями в локальном хранилище или таймером. www.ispras.ru

Алгоритм позволяет выявлять скрытые информационные зависимости в программе и определять циклы, которые могут быть исполнены параллельно. cyberleninka.ru