.. _applications:
应用
====
本章应与 :manpage:`app(4)` 和 :manpage:`application(3)` 。
应用的概念
----------
当我们写了实现特定功能的代码之后,我们可能想将代码转成一个 **应用** (application),这是可以作为一个单元启动和停止的组建,同时它也可以在其他系统中被重用。
我们要创建一个 `应用回调模块`_ ,其中描述了该应用应该如何被启动和停止。
然后,需要一个\ **应用规格**\ ,它被放在一个 `应用资源文件`_ 。我们还指定该应用由哪些模块组成,以及各个回掉模块的名字。
如果我们使用 ``systools`` ——Erlang/OTP用于打包的代码(参见 :ref:`发布 ` ),每个应用的代码都可以按照预定的 `目录结构`_ 放在单独的目录中。
应用回调模块
------------
如何启动和停止应用的代码,即监督树,由以下两个回掉函数来描述:
.. code-block:: erlang
start(StartType, StartArgs) -> {ok, Pid} | {ok, Pid, State}
stop(State)
当要通过启动顶层督程来创建监督树的时候,会调用 ``start`` 。它要返回顶层督程的pid和一个选项值 ``State`` ,默认为 []。这个值会原样传递给 ``stop`` 。
``StartType`` 通常是原子 ``normal`` 。只有在接管或故障转移中才会有其他值,参见 :ref:`分布式应用 ` 。 ``StartArgs`` 由 `应用资源文件`_ 中的键 ``mod`` 来定义。
在应用被停止\ **之后**\ 会调用 ``stop/1`` 来进行必须的清除工作。注意应用实际的停止过程,也就是监督树的关闭,是按照 `启动和停止应用`_ 中所描述的方式自动处理的。
以下是一个例子,将来自 :ref:`督程 ` 一章中的督程打包为一个应用回调模块:
.. code-block:: erlang
-module(ch_app).
-behaviour(application).
-export([start/2, stop/1]).
start(_Type, _Args) ->
ch_sup:start_link().
stop(_State) ->
ok.
一个库应用——不能被启动或者停止——则无须任何应用回调模块。
应用资源文件
------------
我们通过创建一个放在\ **应用资源文件**\ ——简称 ``.app`` 文件——中的\ **应用规格**\来定义一个应用:
.. code-block:: erlang
{application, Application, [Opt1,...,OptN]}.
``Application`` 是一个代表应用的名称的原子。文件必须被命名成 ``Application.app`` 。
每一个 ``Opt`` 都是一个定义了应用某种特性的元组 ``{Key, Value}`` 。所有的键都是可选。忽略的键会使用默认的值。
例如,用于库应用 ``libapp`` 的最小化的 ``.app`` 文件的内容为:
.. code-block:: erlang
{application, libapp, []}.
对于像 ``ch_app`` 这样的监督树应用的最小化 ``.app`` 文件的内容为:
.. code-block:: erlang
{application, ch_app,
[{mod, {ch_app,[]}}]}.
键 ``mod`` 定义了回调模块以及应用的启动参数,在这个例子中相应是 ``ch_app`` 和 []。这表示应用启动的时候会调用:
.. code-block:: erlang
ch_app:start(normal, [])
而当应用被停止的时候会调用:
.. code-block:: erlang
ch_app:stop([])
当使用 ``systools`` 时,Erlang/OTP工具的打包代码(参见 :ref:`发布 ` ),键 ``description``\ 、\ ``vsn``\ 、\ ``modules``\ 、\ ``registered`` 和 ``applications`` 则应该指定为:
.. code-block:: erlang
{application, ch_app,
[{description, "Channel allocator"},
{vsn, "1"},
{modules, [ch_app, ch_sup, ch3]},
{registered, [ch3]},
{applications, [kernel, stdlib, sasl]},
{mod, {ch_app,[]}}
]}.
``description``
简短描述,字符串。默认为 ""。
``vsn``
版本号,字符串。默认为""。
``modules``
由该应用\ **引入**\ 的所有模块。当生成启动脚本和tar文件时, ``systools`` 将用到这个列表。一个模块必须被定义于且仅于一个应用。默认为[]。
``registered``
应用中所有注册进程的名称。 ``systools`` 使用这个列表来探测在应用之间是否有名称冲突。默认为 []。
``applications``
所有在此应用之前必须启动的应用。 ``systools`` 使用该列表来生成正确的启动脚本。默认为 [],但是注意任何应用都要至少依赖于 ``kernel`` 和 ``stdlib`` 。
应用资源文件的语法和内容在 ``app(4)`` 中有详细的描述。
.. _app_dir:
目录结构
--------
当使用 ``systools`` 对代码进行打包的时候,每个应用的代码都放在单独的目录中 ``lib/Application-Vsn`` ,其中 ``Vsn`` 是版本号。
即便没有用到 ``systools`` ,最好也要了解它,因为Erlang/OTP其自身是按照OTP原则进行打包的所以才有了这个目录结构。如果存在一个应用的多个版本,那么代码服务器(见 ``code(3)`` )会自动使用来自目录中版本号最高的代码。
应用目录结构当然也可以用于开发环境。版本号是可以忽略的。
应用目录有以下子目录:
* ``src``
* ``ebin``
* ``priv``
* ``include``
``src``
包含Erlang源代码
``ebin``
包含Erlang目标代码—— ``beam`` 文件。 ``.app`` 文件也放在这里。
``priv``
用于应用专属文件。例如,C执行程序就放在这里。应该使用函数 ``code:priv_dir/1`` 来访问这个目录。
``include``
用于包含文件。
应用控制器
----------
当启动了Erlang运行时系统,作为Kernel应用的一些进程会被启动。其中一个进程是\ **应用控制器**\ 进程,注册为 ``application_controller`` 。
所有对应用的操作都由应用控制器来协调。它通过模块 ``application`` 里的函数来暴露接口, 请参考 ``application(3)`` 。尤其要了解,应用可以被加载、卸载、启动和停止。
加载和卸载应用
~~~~~~~~~~~~~~
在能启动一个应用之前,首先它必须被\ **加载**\ 。应用控制器会读取在 ``.app`` 中的信息并存起来。
::
1> application:load(ch_app).
ok
2> application:loaded_applications().
[{kernel,"ERTS CXC 138 10","2.8.1.3"},
{stdlib,"ERTS CXC 138 10","1.11.4.3"},
{ch_app,"Channel allocator","1"}]
被停止的或者从未启动过的应用,可以被卸载。该应用相关的信息会从应用控制器的内部数据库中删除。
::
3> application:unload(ch_app).
ok
4> application:loaded_applications().
[{kernel,"ERTS CXC 138 10","2.8.1.3"},
{stdlib,"ERTS CXC 138 10","1.11.4.3"}]
.. note::
加载/卸载应用并不会加载/卸载该应用所使用的代码。代码加载是按照一般的方式进行的。
启动和停止应用
--------------
启动应用要调用:
::
5> application:start(ch_app).
ok
6> application:which_applications().
[{kernel,"ERTS CXC 138 10","2.8.1.3"},
{stdlib,"ERTS CXC 138 10","1.11.4.3"},
{ch_app,"Channel allocator","1"}]
如果应用尚未被加载,那么应用控制器会首先使用 ``application:load/1`` 加载它。它会检查 ``applications`` 键对应的值,来确保要在该应用运行之前启动的应用都启动了。
然后应用控制器为应用创建一个\ **应用主程序**\ 。它是该应用中所有进程的队长。应用主程序通过调用应用模块中的回调函数 ``start/2`` 启动应用(会给出由在 ``.app`` 文件中的 ``mod`` 建定义的启动参数)。
停止一个应用,但不卸载,可调用:
.. code-block:: erlang
7> application:stop(ch_app).
ok
配置应用
--------
可以使用\ **配置参数**\ 来对应用进行配置。它们在 ``.app`` 文件中是一个由键 ``env`` 指定的 ``{Par, Val}`` 元组列表。
.. code-block:: erlang
{application, ch_app,
[{description, "Channel allocator"},
{vsn, "1"},
{modules, [ch_app, ch_sup, ch3]},
{registered, [ch3]},
{applications, [kernel, stdlib, sasl]},
{mod, {ch_app,[]}},
{env, [{file, "/usr/local/log"}]}
]}.
``Par`` 必须是一个原子, ``Val`` 可以是任意值。应用可以通过调用 ``application:get_env(App, Par)`` 或一些其他类似函数来获取配置参数的值,参见 ``application(3)`` 。
例如:
.. code-block:: erlang
% erl
Erlang (BEAM) emulator version 5.2.3.6 [hipe] [threads:0]
Eshell V5.2.3.6 (abort with ^G)
1> application:start(ch_app).
ok
2> application:get_env(ch_app, file).
{ok,"/usr/local/log"}
``.app`` 文件中的值可以被\ **系统配置文件**\ 中的值所覆盖。系统配置文件是一个包含相关应用的配置参数的文件。
.. code-block:: erlang
[{Application1, [{Par11,Val11},...]},
...,
{ApplicationN, [{ParN1,ValN1},...]}].
系统配置要被命名为 ``Name.config`` 并且要使用命令行参数 ``-config Name`` 来启动Erlang。更多信息参见 ``config(4)`` 。
例如:创建一个文件 ``test.config`` 包含一下内容:
.. code-block:: erlang
[{ch_app, [{file, "testlog"}]}].
``file`` 的值将覆盖在 ``.app`` 文件中所定义的 ``file`` 的值:
.. code-block:: erlang
% erl -config test
Erlang (BEAM) emulator version 5.2.3.6 [hipe] [threads:0]
Eshell V5.2.3.6 (abort with ^G)
1> application:start(ch_app).
ok
2> application:get_env(ch_app, file).
{ok,"testlog"}
如果使用了 :ref:`发布处理 ` ,那么只能使用一个系统配置文件同时该文件必须叫做 ``sys.config`` 。
在 ``.app`` 文件中的值,也包括系统配置文件中的值,都可以直接在命令行中被覆盖:
::
% erl -ApplName Par1 Val1 ... ParN ValN
例如:
::
% erl -ch_app file '"testlog"'
Erlang (BEAM) emulator version 5.2.3.6 [hipe] [threads:0]
Eshell V5.2.3.6 (abort with ^G)
1> application:start(ch_app).
ok
2> application:get_env(ch_app, file).
{ok,"testlog"}
应用启动类型
------------
当启动应用的时候要定义一个\ **启动类型**\ 。
.. code-block:: erlang
application:start(Application, Type)
``application:start(Application)`` 和调用 ``application:start(Application, temporary)`` 是一样的。类型还可以是 ``permanent`` 持久的或者 ``transient`` 过渡的:
* 如果一个持久应用终止了,所有其他的应用以及运行时系统都会被终止。
* 如果一个过渡应用以 ``normal`` 理由终止了,那么这个信息会被上报但是不会终止其他应用。如果一个过渡应用异常终止了——即以非 ``normal`` 的理由终止了——那么其他应用以及运行时环境也会被终止。
* 如果一个临时(temporary)应用终止了,那么会报告该信息但不会终止其他应用。
我们总是可以通过明确调用 ``application:stop/1`` 来停止一个应用。无论是什么模式,都不会影响其他应用。
注意在实践中很少使用过渡模式,因为当一个监督树终止了,退出理由会被设置为 ``shutdown`` ,而非 ``normal`` 。