Мне очень любопытно, почему большинство распределенных вычислительных абстракций построены на модели абстракции аварийного останова, которая состоит из crash-stop process abstraction, perfect link abstraction и perfect failure detector abstraction. Почему бы не построить абстракцию восстановления после сбоев, которая больше похожа на реальный мир, который, как я думал, состоит из crash-recovery process abstraction, logged perfect link abstraction и eventually perfect failure detector abstraction.
Например, perfect failure detector abstraction основан на synchronous system, в то время как реальный мир больше похож на partial synchrony. Почему бы нам не создать высокоуровневые абстракции поверх чего-то вроде partial synchrony?