10

私はErlangのドキュメントを調べて、OTPgen_serverとスーパーバイザーのセットアップの基本を理解しようとしています。gen_serverがクラッシュするたびに、スーパーバイザーもクラッシュします。実際、コマンドラインでエラーが発生すると、スーパーバイザーがクラッシュします。

クラッシュしたときにgen_serverが再起動されることを期待しています。コマンドラインエラーは、サーバーコンポーネントにはまったく関係がないと思います。私の上司はまったく墜落してはいけません。

私が使用しているコードは、送信したものすべてに応答する基本的な「エコーサーバー」と、1分間に最大5回(one_for_one)echo_serverを再起動するスーパーバイザーです。私のコード:

echo_server.erl

-module(echo_server).
-behaviour(gen_server).

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

start_link() ->
    gen_server:start_link({local, echo_server}, echo_server, [], []).

%% public api
echo(Text) ->
    gen_server:call(echo_server, {echo, Text}).
crash() ->
    gen_server:call(echo_server, crash)..

%% behaviours
init(_Args) ->
    {ok, none}.
handle_call(crash, _From, State) ->
    X=1,
    {reply, X=2, State}.
handle_call({echo, Text}, _From, State) ->
    {reply, Text, State}.
handle_cast(_, State) ->
    {noreply, State}.

echo_sup.erl

-module(echo_sup).
-behaviour(supervisor).
-export([start_link/0]).
-export([init/1]).

start_link() ->
    supervisor:start_link(echo_sup, []).
init(_Args) ->
    {ok,  {{one_for_one, 5, 60},
       [{echo_server, {echo_server, start_link, []},
             permanent, brutal_kill, worker, [echo_server]}]}}.

を使用してコンパイルされerlc *.erl、次のサンプルが実行されます。

Erlang R13B01 (erts-5.7.2) [source] [smp:2:2] [rq:2] [async-threads:0] [kernel-p
oll:false]

Eshell V5.7.2  (abort with ^G)
1> echo_sup:start_link().
{ok,<0.37.0>}
2> echo_server:echo("hi").
"hi"
3> echo_server:crash().   

=ERROR REPORT==== 5-May-2010::10:05:54 ===
** Generic server echo_server terminating 
** Last message in was crash
** When Server state == none
** Reason for termination == 
** {'function not exported',
       [{echo_server,terminate,
            [{{badmatch,2},
              [{echo_server,handle_call,3},
               {gen_server,handle_msg,5},
               {proc_lib,init_p_do_apply,3}]},
             none]},
        {gen_server,terminate,6},
        {proc_lib,init_p_do_apply,3}]}

=ERROR REPORT==== 5-May-2010::10:05:54 ===
** Generic server <0.37.0> terminating 
** Last message in was {'EXIT',<0.35.0>,
                           {{{undef,
                                 [{echo_server,terminate,
                                      [{{badmatch,2},
                                        [{echo_server,handle_call,3},
                                         {gen_server,handle_msg,5},
                                         {proc_lib,init_p_do_apply,3}]},
                                       none]},
                                  {gen_server,terminate,6},
                                  {proc_lib,init_p_do_apply,3}]},
                             {gen_server,call,[echo_server,crash]}},
                            [{gen_server,call,2},
                             {erl_eval,do_apply,5},
                             {shell,exprs,6},
                             {shell,eval_exprs,6},
                             {shell,eval_loop,3}]}}
** When Server state == {state,
                            {<0.37.0>,echo_sup},
                            one_for_one,
                            [{child,<0.41.0>,echo_server,
                                 {echo_server,start_link,[]},
                                 permanent,brutal_kill,worker,
                                 [echo_server]}],
                            {dict,0,16,16,8,80,48,
                                {[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],
                                 []},
                                {{[],[],[],[],[],[],[],[],[],[],[],[],[],[],
                                  [],[]}}},
                            5,60,
                            [{1273,79154,701110}],
                            echo_sup,[]}
** Reason for termination == 
** {{{undef,[{echo_server,terminate,
                          [{{badmatch,2},
                            [{echo_server,handle_call,3},
                             {gen_server,handle_msg,5},
                             {proc_lib,init_p_do_apply,3}]},
                           none]},
             {gen_server,terminate,6},
             {proc_lib,init_p_do_apply,3}]},
     {gen_server,call,[echo_server,crash]}},
    [{gen_server,call,2},
     {erl_eval,do_apply,5},
     {shell,exprs,6},
     {shell,eval_exprs,6},
     {shell,eval_loop,3}]}
