Логические часы

Про логические часы пишут много, иногда попадаются интересные вещи. Вот, например, некий Стивен Ван Допре сделал реализацию скалярных часов на Питоне [ссылка]. А на coursehero можно почитать про различие между скалярными, матричными и векторными часами [ссылка] (правда, дан только ознакомительный фрагмент лекции).

А какую такую проблему решают матричные часы, которую не могут решить векторные, обсуждают на stackoverflow [ссылка] ? Насколько я понял, матричные часы дают возможность понять, какие обновления достигли всех узлов и, соответственно, информацию о них можно не хранить (сделать чистку).

Некоторые протоколы, которые помогают поддерживать причинно-следственный порядок сообщений в системе, можно найти по [ссылке].  Это протоколы Бирмана-Шипера-Стефенсона и Шипера-Эггли-Сандоза.

О протоколе Бирмана-Шипера-Стефенсона  (а также об алгоритмах синхронизации физических часов) хорошо написано в лекции Бибхаса Гошаля [ссылка]

А ещё мне очень понравились лекции Виджея Гарга [ссылка] - строгая математика, отношения, рефлексивность-транзитивность и всё такое прочее:)

Лекция Николы Драгони (итальянец, преподающий в каком-то датском университете) про логические часы [ссылка]. План его курса по распределённым системам (названия лекций, рекомендуемая литература) - по ссылке. Курс хорош. Сами лекции находятся в Гугле по запросу Nicola Dragoni <название лекции из плана> pdf.

Лекция Антонио Корради (ун. Болоньи) [ссылка] Очень много о групповой рассылке (мультикаст)

Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems [ссылка]

Хорошая лекция о логическом (виртуальном) времени и глобальных состояниях Венкатасубраманиана [ссылка]