Вклад участника
2 июня 2019
Алгоритм Чанди-Лампорта
Нет описания правки
+1140
Формализм распределённых систем
Задачи
+940
Формализм распределённых систем
Модель
+314
Срез, согласованный срез
Нет описания правки
+1
Срез, согласованный срез
Нет описания правки
-4
Срез, согласованный срез
Нет описания правки
+2
Срез, согласованный срез
Нет описания правки
+110
Кворум рушащейся стенки
Нет описания правки
+310
Файл:Crumbling-walls.png
Нет описания правки
Кворум простого большинства
Нет описания правки
+34
Кворум
Пример
+137
Кворум
Нет описания правки
+1401
Задача обедающих философов
Обобщение
+426
Задача обедающих философов
Token ring
+6
Задача обедающих философов
Token ring
+42
Файл:Mutex-distributed-token.png
Нет описания правки
Задача обедающих философов
Алгоритм обедающих философов
+2717
Задача обедающих философов
Задача обедающих философов
+142
Алгоритм Лампорта взаимного исключения
Нет описания правки
+941
Алгоритм Лампорта взаимного исключения
Нет описания правки
+162
Алгоритм Рикарта-Агравалы
Нет описания правки
+611
Файл:Mutex-distributed-ricart.png
Нет описания правки
Алгоритм Лампорта взаимного исключения
Нет описания правки
+599
Алгоритм Лампорта взаимного исключения
Нет описания правки
+542
Алгоритм Лампорта взаимного исключения
Нет описания правки
-43
Алгоритм Лампорта взаимного исключения
Нет описания правки
+3328
Файл:Mutex-distributed-lamport.png
Нет описания правки
Централизованный алгоритм взаимного исключения
Нет описания правки
+50
Файл:Mutex-distributed-central.png
Нет описания правки
Формализм распределённых систем
Задачи
+2206
Формализм распределённых систем
Отличия от параллельных систем
+430
Формализм распределённых систем
Отличия от параллельных систем
+225
Формализм распределённых систем
Нет описания правки
+20
Параллельное программирование
3-4 билеты. Часы с прямой зависимостью (и их свойства) и матричные часы
+51
Векторные часы
Нет описания правки
+2
Векторные часы
Нет описания правки
+560
Логические часы Лампорта
Нет описания правки
+692
Формализм распределённых систем
Нет описания правки
-1
Формализм распределённых систем
Нет описания правки
+83
Формализм распределённых систем
Новая страница: «== Модель == Имеется несколько независимых '''процессов''', обычно обозначаются большими ла…»
11 февраля 2019
Барьерная синхронизация (3 алгоритма)
Определение и полезность
+1180
Барьерная синхронизация (3 алгоритма)
Нет описания правки
+80
Согласованный интервал
Добавил доказательство наличия согласованного среза
+1625