共 2 篇相关文章
这篇讲的是深入Erlang OTP框架最核心的组件之一——gen_server。作者没有停留在API用法，而是直接扎进了lib/stdlib/src下的官方源码，试图从Erlang语言本身的级别，把gen_server循环、消息处理、状态机等核心模块的实现逻辑摊开来讲。 对于想写出更健壮Erlang程序的开发者来说，理解这些底层机制至关重要。文章不仅分析gen_server，还计划对比gen_fsm和supervisor的实现，这意味着能一次性理清OTP中几个关键行为模式的设计哲学与共同基础。作者还贴心地准备了完整的流程图，帮助读者将抽象的源码执行路径可视化，这种从代码到图形再到原理的拆解方式，对理解框架的巧妙封装和错误处理设计特别有帮助。 如果你在使用gen_server时曾有过“它到底是怎么做到的”这样的疑问，或者希望自己的并发设计能更贴近OTP的设计思想，那么从源码层面看透它的骨架与血肉，会是一个非常扎实的进阶路径。
这篇讲的是 Erlang OTP 框架中核心的 supervisor 进程。作者深入其源码，剖析了这个“监督者”的本质：它其实就是一个基于 gen_server 实现的系统进程，专门负责监控子进程的退出状态，并按照预设策略进行重启管理。 文章从 supervisor 的初始化过程切入，揭示了它如何解析监督规范（Supervisor Specification），构建起一颗监督树。重点分析了它的重启策略——“one_for_one”、“one_for_all”和“rest_for_one”在源码层面是如何区分和实现的，让抽象的策略概念变得具体可感。 最巧妙的部分在于，作者拆解了 supervisor 处理子进程退出的内部逻辑。它并非简单粗暴地重启，而是通过状态机管理子进程的运行状态，并在子进程异常退出时，根据“强度”（intensity）和“周期”（period）两个参数来判断是否触发重启上限，从而决定自身是该重启子进程还是优雅退出，避免了系统陷入无限重启的死循环。 通过阅读这篇源码分析，能理解 OTP 框架构建高可靠性应用的一个基石：它把进程管理的复杂逻辑封装在一个优雅、可配置的监督者角色中，让开发者能专注于业务进程本身。
