为何Supervisor无法启动GenServer？原因分析及修复方法

调用下方Supervisor代码后，期望GenServer成功启动，但实际未启动，Process.whereis(App.Service)返回nil。

defmodule App.Service do
  use GenServer

  def start_link(state) do
    GenServer.start_link(__MODULE__, state)
  end

  def init(state) do
     {:ok, state}
  end

  def get_state(pid) do
     GenServer.call(pid, :get_state)
  end

  def set_state(pid,state) do
     GenServer.call(pid, {:set_state, state})
  end


  def handle_call(:get_state, _from, state) do
     {:reply, state, state}
  end


  def handle_call({:set_state, new_state}, _from, state)do
    {:reply,state,[new_state | state]}
  end
   
end

defmodule App.Supervisor do
  use Supervisor

  def start do
    Supervisor.start_link(__MODULE__, [])
  end

  def init(_) do
     children = [
      App.Service
     ]
  Supervisor.init(children, strategy: :one_for_one)
  end
end



x = App.Supervisor.start()
IO.inspect x

pid = Process.whereis(App.Service)

# The following is nil. I expect a PID

IO.inspect pid  

问题原因 #

• 缺少启动参数：App.Service的start_link要求传入初始状态参数，但Supervisor的子进程配置仅指定了模块名，没有传递必要参数，导致GenServer启动失败。
• 未注册进程名：默认情况下，GenServer.start_link不会自动注册进程名，因此Process.whereis(App.Service)无法通过模块名找到对应进程。

修复方案 #

1. 补充Supervisor子进程的启动参数 #

将Supervisor的子进程配置改为传递初始状态的形式，同时可选地给GenServer注册进程名，方便后续查找。

修改后的完整代码 #

defmodule App.Service do
  use GenServer

  # 修改start_link，支持注册进程名，同时接收初始状态
  def start_link(state) do
    GenServer.start_link(__MODULE__, state, name: __MODULE__)
  end

  def init(state) do
     {:ok, state}
  end

  def get_state do
     # 因为注册了进程名，无需传入pid，直接用模块名调用
     GenServer.call(__MODULE__, :get_state)
  end

  def set_state(state) do
     GenServer.call(__MODULE__, {:set_state, state})
  end


  def handle_call(:get_state, _from, state) do
     {:reply, state, state}
  end


  def handle_call({:set_state, new_state}, _from, state)do
    {:reply,state,[new_state | state]}
  end
   
end

defmodule App.Supervisor do
  use Supervisor

  def start do
    Supervisor.start_link(__MODULE__, [])
  end

  def init(_) do
     # 给子进程传递初始状态，这里用空列表作为示例
     children = [
      {App.Service, []}
     ]
  Supervisor.init(children, strategy: :one_for_one)
  end
end



x = App.Supervisor.start()
IO.inspect x

pid = Process.whereis(App.Service)
IO.inspect pid  # 现在会返回GenServer的PID

关键修改点说明 #

• GenServer的start_link：添加name: __MODULE__参数，启动时自动注册以模块名为标识的进程，后续调用无需传入PID，直接用App.Service即可。
• Supervisor的子进程配置：将App.Service改为{App.Service, []}，其中[]是传递给start_link的初始状态参数，可根据业务需求替换为合适的初始值。
• 简化客户端函数：get_state和set_state不再需要接收PID参数，直接使用注册的进程名调用，代码更简洁。

运行修改后的代码，x会返回{:ok, #PID<0.XX.X>}，pid变量也会正确输出GenServer的进程ID。

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