Согласование множеств: различия между версиями

В этой модели вычислений каждое выполнение представляет собой последовательность раундов. Они обозначаются последовательными целыми числами – 1, 2 и т.д. Для процессов номер текущего раунда представляется в виде глобальной переменной, глобальное увеличение которой влечет за собой их собственный локальный прогресс. Во время раунда процесс сначала передает сообщение, затем получает сообщения и, наконец, выполняет локальные вычисления. Фундаментальное свойство синхронности, которое обеспечивает процессам синхронная система, заключается в следующем: сообщение, отправленное в раунде r, принимается процессом-получателем в том же раунде r. Если в текущем раунде процесс при отправке сообщения приходит к аварийному завершению, то это сообщение получает произвольное (не известное заранее) подмножество процессов.