理解Erlang/OTP - Application

1>application:start(log4erl).

我们就从这一行命令开始说起吧,回车之后可以把log4erl应用程序启动起来.Erlang/OTP中的能完成特定功能集合的组件被称为application.,application是Erlang代码和功能组织的形式之一([Erlang0015]ErlangOTP设计原则).application的设计目的是通过运行一个或者多个进程来完成一定功能.为了能够管理这些进程的生命周期,需要通过supervisor进行管理.

application:start(log4erl).实际上是执行了application:start(log4erl,temporary).第二个参数表示应用程序的启动类型(Start_Type).启动类型还可以是permanenttransient,三种启动类型的区别是:如果Start_Type==permanent应用程序终止之后所有其它的应用程序和运行时系统都会死掉;如果Start_Type==transient应用程序终止的原因是normal,这个消息会报出来但是其它应用程序不会重启,如果应用程序终止的原因不是normal,其他应用程序和运行时也会跟着死掉;如果Start_Type==temporary应用程序死掉会报错误出来但是其它应用程序不受影响.注意实践过程中很少使用transient参数,因为进程树崩掉的时候,进程正常退出原因是shutdown不是normal,这个我之前的文章提到过:[Erlang0017]Erlang/OTP基础模块 proc_lib无论使用哪种类型启动,直接调用stop方法关闭application是不会影响到其它应用程序的.

之前遇到过一个比较严重的问题导致应用崩掉,当时就有同事问为什么erlang的进程还在,或者说运行时还活着?其实就是因为我们启动应用程序的时候默认使用了temporary;

application配置文件
application的配置文件(Application ResourceFile)基本上确定了application的格局.如果启动失败了就要检查一下配置文件了,配置文件命名要求必须与application命名一致,即必须要有一个log4erl.app文件:

log4erl
{application, log4erl,[{description, "Logger for erlang in the spirit of Log4J"},{vsn, "0.9.0"},{modules, [console_appender,  %%该配置节可以留空 []     dummy_appender,     email_msg,     error_logger_log4erl_h,     % ................省略部分模块     xml_appender]},{registered,[log4erl]}, %%这个应用程序将使用的注册名{applications, [kernel,stdlib]}, %%注意这个配置节是指定当前应用程序依赖哪些应用程序,类似Windows服务的依赖关系{mod, {log4erl,[]}},

 %键 mod 定义了回调模块以及应用的启动参数，在这个例子中相应是 log4erl 和 []。
    这表示应用启动的时候会调用：log4erl:start(normal, [])
　　 而当应用被停止的时候会调用：log4erl:stop([])


{env,[{key,value},{k2,v2}]}, %env配置节,里面以key-value的形式组织配置数据.可以用application:get_env/2读取.{start_phases, []}]}.

application启动过程

Erlang运行时启动时,applicationcontroller进程会随着Kernel应用程序启动,在erlangshell中可以通过whereis(application_controller)找到它.应用程序相关的操作都由它来协调完成,它通过application模块暴露出来的接口来实现应用程序的加载,卸载,启动,停止等等.

应用程序启动之前首先会进行加载load,如果没有没有加载applicationcontroller会首先执行load/1.加载完成猴子偶applicationcontroller会检查application配置文件中的applications配置节中所列出的应用程序都已经在运行.如果有依赖项还没有启动,就抛出{error,{not_started,App}}的错误.

完成依赖项检查之后applicationcontroller会为application创建application master.applicationmaster会成为该application中所有进程的Group Leader.(groupleader决定了输出重定向的位置,参见这个问题:如何从A节点调用B节点的一个函数,结果输出到B节点呢?).通过配置文件的mod配置节,applicationmaster知道要调用回调函数log4erl:start/2.

application behavior有两个回调函数需要实现 start/2stop/1分别来指定应用程序如何启动,如何停止.启动application的时候调用start方法通过启动顶层的supervisor来创建进程树.log4erl实现了application的behavior,它的start方法也是中规中矩的启动了顶层superior:

?

start(_Type, []) -> log4erl_sup:start_link(?DEFAULT_LOGGER).%%这里?DEFAULT_LOGGER宏的值为default_logger

start对返回值是有规格要求的:start(StartType, StartArgs) ->{ok, Pid} | {ok, Pid, State}

当返回结果不一致的时候应用程序自然启动失败,初学的时候最常见的错误就是加一下输出看看是不是启动了,结果就悲剧了.比如下面的代码,start函数的返回值是最后一个表达式io:format的值,而这个结果是ok,不符合application对start回调函数结果的要求.

start(Startype,Arg) ->
    demo_sup:start_link(),
    io:format("demo app start").

application停止过程

要停止application,applicationmaster首先会调用Module:prep_stop/1(如果存在),然后告知顶层的supervisor关闭(shutdown),shutdown的过程:整个监控树的所有进程和包含的应用程序按照启动的逆序终止.shutdown完成之后,applicationmaster调用Module:stop/1.最后applicationmaster自己终止掉.application停止了,但是依然处于已加载的状态(loaded).

%log4erl stop
stop(_State) ->
    log_filter_codegen:reset(),
    ok.

---

启动appmon:start()获得更为直观的印象.下面是log4erl应用程序进程的组织方式,log4erl_sup是log4erlapplication的顶层supervisor,上面的<0.42.0>和<0.43.0>按照上文的介绍应该是applicationmaster进程,我们通过取进程信息来验证:

4>erlang:process_info(pid(0,42,0)).
[{current_function,{ application_master,main_loop,2}},
{initial_call,{proc_lib,init_p,5}},
{status,waiting},
{message_queue_len,0},
{messages,[]},
{links,[<0.6.0>,<0.43.0>]},
{dictionary,[{'$ancestors',[<0.41.0>]},
{'$initial_call',{application_master,init,4}}]},
{trap_exit,true},
{error_handler,error_handler},
{priority,normal},
{group_leader,<0.42.0>},
{total_heap_size,233},
{heap_size,233},
{stack_size,6},
{reductions,23},
{garbage_collection,[{min_bin_vheap_size,46368},
{min_heap_size,233},
{fullsweep_after,65535},
{minor_gcs,0}]},
{suspending,[]}]

5>erlang:process_info(pid(0,43,0)).
[{current_function,{application_master,loop_it,4}},
{initial_call,{application_master,start_it,4}},
{status,waiting},
{message_queue_len,0},
{messages,[]},
{links,[<0.42.0>,<0.44.0>]},
{dictionary,[]},
{trap_exit,true},
{error_handler,error_handler},
{priority,normal},
{group_leader,<0.42.0>},
{total_heap_size,233},
{heap_size,233},
{stack_size,5},
{reductions,65},
{garbage_collection,[{min_bin_vheap_size,46368},
{min_heap_size,233},
{fullsweep_after,65535},
{minor_gcs,0}]},
{suspending,[]}]

6>application:stop(log4erl).

ok

=INFOREPORT==== 27-Dec-2011::20:29:47 ===
application:log4erl
exited:stopped
type:temporary
7>erlang:process_info(pid(0,43,0)).
undefined
8>erlang:process_info(pid(0,42,0)).
undefined
9>

今天先到这里,晚安!