Erlang OTPスーパーバイザークラッシュ
https://stackoverflow.com/questions/2775114
-
03-10-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian質問
私はErlangのドキュメントを使用して、OTP Gen_Serverとスーパーバイザーのセットアップの基本を理解しようとしています。 Gen_Serverがクラッシュするたびに、スーパーバイザーもクラッシュします。実際、コマンドラインにエラーが発生するたびに、スーパーバイザーがクラッシュします。
Gen_Serverがクラッシュすると再起動することを期待しています。コマンドラインエラーがあると期待しています まったくベアリングはありません サーバーコンポーネント上。私のスーパーバイザーはまったくクラッシュするべきではありません。
私が取り組んでいるコードは、送信するものをすべて返信する基本的な「Echoサーバー」であり、ECHO_SERVERを1分あたり5回（ONE_FOR_ONE）再起動するスーパーバイザーです。私のコード：
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>
解決
シェルからの監督者の問題は、スーパーバイザープロセスがシェルプロセスにリンクされていることです。 Gen_Serverプロセスがクラッシュすると、出口信号がシェルまで伝播され、クラッシュして再起動します。
問題を回避するために、このようなものをスーパーバイザーに追加します。
start_in_shell_for_testing() ->
{ok, Pid} = supervisor:start_link(echo_sup, []),
unlink(Pid).
他のヒント
お勧めします デバッグ/トレース 何が起こっているのかを確認するためのアプリケーション。 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の動作は、コールバック終端/2が定義およびエクスポートされることを期待しています;）
アップデート： の定義の後 終了/2 クラッシュの理由は、痕跡から明らかです。これが見た目です：
（75）クラッシュ/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
スーパーバイザー（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()
まあ、それは試みます...それが起こるので、フィリッポが言ったこと...
一方、コンソール内からすべての再起動戦略をテストする必要がある場合は、コンソールを使用してスーパーバイザーを起動し、PMANにチェックしてプロセスを殺します。
PMANは同じスーパーバイザーPIDでリフレッシュすることがわかりますが、再起動戦略で設定したMAXRとMAXTに応じて、異なる労働者PIDがあります。
