分布式信息系统中的局部性、状态性与因果性（关于系统承诺的尺度依赖性）

一些流行的 IT 设计与架构最佳实践宣言使用了诸如“有状态”、“无状态”、“无共享”等术语，并描述因果演化的“基于事实”或“函数式”描述来解释计算机过程，尤其是在云计算中。这些概念的使用含糊不清，有时甚至相互矛盾，导致了许多关于其含义的不精确信念。本文概述了承诺理论中关于状态和因果关系的简单观点，该理论以自然的方式解释了过程的缩放和不同观察者的相对性。文中表明，有状态或无状态的概念是观测尺度和对函数求值的因果偏好的产物。如果我们包含反馈回路、递归和过程收敛（这些对外部观察者而言显得非因果），那么关于（不）可变状态的论证就需要以尺度依赖的方式进行修正。在大多数情况下，此类论述的预期焦点并非“无状态”等术语，而是过程的可预测性。在大多数情况下，一个简单的原则可以替代作为系统设计的指南：动态尺度分离原则。理解数据依赖性和保持稳定承诺的能力对于数据管道以及分布式客户端-服务器交互的一致性至关重要，尽管方式不同。随着在广泛分离的分布式部署（例如物联网和人工智能应用）中数据密集型过程日益增多，不稳定性的影响需要更仔细的处理。这些笔记是一项倡议的一部分，旨在与思想者和实践者互动，为普适扩展云计算时代建立一种更理性、更严谨的系统工程语言。