我很好奇为什么大多数分布式计算抽象都是建立在由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呢？