4640
правок
Топологический подход в распределенных вычислениях: различия между версиями
Материал из WEGA
Топологический подход в распределенных вычислениях (посмотреть исходный код)
Версия от 03:49, 19 февраля 2025
, 19 февраль→Основные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 35: | Строка 35: | ||
В задаче согласования k множеств [ ] процессы должны (1) выбрать значение решения после конечного числа шагов, (2) выбрать в качестве значения решения некоторое входное значение процесса и (3) коллективно выбрать не более k различных значений решения. При k = 1 эта задача обычно называется задачей о консенсусе [16]. | В задаче согласования k множеств [5] процессы должны: (1) выбрать значение решения после конечного числа шагов, (2) выбрать в качестве значения решения некоторое входное значение процесса и (3) коллективно выбрать не более k различных значений решения. При k = 1 эта задача обычно называется ''задачей о консенсусе'' [16]. | ||
Между топологическими моделями и вычислениями имеется следующая связь. Начальное локальное состояние процесса P моделируется как вершина v = | Между топологическими моделями и вычислениями имеется следующая связь. Начальное локальное состояние процесса P моделируется как вершина <math>\vec{v} = \langle P, v \rangle</math>, помеченная идентификатором процесса P и начальным значением v. Начальное глобальное состояние моделируется как n-симплекс <math>S^n = ( \langle P_0, v_0 \rangle ,..., \langle P_n, v_n \rangle )</math>, где все <math>P_i</math> различны. Терм <math>ids(S^n)</math> обозначает множество идентификаторов процессов, связанных с <math>S^n</math>, а <math>vals(S^n)</math> – множество значений. Множество всех возможных начальных глобальных состояний образует комплекс, называемый ''входным комплексом''. | ||
