programacion - Erlang: iniciar un hijo desde el módulo supervisor

erlang telecomunicaciones

Question

Estoy tratando de crear un supervisor que se encargue de agregar gen_servers dinámicos. por alguna razón, algo está fallando y no estoy muy seguro de qué.

-module(supervisor_mod).
-behaviour(supervisor).

-export([start_link/0, add_child/1]).
-export([init/1]).

start_link() ->
    Pid=supervisor:start_link({local, ?MODULE} , ?MODULE, []),
    {ok,Pid}.

init(_Args) ->
    {ok, {{simple_one_for_one, 10, 60},
          [{example_proc, {example_proc, start_link, []},
            permanent, brutal_kill, worker, [example_proc]}]}}.

add_child(Name)->                                                                        
    supervisor:start_child(supervisor_mod,
                           {example_proc, {example_proc, start_link, []},
                            permanent, brutal_kill, worker, [example_proc]}).

y

-module(example_proc).
-behaviour(gen_server).

-export([start_link/0]).
-export([init/1, handle_call/3, handle_cast/2]).

start_link() ->
    gen_server:start_link(?MODULE, [], []).

init(Args) ->
    io:format("~p (~p) started...~n", [Args, self()]),
    {ok, []}.

handle_call(alloc, From, State) ->
    {reply, From, State}.

handle_cast({free, _Ch}, State) ->
    {noreply, State}.

en shell Erl:

Eshell V5.8.2  (abort with ^G)
1> supervisor_mod:start_link().
{ok,{ok,<0.33.0>}}
2> supervisor_mod:add_child(aa).
{error,{''EXIT'',{badarg,[{erlang,apply,
                                [example_proc,start_link,
                                 {example_proc,{example_proc,start_link,[]},
                                               permanent,brutal_kill,worker,
                                               [example_proc]}]},
                        {supervisor,do_start_child_i,3},
                        {supervisor,handle_call,3},
                        {gen_server,handle_msg,5},
                        {proc_lib,init_p_do_apply,3}]}}}

Cualquier ayuda / explicación / solución es apreciada, / s.

Answer 1

Cuando use simple_one_for_one todos los niños usarán la misma ChildSpec, la que se proporciona en la devolución init/1 llamada init/1 y esta inicialización solo puede devolver un ChildSpec. También en este caso, el segundo argumento para el supervisor:start_child/2 debe ser una lista y NO una ChildSpec. Esta lista es una lista de argumentos adicionales que se anexa a la lista de argumentos dada en la ChildSpec por defecto y es esta lista de argumentos combinados la que se usa cuando se llama a la función de inicio del niño. Así es como todos los niños simples_un_para_uno pueden usar el mismo ChildSpec y aún así pueden obtener argumentos específicos para ellos.

En su caso, ya que había una lista vacía en el ChildSpec y llamó a start_child/2 con una lista vacía, el número total de argumentos para la función de inicio fue 0 . Que coincide con cómo se start_link/0 su función start_link/0 .

En su caso, una alternativa es usar one_for_one y comenzar cada hijo con su propia ChildSpec. Más complejo pero también más versátil.

Lamentablemente, este uso dual del supervisor:start_child/2 ha hecho que sea inconsistente en sus argumentos.

Answer 2

Lea el OTP Doc: en el caso de una estrategia simple uno a uno, en la función start_child puede pasar argumentos como una lista para la función child start_link del niño.