Я имею в виду глобальные состояния в распределенной системе, опубликованные в статье Озалпа Бабао и Кейта Марзулло в статье «Согласованные глобальные состояния распределенных систем: фундаментальные концепции и механизмы» ( pdf ).
На странице 7 они определяют запуск следующим образом:
A запуск распределенных вычислений - это общий порядок, который включает все события в глобальная история, которая согласуется с каждой локальной историей.
Затем на странице 11 они определяют согласованный прогон следующим образом:
прогон R считается согласованным, если для всех событий e происходит до e ' означает, что e появляется перед e' в Р . Другими словами, общий порядок, наложенный R на события, является расширением частичного порядка, определяемого причинным приоритетом.
Пока все хорошо, но тогда они go Чтобы сказать, что в следующих предложениях может быть два согласованных глобальных состояния A и B , и они определяют своего рода оператор приводит к , который говорит A ведет к B , если существует некоторый последовательный прогон, в котором это выполняется.
Мой вопрос: как может быть несколько прогонов? Не будет ли уникального прогона (полностью упорядоченного отношения событий, основанного на некотором прерывателе t ie для параллельных событий) для каждой настройки системы? Как может быть несколько запусков (кроме тех, которые вызваны разными одновременными событиями t ie выключателями)?