Самый известный алгоритм для случая 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):
- Themis Melissaris and Daniel Suo Chandy-Lamport Snapshotting (ссылка)
- Kyle Jamieson Vector Clocks and Distributed Snapshots (ссылка)
- Лабораторка Chandy-Lamport Distributed Snapshots (ссылка)
Материалы университета МакМастера (курс CAS 769):
- Dr. Borzoo Bonakdarpour Introduction, Logical clocks, Snapshots (ссылка)
Материалы университета Айовы:
- Ghosh Distributed Snapshot (ссылка) - есть граф достижимости состояний
Комментариев нет:
Отправить комментарий