1960年代的实时计算奇迹：IBM 9020 如何接管美国领空
本文详细回顾了美国空中交通管制系统从SAGE向IBM 9020转型的历史。9020基于System/360架构，首创多机“多系统”并联设计，通过复杂的共享内存和故障自动分析程序（OEAP）实现了极高的实时性与可靠性。这一系统不仅是当时技术的...
标签索引 / 第 3 页
分布式系统
这个标签下有 32 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
开源项目Chr2：重新定义分布式系统副作用处理，揭示“恰好一次”真相
大多数共识库将状态机视为黑箱，但在执行扣款或发送邮件等实际操作时，若领导者在提交前崩溃，会导致重复执行。开发者推出了开源项目Chr2，旨在从底层原理解决这一问题，将崩溃安全的副作用作为一等公民。该机制通过复制输出箱、持久化围栏令牌及确定性上...
形式化方法只能解决一半问题：分布式系统设计的局限
形式化方法如TLA+和P在验证系统安全性和活跃性方面非常有效，但只能解决分布式系统设计中的部分问题。作者提出，延迟、成本、硬件需求等关键问题需要通过原型设计、建模和模拟来解决。他呼吁开发新工具，结合形式化模型和性能分析，以提供更精确的定量设...
告别Nagle算法：TCP_NODELAY如何提升现代系统性能
AWS工程师Marc Brooker在博客中指出，在调试分布式系统延迟问题时，TCP_NODELAY选项总是他的第一选择。文章回顾了1980年代Nagle算法的起源，该算法旨在通过减少小数据包传输来提高网络吞吐量。然而，在现代数据中心环境中...
Garage：高可靠S3对象存储，可在数据中心外稳定运行
Garage是一款高可靠的S3兼容对象存储系统，专为在非专业数据中心环境中运行而设计。该系统采用三区域数据复制机制，确保数据安全可靠。其核心优势在于轻量化设计——仅依赖单一无依赖二进制文件，可在各种Linux发行版上快速部署。系统对硬件要求...
Stepped Actions：为Rails打造的分布式工作流解决方案
Stepped Actions是一个专为Ruby on Rails设计的分布式工作流程编排引擎，能够将复杂的任务流程组织为树形结构进行管理。该工具通过Active Job执行持久化的动作，支持依赖管理、并发控制和任务重用等高级功能。在实际应...
如何使用ClaudeCode：新手入门完全指南
最近我一直在探索AI工具在编程领域的应用，特别是如何利用AI提高开发效率。根据我在.NET Aspire 9.3版本中的实际体验，微软将GitHub Copilot深度集成到Aspire Dashboard的做法让我印象深刻。这个创新不是简...
P框架：分布式系统的形式化建模与分析
P是一种基于状态机的编程语言，专门用于形式化建模和指定复杂分布式系统。它支持多种后端分析引擎，如模型检查和符号执行，帮助验证系统满足正确性规范。P已被Amazon AWS广泛采用，例如在S3的强一致性协议分析中，也用于Microsoft W...
交易所如何将订单簿转变为分布式日志
本文深入探讨了现代交易所如何通过分布式日志架构解决订单排序问题。文章指出，交易所面临的核心挑战是将来自全球各地的并发订单转化为单一、确定的序列，以确保价格时间优先的公平性。作者详细介绍了’Gateway → Sequencer ...
Jepsen报告揭示NATS JetStream 2.12.1严重数据丢失问题
Jepsen团队对NATS JetStream 2.12.1版本进行了深入测试，发现了多个严重的可靠性问题。测试表明，即使仅少数节点出现文件损坏（如.blk或快照文件的单比特错误），也可能导致大规模消息丢失（高达78%的已确认消息）或整个流...