Erlang

为不可停机系统而生

Erlang由爱立信Joe Armstrong等人从1986年开始开发，核心需求来自电信交换机：系统必须能在不停机的情况下升级，单个组件故障不能导致整体崩溃，必须同时处理大量并发连接。这些要求催生了Erlang几个独特的设计：

• 轻量进程：Erlang进程不是OS进程，创建成本极低（微秒级），内存几百字节起，运行百万个进程是正常操作。
• 进程隔离：进程间不共享内存，只能通过消息传递通信，一个进程崩溃不影响其他进程。
• 热代码升级：可以在系统运行时替换模块代码，对电信系统至关重要。
• 「让它崩溃」哲学：不在每处写防御代码，而是用监督树（Supervisor）监控子进程，崩溃了就重启，保持进程状态简单。

WhatsApp的传奇与OTP框架

WhatsApp 2014年被Facebook以190亿美元收购时，其后端主要运行在Erlang上。据报道，WhatsApp的工程团队极小（约50人工程师），支撑着数亿活跃用户——这种以小搏大的运营效率很大程度上来自Erlang的并发模型。

Erlang运行在BEAM虚拟机上，这个VM是整个Erlang/Elixir生态的基础。BEAM的调度器是抢占式的，每个进程有固定「减量」（reduction count），到期就切换，不会有一个进程饿死其他进程。OTP（Open Telecom Platform）提供GenServer、Supervisor等行为模式，是构建健壮分布式系统的工程规范。