** exception exit: {{undef,
                        [{echo_server,terminate,
                             [{{badmatch,2},
                               [{echo_server,handle_call,3},
                                {gen_server,handle_msg,5},
                                {proc_lib,init_p_do_apply,3}]},
                              none]},
                         {gen_server,terminate,6},
                         {proc_lib,init_p_do_apply,3}]},
                    {gen_server,call,[echo_server,crash]}}
     in function  gen_server:call/2
4> echo_server:echo("hi").
** exception exit: {noproc,{gen_server,call,[echo_server,{echo,"hi"}]}}
     in function  gen_server:call/2
5>
4

3 に答える 3

17

シェルからスーパバイザをテストする際の問題は、スーパバイザ プロセスがシェル プロセスにリンクされていることです。gen_server プロセスがクラッシュすると、終了シグナルがシェルまで伝搬され、シェルがクラッシュして再起動します。

この問題を回避するには、次のようなものをスーパーバイザーに追加します。

start_in_shell_for_testing() ->
    {ok, Pid} = supervisor:start_link(echo_sup, []),
    unlink(Pid).
于 2010-05-05T18:20:34.680 に答える
10

アプリケーションをデバッグ/トレースして、何が起こっているかを確認することをお勧めします。OTP の仕組みを理解するのに非常に役立ちます。

あなたの場合、次のことをしたいかもしれません。

トレーサーを開始します。

dbg:tracer().

スーパーバイザーと gen_server のすべての関数呼び出しをトレースします。

dbg:p(all,c).
dbg:tpl(echo_server, x).
dbg:tpl(echo_sup, x).

プロセスが渡すメッセージを確認します。

dbg:p(new, m).

プロセスに何が起こっているかを確認します (クラッシュなど):

dbg:p(new, p).

トレースの詳細については、次を参照してください。

http://www.erlang.org/doc/man/dbg.html

http://aloiroberto.wordpress.com/2009/02/23/tracing-erlang-functions/

これが、この状況と将来の状況に役立つことを願っています。

ヒント: gen_server の振る舞いは、コールバック terminate/2 が定義され、エクスポートされることを期待しています;)

更新: terminate/2の定義後、クラッシュの理由はトレースから明らかです。これはどのように見えるかです:

(75) crash/0 関数を呼び出します。これは、gen_server (78) によって受信されます。

(<0.75.0>) call echo_server:crash()
(<0.75.0>) <0.78.0> ! {'$gen_call',{<0.75.0>,#Ref<0.0.0.358>},crash}
(<0.78.0>) << {'$gen_call',{<0.75.0>,#Ref<0.0.0.358>},crash}
(<0.78.0>) call echo_server:handle_call(crash,{<0.75.0>,#Ref<0.0.0.358>},none)

ええと、ハンドル コールの問題です。私たちは悪い試合をしています...

(<0.78.0>) exception_from {echo_server,handle_call,3} {error,{badmatch,2}}

終了関数が呼び出されます。サーバーが終了し、登録が解除されます。

(<0.78.0>) call echo_server:terminate({{badmatch,2},
 [{echo_server,handle_call,3},
  {gen_server,handle_msg,5},
  {proc_lib,init_p_do_apply,3}]},none)
(<0.78.0>) returned from echo_server:terminate/2 -> ok
(<0.78.0>) exit {{badmatch,2},
 [{echo_server,handle_call,3},
  {gen_server,handle_msg,5},
  {proc_lib,init_p_do_apply,3}]}
(<0.78.0>) unregister echo_server

Supervisor (77) は gen_server から終了シグナルを受信し、そのジョブを実行します。

(<0.77.0>) << {'EXIT',<0.78.0>,
                      {{badmatch,2},
                       [{echo_server,handle_call,3},
                        {gen_server,handle_msg,5},
                        {proc_lib,init_p_do_apply,3}]}}
(<0.77.0>) getting_unlinked <0.78.0>
(<0.75.0>) << {'DOWN',#Ref<0.0.0.358>,process,<0.78.0>,
                      {{badmatch,2},
                       [{echo_server,handle_call,3},
                        {gen_server,handle_msg,5},
                        {proc_lib,init_p_do_apply,3}]}}
(<0.77.0>) call echo_server:start_link()

まあ、それは試みます. フィリッポが言ったことは起こるので.

于 2010-05-05T18:20:31.813 に答える
2

一方、再起動戦略をコンソール内からテストする必要がある場合は、コンソールを使用してスーパーバイザを起動し、pmanに確認してプロセスを強制終了します。

pmanは、同じスーパーバイザーPidで更新されますが、restart-strategyで設定したMaxRとMaxTに応じて異なるワーカーPidで更新されます。

于 2012-03-17T12:00:07.823 に答える