Actor模型为何能统治并发编程五十年从1973年理论到WhatsApp二十亿连接的技术博弈

一个数学模型如何重新定义并发 1973年,麻省理工学院的Carl Hewitt在IJCAI会议上发表了一篇论文,提出了一个看似简单的问题:如果我们将"计算"的最基本单位从函数改为"演员"(Actor),会发生什么?这个问题看似学术,却在随后的五十年里彻底改变了我们构建并发和分布式系统的方式。 ...

16 min · 7814 words

故障检测器为何成为分布式系统最脆弱的一环——从心跳超时的两难困境到Phi Accrual的数学突围

1997年,NASA的Mars Pathfinder探测器在火星表面成功着陆后不久,开始出现诡异的系统重启。每次重启都导致数据采集中断,任务濒临失败。工程师们排查后发现,问题出在一个经典的分布式系统困境:优先级反转导致低优先级任务长时间占用关键资源,高优先级的"看门狗"任务无法及时执行,系统误判为故障并触发重启。 ...

10 min · 4796 words