Gen_Server行为

本章要与 gen_server(3) 结合起来阅读,它详细描述了所有的接口函数和回调函数。

客户端-服务器端原理

客户端-服务器端(C/S)模型的特点是:一个中央服务器和任意数量的客户端。C/S模型通常用于资源管理操作,其中一些不同的客户端要共享一个公共资源。服务器负责管理这些资源。

_images/clientserver.gif

例子

概述中,已经有一个用普通Erlang方式写的简单服务器。这个服务器可以用 gen_server 进行重写,结果产生这个回调模块:

-module(ch3).
-behaviour(gen_server).

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

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

alloc() ->
    gen_server:call(ch3, alloc).

free(Ch) ->
    gen_server:cast(ch3, {free, Ch}).

init(_Args) ->
    {ok, channels()}.

handle_call(alloc, _From, Chs) ->
    {Ch, Chs2} = alloc(Chs),
    {reply, Ch, Chs2}.

handle_cast({free, Ch}, Chs) ->
    Chs2 = free(Ch, Chs),
    {noreply, Chs2}.

在下一节中会解释这段代码。

启动一个Gen_Server

在前一节中的代码,可以通过 ch3:start_link() 来启动这个gen_server:

start_link() ->
    gen_server:start_link({local, ch3}, ch3, [], []) => {ok, Pid}

start_link 调用了函数 gen_server:start_link/4 。这个函数产生了一个新进程一个gen_server并联接到其上。

  • 第一个参数 {local, ch3} 指定了名称。在这种情况下,gen_srever将在本地被注册为 ch3 。 如果忽略名称,那么这个gen_server就不会被注册了,这时就必须使用其pid。名称也可以以 {global, Name} 的形式给出,这种情况下gen_server则会使用 global:register_name/2 来进行注册。
  • 第二个参数, ch3, 则是回调模块的名字,也就是回调函数所放的那个模块。 在这里,接口函数( start_link, allocfree )和回调函数(init, handle_callhandle_cast)。一般来说这是好的编程实践,将代表同一个进程的代码包含在同一个模块中。
  • 第三个参数,[], 这个值将被原封不动传递给回调函数 init。在这里,init无须任何输入数据将忽略这个参数。
  • 第四个参数,[],是参数的列表。具体的参数请查看 gen_server(3)

在注册名称成功后,新的gen_server进程会调用回调函数 ch3:init([]).init返回 {ok, State} ,其中 State 是gen_server的内部状态。在这里,状态就是可用的频道。

init(_Args) ->
     {ok, channels()}.

注意 gen_server:start_link 是同步的。只有等到gen_server被完全初始化并准备接受请求之后才会返回。

如果gen_server是某棵监督树的一部分,即gen_server是由一个督程启动的,那么必须使用 gen_server:start_link 。还有另外一个函数 gen_server:start 用于启动一个独立的gen_server,即不是某棵监督树一部分的一个gen_server。

同步调用——Call

同步请求 alloc() 是使用 gen_server:call/2 实现的:

alloc() ->
    gen_server:call(ch3, alloc).

ch3 是gen_server的名字,必须和启动时的名字一样。 alloc 是实际的请求。

请求以消息的形式发送给这个gen_server。当收到了请求之后,gen_server调用 handle_call(Request, From, State) ,它应返回一个元组 {reply, Reply, State1}Reply是需要回馈给客户端的答复,同时 State1 是gen_server的状态的新值。

handle_call(alloc, _From, Chs) ->
     {Ch, Chs2} = alloc(Chs),
     {reply, Ch, Chs2}.

在这里,应答是分配了的频道 Ch 然后gen_server将等待新的请求,并且现在保持了一个最新的可用频道的列表。

异步请求——Cast

异步请求 free(ch) 使用 gen_server:cast/2 实现:

free(Ch) ->
    gen_server:cast(ch3, {free, Chr}).

ch3 是gen_server的名称。 {free, Ch} 是实际的请求。

请求被装在一个消息中发给gen_server的 cast ,这调用了 free ,然后返回了 ok

当gen_server收到请求之后,它会调用 handle_cast(Request, Stats) ,会返回一个元组 {noreply, State1}State1 是gen_server状态的新值。

handle_cast({free, Ch}, Chs) ->
    Chs2 = free(Ch, Chs),
    {noreply, Chs2}.

在这里,新的状态便是更新过的可用频道列表 Chs2 。gen_server现在又可以接受新的请求了。

停止

在监督树中

若gen_server是某个监督树的一部分,则无需停止函数。它的督程会自动终止它。它的具体做法由督程中设置的 关闭策略 定义。

如果在终止之前需要进行一些清理工作,那么关闭策略必须是一个超时值,同时gen_server必须在 init 函数中设置为捕获退出信号。当gen_server被要求关闭时,它就会调用回调函数 terminate(shutdown, State)

init(Args) ->
    ...,
    process_flag(trap_exit, true),
    ...,
    {ok, State}.

...

terminate(shutdown, State) ->
    ..code for cleaning up here..
    ok.

独立Gen_Server

如果gen_server并非某个监督树的一部分,那么可以用一个停止函数,例如:

...
export([stop/0]).
...

stop() ->
    gen_server:cast(ch3, stop).
...

handle_cast(stop, State) ->
    {stop, normal, State};
handle_cast({free, Ch}, State) ->
    ....

...

terminate(normal, State) ->
    ok.

回调函数处理 stop 请求并返回一个元组 {stop, normal, State1} ,其中 normal 表示这是一个正常的终止, State1 是gen_server状态的新值。这会引发gen_server调用 terminate(normal, State1) 来优雅地终止。

处理其他消息

如果要想gen_server还能处理请求之外的消息,必须实现回调函数 handle_info(Info, State) 来处理他们。例如,如果gen_server联结到其它进程(非督程)上并捕获退出信号,那么其它的消息就有退出消息。

handle_info({'EXIT', Pid, Reason}, State) ->
    ..code to handle exits here..
    {noreply, State1}.