4817
правок
Атомарная широковещательная рассылка: различия между версиями
Материал из WEGA
Атомарная широковещательная рассылка (посмотреть исходный код)
Версия от 04:29, 21 ноября 2024
, 21 ноября 2024→Постановка задачи
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 67: | Строка 67: | ||
В настоящее время авторы работ часто предпочитают определения задач атомарной широковещательной рассылки, не содержащие явных ссылок на физическое время. Множество вариантов определений без времени рассмотрено в работах Хадзилакоса и Туэга [10], а также Дефаго и др. [8]. Одно из таких альтернативных определений представлено ниже, | В настоящее время авторы работ часто предпочитают определения задач атомарной широковещательной рассылки, не содержащие явных ссылок на физическое время. Множество вариантов определений без времени рассмотрено в работах Хадзилакоса и Туэга [10], а также Дефаго и др. [8]. Одно из таких альтернативных определений представлено ниже, его терминология адаптирована к контексту данной статьи. | ||
| Строка 76: | Строка 76: | ||
'''Требуется''': обеспечить последовательную доставку сообщений со следующими свойствами: | '''Требуется''': обеспечить последовательную доставку сообщений со следующими свойствами: | ||
1. ''' | 1. '''Достоверность''': если исправный процессор рассылает сообщение m, то он в конечном итоге доставляет m. | ||
2. '''Равномерная согласованность''': если процессор доставляет сообщение m, то все исправные процессоры в конечном итоге доставляют m. | 2. '''Равномерная согласованность''': если процессор доставляет сообщение m, то все исправные процессоры в конечном итоге доставляют m. | ||
| Строка 82: | Строка 82: | ||
3. '''Равномерная целостность''': для любого сообщения m каждый процессор доставляет его не более одного раза, и только если m было ранее передано процессором-отправителем. | 3. '''Равномерная целостность''': для любого сообщения m каждый процессор доставляет его не более одного раза, и только если m было ранее передано процессором-отправителем. | ||
4. '''Равномерный полный порядок без пробелов''': если некоторый процессор доставляет сообщение | 4. '''Равномерный полный порядок без пробелов''': если некоторый процессор доставляет сообщение m' после сообщения m, то он доставляет m' только после того, как он доставил m. | ||
== Основные результаты == | == Основные результаты == | ||
