Computer science 为什么大多数分布式计算抽象都建立在故障停止抽象之上？

我很好奇为什么大多数分布式计算抽象都建立在故障停止抽象模型上，该模型由

故障停止过程抽象

，

完美链接抽象

，以及

完美故障检测器抽象

组成。为什么不建立在更类似于真实世界的故障恢复抽象之上呢？我认为，它由

崩溃恢复过程抽象

、

日志完美链接抽象

、以及

最终完美故障检测器抽象

组成

---

例如，

完美故障检测器抽象

基于

同步系统

，而现实世界更像

部分同步

。为什么我们不在像

部分同步

？

这样的基础上建立更高层次的抽象呢？

我投票将这个问题作为主题外的问题来结束，因为这是一个高层次的哲学问题，而不是编程问题，也许对计算机科学来说更好？很抱歉，这个主题外的问题，你的意思是我应该重新查看标签并将其更改为

计算机科学

，还是在一些合适的平台上提问？我认为这是合适的地点。