- Слайды-книжка Кшемкальяни и Сингала Termination detection
- Раджив Мисра Termination detection
- Обзор статьи Мисры (видимо, другого) Detecting Termination of Distributed Computations Using Markers (1983)
среда, 25 марта 2020 г.
Определение завершения распределённых вычислений
Несколько ссылок
суббота, 14 марта 2020 г.
Снимки глобального состояния - ссылки
Самый известный алгоритм для случая FIFO каналов - алгоритм Чанди-Лэмпорта, для неFIFO - алгоритм Лай-Янга. Есть ещё парочка алгоритмов для случая каузальной доставки (causal ordering).
Теперь ссылки. Сначала классические статьи
K. Chandy, L. Lamport Distributed Snapshots: Determining Global States of Distributed Systems (ссылка)
Ten H. Lai and Tao H. Yang On Distributed Snapshots (ссылка)
F. Mattern Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation (ссылка)
Теперь ссылки. Сначала классические статьи
Материалы университета Принстон (курс COS 418: Distributed Systems):
Материалы университета МакМастера (курс CAS 769):
- Dr. Borzoo Bonakdarpour Introduction, Logical clocks, Snapshots (ссылка)
- Ghosh Distributed Snapshot (ссылка) - есть граф достижимости состояний
понедельник, 9 марта 2020 г.
Разбор статьи Чанди-Лэмпорта (ссылка)
Нашёл тут интересный блог The morning paper, где разбирают разные статьи по информатике. Понравился подзаголовок журнала: A random walk through Computer Science research. Блог интересный, располагается здесь.
Поскольку сейчас вникаю в тему распределённых снимков глобального состояния, просмотрел заметку о статье Чанди и Лэмпорта Distributed Snapshots: Determining Global States of Distributed Systems (1985). Хороший пересказ, есть пример о разноцветных шариках.
Из другого поста того же блога (Asynchronous Distributed Snapshots for Distributed Dataflows) можно узнать, что алгоритм Чанди-Лэмпорта используется в Apache Flink (это такая штука, которая позволяет проводить вычисления на потоках данных).
Поскольку сейчас вникаю в тему распределённых снимков глобального состояния, просмотрел заметку о статье Чанди и Лэмпорта Distributed Snapshots: Determining Global States of Distributed Systems (1985). Хороший пересказ, есть пример о разноцветных шариках.
Из другого поста того же блога (Asynchronous Distributed Snapshots for Distributed Dataflows) можно узнать, что алгоритм Чанди-Лэмпорта используется в Apache Flink (это такая штука, которая позволяет проводить вычисления на потоках данных).
Подписаться на:
Сообщения (Atom)