Quint是一种特别适用于分布式系统的规范语言。它结合了Temporal Logic of Actions (TLA)的强大理论基础和最先进的类型检查和开发工具。Quint具有简单和熟悉的语法、表达能力强的类型系统、新颖的效果系统、模拟器、...

RabbitMQ和Kafka是两个流行的消息代理平台，被广泛应用于大规模分布式系统中。然而，架构师在选择哪个平台来满足他们的需求时，常常会感到困惑。本系列文章将探讨RabbitMQ和Kafka的优缺点，帮助架构师做出明智的选择...

Turmoil是一个用于分布式系统的测试框架。它可以在单个线程中运行多个并发主机，以提供确定性执行。Turmoil通过手动控制或使用种子环来改变模拟网络，从而向系统引入困难。

Teletrace是一款分布式跟踪系统，可帮助开发人员监视和解决复杂的分布式系统问题。它可以轻松部署和扩展，并支持多种存储选项。Teletrace最近在GitHub上发布了其代码库，这将使更多的开发者能够使用和贡献该系统。...