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

标签:分布式系统

P框架:分布式系统的形式化建模与分析

P是一种基于状态机的编程语言,专门用于形式化建模和指定复杂分布式系统。它支持多种后端分析引擎,如模型检查和符号执行,帮助验证系统满足正确性规范。P已被Amazon AWS广泛采用,例如在S3的强一致性协议分析中,也用于Microsoft W...

赞(0)ToyToy前沿 阅读(55)去评论

交易所如何将订单簿转变为分布式日志

本文深入探讨了现代交易所如何通过分布式日志架构解决订单排序问题。文章指出,交易所面临的核心挑战是将来自全球各地的并发订单转化为单一、确定的序列,以确保价格时间优先的公平性。作者详细介绍了’Gateway → Sequencer ...

赞(0)ToyToy前沿 阅读(64)去评论

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

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

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