FDCO-01 Communication module 面向系统构建者的简单模拟

Description

众所周知，我非常喜欢形式化方法。我使用P和TLA+经常。我喜欢这些工具，因为它们提供了清晰的方式来沟通最棘手的协议，并允许我们在构建系统之前使用计算机来推理我们正在设计的系统1。这些工具通常注重安全性(没有坏事发生)和活性(好事发生了(最终))2。安全性和活性是系统的关键属性，但远不是我们关心的所有属性。作为系统设计者，我们通常关心许多其他并非严格意义上的安全性或活性属性。例如: FDCO-01

平均而言以及在异常情况下，客户可以预期的延迟是多少?

我们运营这项服务的成本是多少?

这些成本如何随不同的使用模式和负载规模(数据大小、吞吐量、事务率等)而变化?

这项服务需要什么类型的硬件，需要多少?

设计对网络延迟或数据包丢失有多敏感?

可用性和持久性如何随着副本数量的增加而扩展?

系统在过载情况下会有什么表现?

我们通常使用的正式工具不能很好地回答这些问题。当然， FDCO-01有许多方法可以从闭型分析中回答这些问题3原型制作。我最喜欢的方法之一是我称之为简单模拟:编写模拟简单模型行为的小型模拟器，其中的代码可以被不是模拟或数值方法专家的人轻松阅 读、审查和理解。