rxp

rxp 为构建可靠执行平台提供了基础构建块。它定义了实现若干核心可靠性保证所需的 API 和类型： - 名称唯一性（Name Uniqueness）：确保可读名称在特定范围内唯一，并为对象重命名提供安全且经过审计的机制。 - 定义演进（Definition Evolution）：管理类型定义的版本控制，以防止破坏性变更，并确保对象与其创建时的定义版本保持兼容。 - 状态变更（State Mutation）：为并发写入者提供保护，以确保对象期望状态的安全变更。 - 可靠执行（Reliable Execution）：将任意代码封装在安全信封中，通过跟踪检查点和事件，允许在运行时失败（例如网络分区或 OOM 错误）后在其他地方恢复执行。 - 安全归档（Safe Archival）：实现归档系统而非直接删除，从而保留完整的变更历史以供未来恢复。 - 可审计性（Auditability）：跟踪对象的每一个世代，并维护代码执行和状态变更的事件历史。