无状态架构的代价

核心摘要

本集回答“能否不依赖数据库，用有状态、常驻内存的并发进程构建现代Web应用”。核心判断：用Elixir/OTP的Agent与GenServer，把状态放在BEAM进程内存中，可完全绕过数据库，并天然消除竞态条件。

干货提炼

主题一：无状态架构的代价

• 无状态是Web规模化的前提，但代价是把数据库变成中心瓶颈：服务器在HTTP响应后立即释放内存，导致每次用户操作都要往返数据库、锁行、验证身份，产生巨大网络延迟。传统Rails/Django应用处理一步操作需重建整个上下文，代价极高。

主题二：Agent进程与内存态数据

• BEAM进程与OS线程截然不同，轻量且适合持状态：单个BEAM进程仅占约2KB内存，自带内部调度器，用“reductions”（函数调用数）控制上下文切换，无需宿主OS许可即可处理百万级并发任务。
• Agent通过“单一所有权”消除竞态条件：每个数据点（如坐标A1的状态）只存在于一个Agent进程中，且每个进程有独占邮箱，并发消息被顺序处理，从架构上使竞态条件数学上不可能发生。
• 内存态数据用原生Elixir结构组合，无需ORM：坐标是struct（含island归属key和guessed布尔值），岛是坐标进程列表，棋盘是映射字符串名到坐标进程的map。实体间只存进程ID引用，无深层嵌套副本，因此解耦且更新即时可见。

主题三：GenServer与进程间协调

• GenServer提供微服务的隔离性，但零外部基础设施：对比传统微服务需处理网络拓扑、重试逻辑、HTTP/JSON序列化、Kubernetes和Kafka，GenServer完全运行在BEAM内，无外部网络开销。
• 作者强制使用client→mod→callback三层代码模式：GenServer本质是递归函数无限循环，收到消息后计算新状态再自调用。client函数是唯一安全公共接口，防止外部直接操作递归循环破坏并发模型。
• call优于cast，因为call是内置背压机制：call是同步的，BEAM调度器会挂起发送者直到GenServer回复；若用异步cast，进程可能被百万消息灌爆邮箱内存而崩溃。用call即使回复是空ok，也能让内存占用稳定可预测。

主题四：进程寻址与原子表陷阱

• 不能用原子动态命名游戏进程：原子是C级字符串表的整数指针，永不垃圾回收，BEAM硬性上限约100万个原子。用用户ID动态生成原子会填满原子表，导致整个服务器节点崩溃（凌晨3点宕机的经典原因）。
• 解决方案是全局注册表（Registry）：注册时用普通字符串（可垃圾回收）而非原子，Registry用ETS（Erlang Term Storage）实现，多进程可并发无阻塞读取，查找近乎瞬时，既避开原子上限又不引入中心瓶颈。

主题五：GenStateMachine强制时序规则

• 用GenStateMachine替代前端式的状态混乱：React useEffect乱触发、Redux store纠缠、组件渲染失序等前端状态疲劳，在后台会变成庞大的条件逻辑；状态机将状态管理逻辑与业务逻辑完全分离。
• 状态名即函数名，物理上杜绝非法操作：代码中直接编写名为“initialized”的callback函数，该函数只允许处理添加第二个玩家；加入后返回success并让状态机整体切换到“players_set”状态，BEAM进程随即改用另一函数处理消息循环，原函数不再活跃。
• catch-all子句像硬币分拣机一样拒绝非法事件：非法消息（如过早猜坐标）匹配不到任何规则，滑落到底部catch-all子句被安全拒绝，返回错误元组且不改变状态。业务逻辑只存在于“猜测被允许”的状态内，不再需要关心时序。

高光金句

• ❝ When a piece of data, let's say the status of Coordinate A one on Player one's board, it lives inside exactly one agent process, nowhere else in the entire system, and every single beam process has an exclusive built in mailbox. ❞
• ❝ The architecture itself makes a race condition mathematically impossible. ❞
• ❝ When you execute a call, the beam scheduler literally suspends the execution thread of the sender until the gen server replies. ❞

提及资源

• 人物：Lance Halverson — 书作者，被明确提及。