Вклад участника
3 июня 2019
Параллельное программирование
20-21 билеты. Общий порядок (total order). Алгоритмы Лампорта и Скина
-15
Параллельное программирование
/* 16 билет. Локально-стабильные предикаты, согласованные интервалы, барьерная синхронизация (3 алгоритма). Применение для определения взаи…
-1785
Определение взаимной блокировки
Новая страница: «Каждый процесс <tex>P_i</tex> поддерживает свою часть графа ожидания (ребра, которые из него ис…»
Параллельное программирование
34 билет. Gossip. СRDT и дельта-CRDT (концепции, примеры алгоритмов, см. работу с семинара)
-1653
CRDT
Новая страница: «CRDT (Conflict-Free Replicated Data Type) — объект, который можно реплицировать на много узлов и обновля…»
Параллельное программирование
34 билет. Gossip. СRDT и дельта-CRDT (концепции, примеры алгоритмов, см. работу с семинара)
+44
Параллельное программирование
35 билет. Самостабилизирующиеся алгоритмы. Идея. Алгоритмы взаимного исключения и поиска остовного дерева
+153
Параллельное программирование
33 билет. СAP теорема (концепции, подходы, без доказательства)
+26
Параллельное программирование
31 билет. Транзакции в распределенных системах. 2 Phase Locking
+99
Параллельное программирование
32 билет. Транзакции в распределенных системах. 2 Phase Commit.
+98
Алгоритм Бен-Ора
Оценки
+562
Параллельное программирование
6 семестр
+275
Алгоритм Бен-Ора
Алгоритм
+67
Алгоритм Бен-Ора
Новая страница: «Категория:Параллельное программирование Алгоритм Бен-Ора — алгоритм, который позвол…»
Параллельное программирование
27 билет. Недетерминированные алгоритмы консенсуса. Алгоритм Бен-Ора.
+292
Консенсус в синхронных системах
Нет описания правки
+81
Теорема Фишера-Линча-Патерсона (FLP)
Нет описания правки
+81
Консенсус в синхронных системах
Нет описания правки
+67
Теорема Фишера-Линча-Патерсона (FLP)
Нет описания правки
+1
Параллельное программирование
24 билет. Синхронные системы. Алгоритм для консенсуса в случае отказа заданного числа узлов
-3375
Консенсус в синхронных системах
Новая страница: « Как известно из FLP, при всех требованиях консенсус невозможен. Уберем требование асинхр…»
Невозможность византийского консенсуса
Нет описания правки
+1125
Невозможность византийского консенсуса
Нет описания правки
+73
Параллельное программирование
26 билет. Синхронные системы. Проблема византийских генералов. Невозможность решения при N = 3, f = 1
-2750
Невозможность византийского консенсуса
Новая страница: «Можно доказать, например, что при ''n'' = 3, ''f'' = 1 консенсус Проблема византийских генерало…»
Алгоритм Лампорта-Шостака-Пиза
Нет описания правки
+3419
Файл:Distributed-byzantine-4-1.png
Нет описания правки
Проблема византийских генералов
Нет описания правки
+81
Параллельное программирование
25 билет. Синхронные системы. Проблема византийских генералов. Алгоритм для N >= 4, f = 1. Объяснить идею обобщения для f > 1
-2530
Проблема византийских генералов
Нет описания правки
+81
Алгоритм Лампорта-Шостака-Пиза
Нет описания правки
+2495
Алгоритм Лампорта-Шостака-Пиза
Новая страница: «Алгоритм Лампорта-Шостака-Пиза (1982) решает Проблема византийских генералов|проблему ви…»
Проблема византийских генералов
Византийская ошибка
+67
Проблема византийских генералов
Новая страница: «== Проблема двух генералов == '''Проблема двух генералов''': двум процессам в синхронной сис…»
Параллельное программирование
24 билет. Синхронные системы. Алгоритм для консенсуса в случае отказа заданного числа узлов
+1925
Иерархия ошибок в распределённых системах
Нет описания правки
+291
Формализм распределённых систем
Отличия от параллельных систем
+69
Теорема Фишера-Линча-Патерсона (FLP)
Нет описания правки
+925
Теорема Фишера-Линча-Патерсона (FLP)
Шаг 3: разбор случаев
+2932
Файл:Distributed-flp-proof-case2.png
Нет описания правки
Файл:Distributed-flp-proof-case1.png
Нет описания правки
Теорема Фишера-Линча-Патерсона (FLP)
Шаг 2: существование соседних разновалентных конфигураций
+66
Теорема Фишера-Линча-Патерсона (FLP)
Шаг 2: существование соседних разновалентных конфигураций
+1709
Теорема Фишера-Линча-Патерсона (FLP)
Цепочка бивалентных конфигураций
+49
Файл:Distributed-flp-proof-cd.png
Нет описания правки
Теорема Фишера-Линча-Патерсона (FLP)
Цепочка бивалентных конфигураций
+3835
Теорема Фишера-Линча-Патерсона (FLP)
Валентность
+12
Теорема Фишера-Линча-Патерсона (FLP)
Валентность
+145
Теорема Фишера-Линча-Патерсона (FLP)
Доказательство
+48
Теорема Фишера-Линча-Патерсона (FLP)
Начальная бивалентная конфигурация
+6