Erlang OTP学习（1）gen_fsm

1. 有限状态机

 

有限状态机可以用下面这个公式来表达

State(S) x Event(E) -> Actions(A), State(S')

表示的就是在S状态时如果有事件E发生，那么执行动作A后把状态调整到S’。理解很好理解，如果能够熟练应用必须得下苦功，多练习。

 

start_link跟gen-sever 类似，启动后进入init初始化，结果是 ok,StateName,State. 此例子中是初始化密码门的原始密码，置输入密码为空

2. 一个例子

 

erlang手册中用这个例子来解释的：开锁问题，有一个密码锁的门，它就可以看作一个状态机，初始状态门是锁着的，任何时候有人按一个密码键就会产生一个事件，这个键值和前面的按键组合后与密码相比较，看是否正确，如果输入的密码顺序是对的，那么将门打开10秒，如果输入密码不完全，则等待下次按钮按下，如果输入密码顺序是错的，则重新开始等待按键按下。

首先了解一些基础

接下来看代码 注释都在其中

 1 %% gen_fsm 测试
 2 -module(code_lock).  
 3 -behaviour(gen_fsm).  
 4   
 5 -export([start_link/1]).  
 6 -export([button/1]).  
 7   
 8 -export([init/1, locked/2, open/2, stop/0]).  
 9 -export([code_change/4, handle_event/3, handle_info/3, handle_sync_event/4, terminate/3]).  
10   
11 %% 如果进程注册成功，则新的gen_fsm进程调用code_lock:init(Code)，
12 %% 返回{ok, StateName, StateData}。StateName是gen_fsm的初始状态，在这里返回的是locked，表示初始状态下门是锁着的，
13 %% 此处StateName(locked)也表示当调用gen_fsm:send_event/2时的回调函数
14 %% StateData是gen_fsm的内部状态，在这里Statedata是当前的按键顺序（初始时为空）和正确的锁代码，是个列表
15 -spec(start_link(Code::string()) -> {ok,pid()} | ignore | {error,term()}).  
16 % start_link调用gen_fsm:start_link/4，启动一个新的gen_fsm进程并连接
17 start_link(Code) ->
18     % 第一个参数{local, code_lock}指定名字，在本地注册为code_lock
19     % 第二个参数code_lock是回调模块
20     % 第三个参数Code是传递给回调模块init函数的参数，就是密码锁的密码
21     % 第四个[]是状态机的选项
22     gen_fsm:start_link({local, code_lock}, code_lock, Code, []).  
23 
24 init(LockCode) ->  
25     io:format("init: ~p~n", [LockCode]),    
26     {ok, locked, {[], LockCode}}.  
27 
28 %% 使用gen_fsm:send_event/2来实现按建事件的通知
29 %% gen_fsm:send_event -> Module:StateName/2
30 %% Module为设置的code_lock回调模块，StateName为回调函数，即code_lock:locked
31 -spec(button(Digit::string()) -> ok).  
32 button(Digit) ->  
33     gen_fsm:send_event(code_lock, {button, Digit}).  
34   
35 locked({button, Digit}, {SoFar, Code}) ->  
36     io:format("buttion: ~p, So far: ~p, Code: ~p~n", [Digit, SoFar, Code]),  
37     % 将输入的值连接起来
38     InputDigits = lists:append(SoFar, Digit),  
39     case InputDigits of  
40         Code ->     % 密码输入正确  
41             do_unlock(),    % 解锁时要执行的代码可以放在do_unlock()方法中 
42             {next_state, open, {[], Code}, 10000};      % 解锁后状态为open，也表示超时10秒后调用open函数
43         Incomplete when length(Incomplete)<length(Code) ->  % 输入的密码长度小于真实密码的长度（即输入未完成） 
44             {next_state, locked, {Incomplete, Code}, 5000}; % 超时5秒后调用locked(timeout,{SoFar, Code})方法 
45         Wrong ->    % 密码输入错误 
46             io:format("wrong passwd: ~p~n", [Wrong]),  
47             {next_state, locked, {[], Code}}    % 输入错误则直接清空已经输入的密码
48     end;  
49 locked(timeout, {_SoFar, Code}) ->  
50     io:format("timout when waiting button inputting, clean the input, button again plz~n"),  
51     {next_state, locked, {[], Code}}.   % 超时清空已经输入的密码
52   
53 open(timeout, State) ->  
54     do_lock(),  % 上锁时要执行的代码可以放在do_unlock()方法中
55     {next_state, locked, State}.    % 解锁超时后则将状态该为上锁状态 
56   
57 code_change(_OldVsn, StateName, Data, _Extra) ->  
58     {ok, StateName, Data}.  
59   
60 terminate(normal, _StateName, _Data) ->  
61     ok.  
62 
63 %% gen_fsm:send_all_state_event(CallModule, Event) -> CallModule:handle_event(Event, StateName, Data)
64 %% gen_fsm:send_all_state_event(code_lock, stop) -> code_lock:handle_event(stop, StateName, Date)
65 stop() ->  
66     gen_fsm:send_all_state_event(code_lock, stop).
67 
68 %% 有时候一个事件可以到达gen_fsm进程的任何状态，
69 %% 取代用gen_fsm:send_event/2发送消息和写一段每个状态函数处理事件的代码，
70 %% 这个消息我们可以用gen_fsm:send_all_state_event/2 发送，用Module:handle_event/3处理
71 handle_event(Event, StateName, Data) ->  
72     io:format("handle_event... ~n"),  
73     unexpected(Event, StateName),  
74     {next_state, StateName, Data}.  
75 
76 %% gen_fsm:sync_send_all_state_event -> Module:handle_sync_event/4
77 handle_sync_event(Event, From, StateName, Data) ->  
78     io:format("handle_sync_event, for process: ~p... ~n", [From]),  
79     unexpected(Event, StateName),  
80     {next_state, StateName, Data}.  
81   
82 handle_info(Info, StateName, Data) ->  
83     io:format("handle_info...~n"),  
84     unexpected(Info, StateName),  
85     {next_state, StateName, Data}.  
86   
87   
88 %% Unexpected allows to log unexpected messages  
89 unexpected(Msg, State) ->  
90     io:format("~p RECEIVED UNKNOWN EVENT: ~p, while FSM process in state: ~p~n",  
91               [self(), Msg, State]).  
92
93 %% actions  
94 do_unlock() ->  
95     io:format("passwd is right, open the DOOR.~n").  
96   
97 do_lock() ->  
98     io:format("over, close the DOOR.~n"). 

 

测试结果：

 

本人查找的一些资料加上个人的理解，如果有错误，请务必指出来，十分感激，谢谢...

转载于:https://www.cnblogs.com/huangxiaoyi/p/5786082.html