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

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

16 min · 7814 words

为什么Kademlia统治了P2P世界二十年:从XOR距离到k-bucket的技术突围

引言:从Napster的覆灭说起 1999年,东北大学学生Shawn Fanning创建了Napster,一个让全球用户自由交换MP3音乐文件的平台。短短两年内,Napster积累了超过8000万注册用户。然而,这种繁荣建立在沙滩之上——Napster采用中央索引服务器架构,所有文件的元数据都存储在公司控制的服务器上。当唱片业的大棒挥下,只需关闭这几台服务器,整个网络就土崩瓦解。 ...

16 min · 7906 words

CRDT:为什么这个数学概念正在重塑分布式系统的未来——从半格理论到Figma实时协作的十五年技术演进

引言:一个看似不可能的难题 2019年,Figma发布了一篇技术博客,详细介绍了他们的"多人游戏"技术——让数百人能够同时编辑同一个设计文件,而不会产生任何冲突。这项技术的核心,是一个名为CRDT(Conflict-free Replicated Data Types,无冲突复制数据类型)的数学概念。 ...

9 min · 4438 words

gRPC如何重塑微服务通信:从Google Stubby到生产实践的十年技术演进

2015年,Netflix的Runtime Platform团队面临一个棘手问题:他们用于服务间通信的自研HTTP/1.1技术栈在规模化场景下开始显现瓶颈。创建一个服务客户端需要2-3周,每个客户端都需要数百行手写的缓存管理代码,而API定义的缺失让服务的发现和理解变得异常困难。 ...

15 min · 7306 words

从拜占庭到区块链:分布式共识如何用四十年解决信任问题

1978年,Leslie Lamport在研究分布式系统时说过一句著名的话:“分布式系统就是这样一个系统:在这个系统中,一台你甚至不知道其存在的计算机的故障,可能会让你的计算机变得不可用。“三十年后,一个化名中本聪的人(或团队)用一篇九页的白皮书,给出了这个问题的解法。 ...

16 min · 7631 words
Blog Cover

实时游戏的网络同步困境:从帧同步到状态同步的技术抉择

1996年,当John Carmack设计Quake的网络架构时,他面临一个看似不可能的挑战:如何在拨号上网时代(平均延迟200-300毫秒),让玩家获得接近本地游戏的流畅体验?这个问题的答案,最终塑造了接下来三十年实时网络游戏的技术演进路径。 ...

12 min · 5957 words

RPC框架的底层实现原理:从动态代理到网络传输的技术全景

1984年,Birrell和Nelson在ACM Transactions on Computer Systems上发表了一篇划时代的论文《Implementing Remote Procedure Calls》。他们提出了一个简单而强大的构想:让程序员能够像调用本地函数一样调用远程服务器上的过程,完全屏蔽底层的网络通信细节。四十年后的今天,这个构想已经成为微服务架构的基石——从Google的gRPC到阿里巴巴的Dubbo,RPC框架支撑着全球数十亿用户的服务调用。 ...

14 min · 6975 words