Вклад участника
2 июня 2019
Алгоритм Лампорта взаимного исключения
Нет описания правки
+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