Изменения
Нет описания правки
[[Категория: Параллельное программирование]]
Если у распределенной системы нет «глобального состояния», то как запомнить её состояние на диске, чтобы можно было продолжить работу после восстановления с диска?
Пусть E - система на основе событий (event-based system) с полным порядком (<tex>\prec</tex>) в рамках каждого процесса. Тогда <br>
'''Срез''' ''F'' - любое подмножество ''E'' такое, что <tex>f \in F, e \prec f \Rightarrow e \in F</tex>
