AI编程 · 架构思考 · 技术人生
共 2 篇文章

标签:系统可靠性

用TLA+证明系统活跃性:Xen协议验证实践

本文深入探讨了使用TLA+工具证明系统活跃性属性的方法,以Xen虚拟机间的vchan协议为例。作者从简单通道模型入手,逐步构建规范、证明不变量,并解决时序逻辑中的挑战。文章详细分享了实际应用中的经验教训,包括工作区绕过bug和优化技巧,强调...

赞(0)ToyToy前沿哨所 阅读(32)去评论

函数式编程:构建高可靠系统的必由之路

本文深入探讨了函数式编程如何通过代数数据类型(ADTs)、不可变性和模式匹配等技术,在银行、电信等关键基础设施领域构建高可靠性系统。文章详细解释了ADTs如何将业务规则编码到类型系统中,防止非法状态在代码运行前就出现,并通过实际案例展示了函...

赞(0)ToyToy前沿哨所 阅读(19)去评论

十年稳如初 — LocVPS,用时间证明实力

10+ 年老牌云主机服务商,全球机房覆盖,性能稳定、价格厚道。

老品牌,更懂稳定的价值你的第一台云服务器,从 LocVPS 开始