Erlang OTP simple_one_for_one supervisor启动子进程异常问题

以下是针对你遇到的问题的常见原因及排查步骤：

常见故障原因 #

• 全局资源冲突：如果子进程启动时注册了固定名称的本地进程（比如register(auction_process, self())），或者占用了唯一资源（如特定端口），第一个进程会成功占用资源，后续进程启动时会因badarg等异常直接崩溃。若启动函数未做错误日志输出，就看不到任何启动痕迹。
• 启动函数阻塞：子进程的start_link/1若包含同步阻塞逻辑（比如等待未就绪的外部资源、死循环初始化），会导致supervisor串行处理start_child请求时被卡住——第一个进程启动未完成，后续启动请求会积压在supervisor的消息队列里，根本没机会执行。
• 未捕获启动异常：启动函数中的模式匹配失败、调用不存在的函数等未捕获异常，会直接导致进程启动失败。默认情况下Erlang不会自动输出这类启动失败日志，需要手动添加日志确认是否进入启动流程。
• supervisor重启限制触发：若第一个进程启动后短时间内崩溃，触发了默认的max_restarts=5/max_seconds=5限制，后续启动请求会被直接拒绝。不过你提到首个进程正常执行，这个可能性较低，但仍可排查确认。
• API调用错误：确保你是通过supervisor:start_child(SupRef, ChildArgs)启动子进程，而非重复调用supervisor:start_link或其他不符合simple_one_for_one规范的API。

快速排查步骤 #

1. 强制添加启动日志：在子进程start_link函数最开头添加明确的日志输出，确认启动请求是否到达：

   start_link(AuctionArgs) ->
       error_logger:info_msg("Starting auction with args: ~p~n", [AuctionArgs]),
       gen_server:start_link(?MODULE, AuctionArgs, []).
   

   若后续请求无此日志输出，说明start_child调用未被supervisor处理；若有日志但进程未启动，说明启动逻辑存在异常。

2. 检查全局资源使用：将固定注册名改为动态生成（比如{local, list_to_atom("auction_" ++ integer_to_list(AuctionId))}），或直接使用PID进行进程交互，避免资源冲突。

3. 异步化启动调用：如果你的启动逻辑是在单个进程中循环调用start_child，改为异步启动避免阻塞：

   spawn(fun() -> supervisor:start_child(your_sup_ref, [AuctionArgs]) end).
   

4. 查看supervisor状态：在Erlang Shell中执行以下命令，确认supervisor状态和子进程列表：

   SupPid = whereis(your_supervisor_name),
   supervisor:which_children(SupPid),
   supervisor:get_state(SupPid).
   

内容的提问来源于stack exchange，提问作者salbh