OTP gen_server
首先清楚gen_server提供C/S架构中的服务端的实现,即定义了自己一套规范的服务器框架。
在以上基础上,具体学习下gen_server的实现过程。
先是定义模块的行为模式为gen_server
- -module(lqg).
- -behaviour(gen_server).
- .
- -module(lqg).
- -behaviour(gen_server).
- .
- -module(lqg).
- -behaviour(gen_server).
- .
- -export([init/1, handle_call/3, handle_cast/2, handle_info/2, terminate/2, code_change/3]).
- -export([init/1, handle_call/3, handle_cast/2, handle_info/2, terminate/2, code_change/3]).
- -export([init/1, handle_call/3, handle_cast/2, handle_info/2, terminate/2, code_change/3]).
- -export([start_link/0]).
- -export([start_link/0]).
- -export([start_link/0]).
- -export([alloc/0,free/1]).
- -export([alloc/0,free/1]).
- -export([alloc/0,free/1]).
接下来就是实现上面定义的函数:
- start_link() ->
- gen_server:start_link({local, lqg}, lqg, [], []).
- start_link() ->
- gen_server:start_link({local, lqg}, lqg, [], []).
- start_link() ->
- gen_server:start_link({local, lqg}, lqg, [], []).
对于start_link,
第一个参数为创建一个名为Name的server,现在的情况为在gen_srever将在本地被注册为lqg
第二个参数lqg, 则是回调模块的名字,也就是回调函数所放的那个模块。在这里,接口函数( start_link)和回调函数(init, handle_call 和 handle_cast)。一般来说这是好的编程实践,将代表同一个进程的代码包含在同一个模块中。
第三个参数[], 这个值将被原封不动传递给回调函数init。在这里,init无须任何输入数据将忽略这个参数.
第四个参数[],是参数的列表。
这里要注意的是:
1.gen_server:start_link 是同步的。只有等到gen_server被完全初始化并准备接受请求之后才会返回
2.如果gen_server是某棵监督树的一部分,即gen_server是由一个督程启动的,那么必须使用
gen_server:start_link 。还有另外一个函数 gen_server:start 用于启动一个独立的gen_server,即不是某棵监督树一部分的一个gen_server
- init(_Args) ->
- {ok, channels()}.
- init(_Args) ->
- {ok, channels()}.
- init(_Args) ->
- {ok, channels()}.
在注册名称成功后,新的gen_server进程会调用回调函数lqg:init([])
init返回{ok, State} ,其中State 是gen_server的内部状态。在这里,状态就是可用的频道channels。
- alloc() ->
- gen_server:call(lqg,alloc).
- alloc() ->
- gen_server:call(lqg,alloc).
- alloc() ->
- gen_server:call(lqg,alloc).
同步请求alloc() 用gen_server:call/2 实现.lqg 是gen_server的名字,必须和启动时的名字一样。alloc 是实际的请求
此时,请求以消息的形式发送给这个gen_server。当收到了请求之后,gen_server调用handle_call(Request,From, State) ,它应返回一个元组 {reply, Reply, State1}。Reply是需要回馈给客户端的答复,同时State1 是gen_server的状态的新值。
- handle_call(_Request, _From, State) ->
- {Ch, State2} = alloc(State),
- {reply, Ch, State2}。
- handle_call(_Request, _From, State) ->
- {Ch, State2} = alloc(State),
- {reply, Ch, State2}。
- handle_call(_Request, _From, State) ->
- {Ch, State2} = alloc(State),
- {reply, Ch, State2}。
在这里,应答是分配了的频道Ch 然后gen_server将等待新的请求,并且现在保持了一个最新的可用频道的列表。
- handle_cast({free,Ch},Chs) ->
- Chs2 = free(Ch,Chs),
- {noreply, Chs2}.
- handle_cast({free,Ch},Chs) ->
- Chs2 = free(Ch,Chs),
- {noreply, Chs2}.
- handle_cast({free,Ch},Chs) ->
- Chs2 = free(Ch,Chs),
- {noreply, Chs2}.
在这里,新的状态便是更新过的可用频道列表Chs2 。gen_server现在又可以接受新的请求了。
- free(Ch) ->
- gen_server:cast(lqg,{free,Ch}).
- free(Ch) ->
- gen_server:cast(lqg,{free,Ch}).
- free(Ch) ->
- gen_server:cast(lqg,{free,Ch}).
异步请求free(ch) 使用 gen_server:cast/2 实现
lqg 是gen_server的名称。{free, Ch} 是实际的请求。
请求被装在一个消息中发给gen_server的cast ,这调用了 free ,然后返回了 ok 。当gen_server收到请求之后,它会调用handle_cast(Request, Stats) ,会返回一个元组{noreply, State1} 。 State1 是gen_server状态的新值。
- handle_info(_Info, State) ->
- {noreply, State}.
- handle_info(_Info, State) ->
- {noreply, State}.
- handle_info(_Info, State) ->
- {noreply, State}.
用来处理请求之外的信息。
- terminate(_Reason, _State) ->
- ok.
- terminate(_Reason, _State) ->
- ok.
- terminate(_Reason, _State) ->
- ok.
终止函数,终止正在运行的进程
若gen_server是某个监督树的一部分,则无需停止函数。它的督程会自动终止它;
如果gen_server并非某个监督树的一部分,那么可以用一个停止函数;
如果在终止之前需要进行一些清理工作,那么关闭策略必须是一个超时值,同时gen_server必须在init 函数中设置为捕获退出信号。当gen_server被要求关闭时,它就会调用回调函数terminate(shutdown, State)。
- code_change(_OldVsn, State, _Extra) ->
- {ok, State}.
- code_change(_OldVsn, State, _Extra) ->
- {ok, State}.
- code_change(_OldVsn, State, _Extra) ->
- {ok, State}.
正如其名,此函数用来进行代码版本替换。是server热部署或代码升级时做callback修改进程状态
_OldVsn:旧版本 State:gen_server的内部状态 _Extra:原封不动的传递过来的更新指令
如果更新成功,返回{ok,State2},如果失败返回{error,Reason},并回滚到旧版本。