【Rook / CSI】可观测：toolbox、kubectl 插件与 CSI / Exporter 指标语义
按观测层拆解 Rook toolbox、kubectl rook-ceph 插件、CSI liveness/sidecar 直方图与 mgr Prometheus / ceph-exporter 的字段语义与失败模式；不粘贴伪造 scrape 输出，只写口径与误读边界。
liveness 标签归档
共 2 篇文章 · 返回首页
【分布式系统百科】共识问题的精确定义：Agreement、Validity、Termination
共识到底在解决什么问题？Agreement、Validity、Termination 三个性质的精确含义是什么？Safety 和 Liveness 的区分为什么如此关键？FLP 不可能定理对工程实践意味着什么？本文从形式化定义出发，逐步展开共识的变体、原子广播的等价性，以及状态机复制这个最重要的应用。