http://www.hoterran.info/otp-gen_server-sourcecode

在阅读erlang的otp源码gen_server.erl的时候,一直想写点什么,用一种最好的方式表达出来,最终却总是没法表达清楚,困惑之余看到这篇文章,作者用图解的方式,非常清晰明了的表达了我一直想表达的东西,下面是原文链接:

http://www.hoterran.info/otp-gen_server-sourcecode

感谢原创作者热心的分享。

阅读OTP源码可以帮助你写出更好、更健壮的erlang程序.下面一系列文章就gen_server、gen_fsm、supervisor的源码进行分析, 从erlang级别解释其工作原理, 所有的完整流程图在这里, 第一次写erlang方面博文有错误请帮忙指出.

为什么从gen_server它开始, 因为gen_fsm和它很类似, 而supervsisor本身是一个gen_server.

  • init

图示为一个叫Mod的模块, 它是一个gen_server程序, 绿色方格为调用进程(客户进程), 黄色方格为spawn出的gen进程(服务进程). 不同的泳道表示函数所隶属的模块, 通过这个图可以清晰的看出各个模块至之间的相互调用, 图是使用gliffy所画。

从左上角的start(Args)开始,gen_server的程序Mod的开始函数都会调用gen_server:start(或者start_link)来创建一个服务进程,gen_server:start内部实际上调用的是gen模块。

gen模块是很多behaviour的基础,对于gen进程的启动和同步操作进行了封装.gen模块使用proc_lib:start来更加安全的spawn出gen进程,然后阻塞在sync_wait这个函数里,等待gen进程的回应.

spawn出的gen进程会执行到Mod模块的init函数。然后会把{ok, Pid}发送给调用进程告知gen进程已经完成准备工作,然后就进入了自己的循环函数loop中,等待调用进程的下次消息。

调用进程接收到{ok,Pid}之后从阻塞里退出并返回。

整个过程简单,但是要清楚哪个函数是被调用进程或者gen进程所执行。

另外要注意start函数的参数是Args,而init函数的入参是[Args],这个很容易出错的地方。

可以调用start/4或者start_link/4给启动的gen进程命名,函数name_register实际调用register函数.

  1. init_it(GenMod, Starter, Parent, Name, Mod, Args, Options) ->
  2. case name_register(Name) of
  3. true ->
  4. init_it2(GenMod, Starter, Parent, Name, Mod, Args, Options);
  5. ....

    cast

    调用进程向gen进程发送cast消息,消息发送之后调用进程并不等待gen进程的消息回馈.

    gen进程从loop函数处接受到Request消息,模式匹配后一路执行到Mod:handle_cast函数,处理消息之后,gen进程继续递归执行loop函数等待后续的新消息. 注意handle_cast不能返回{reply,…},否则gen进程会报错退出。

    • call

    调用进程向gen进程发送call消息,和cast不同,调用进程会阻塞在wait_resp_mon函数里等待gen进程的回馈。收到消息后,gen进程会执行Mod:handle_call函数,并把执行的结果Reply直接发送给调用进程,然后自己再次进入循环等待新的消息。

    1. wait_resp_mon(Node, Mref, Timeout) ->
    2. receive
    3. {Mref, Reply} ->
    4. erlang:demonitor(Mref, [flush]),
    5. {ok, Reply};
    6. {'DOWN', Mref, _, _, noconnection} ->
    7. exit({nodedown, Node});
    8. {'DOWN', Mref, _, _, Reason} ->
    9. exit(Reason)
    10. after Timeout ->
    11. erlang:demonitor(Mref),
    12. receive
    13. {'DOWN', Mref, _, _, _} -> true
    14. after 0 -> true
    15. end,
    16. exit(timeout)
    17. end.

    默认情况下handle_call的返回是{reply,….}. 而调用进程阻塞在wait_resp_mon的默认超时时间是5s(-define(default_timeout, 5000)).

    在spec里看到handle_call的返回值可以是{noreply,…},  或者gen进程在处理其它事情而达到超时时间, 则调用进程会异常退出, 你也可以在调用gen_server:call/3来设置一个call命令的超时时间.

    对于call和cast的命令既可以使用Name也可以使用Pid,  gen内部会进行Name到Pid的转化。

    1. call(Name, Label, Request, Timeout)
    2. when is_atom(Name), Timeout =:= infinity;
    3. is_atom(Name), is_integer(Timeout), Timeout >= 0 ->
    4. case whereis(Name) of
    5. Pid when is_pid(Pid) ->
    6. do_call(Pid, Label, Request, Timeout);
    • info

    可以给gen进程发送任何格式的信息,这类信息没有gen标签,gen进程接收到这类消息会调用gen_server:handle_info来处理消息,处理过程与cast消息一样都不能反馈结果给调用进程,所以如果handle_info返回{reply,…}也会导致gen进程报错退出。

    • terminate

    在handle_*等回调函数处都可以返回{stop,…} 这样使得gen进程执行Mod:terminate, 进行进程退出前的收尾工作, 然后回到主循环gen进程再退出.

    erlang OTP gen_server 图解分析的更多相关文章

    1. Erlang OTP编程初体验——gen_server和行为模式

      http://blog.sina.com.cn/s/blog_3fe961ae0101k4p6.html 行为模式其实非常类似于面向对象语言中的接口,至少笔者是这么理解的.OTP行为模式将一些反复出现 ...

    2. [Erlang 0119] Erlang OTP 源码阅读指引

        上周Erlang讨论群里面提到lists的++实现,争论大多基于猜测,其实打开代码看一下就都明了.贴出代码截图后有同学问这代码是哪里找的?   "代码去哪里找?",关于Erla ...

    3. Erlang OTP gen_event

      转自:http://www.myexception.cn/program/1569725.html Erlang OTP gen_event (0) 原英文文档:http://www.erlang.o ...

    4. Erlang/OTP设计原则(文档翻译)

      http://erlang.org/doc/design_principles/des_princ.html 图和代码皆源自以上链接中Erlang官方文档,翻译时的版本为20.1. 这个设计原则,其实 ...

    5. Erlang/OTP:基于Behaviour的回调函数

      原始链接:https://blog.zhustec.me/posts/erlang-otp-1-callback-based-on-behaviour OTP 是什么 OTP 的全称是开源电信平台 ( ...

    6. 理解Erlang/OTP Supervisor

      http://www.cnblogs.com/me-sa/archive/2012/01/10/erlang0030.html Supervisors are used to build an hie ...

    7. [Erlang 0127] Term sharing in Erlang/OTP 上篇

      之前,在 [Erlang 0126] 我们读过的Erlang论文 提到过下面这篇论文: On Preserving Term Sharing in the Erlang Virtual Machine ...

    8. CentOS 6.5安装Erlang/OTP 17.0

      CentOS 6.5安装Erlang/OTP 17.0 作者:chszs,转载需注明.博客主页:http://blog.csdn.net/chszs Erlang眼下已经是Fedora和Debian/ ...

    9. Erlang OTP设计原则Gen_Fsm行为[转]

      转自: http://www.cnblogs.com/yourihua/archive/2012/05/13/2497776.html 1. Fsm 称为 有限状态机,举个例子,游戏中的怪物称为NPC ...

    随机推荐

    1. 学习笔记:Vue——自定义指令

      在Vue2.0中,代码复用和抽象的主要形式是组件.然鹅,有的情况下,你仍然需要对普通DOM元素进行底层操作,这时候就会用到自定义指令. 1.举个聚焦输入框的例子,全局注册focus指令 Vue.dir ...

    2. 学习 Perl(一) —— 安装及 hello world

      所谓存在的即是合理的,尤其适用于琳琅满目的编程语言界.每种编程语言在设计之初均只为解决特定领域的特定问题而生,没有语言擅长所有的领域能够完美地解决所有的问题. 这里推荐一本经典的 perl 入门书:P ...

    3. Windows 7 Ultimate with SP1(x64) MSDN 官方简体中文旗舰版原版

      Windows 7 Ultimate(旗舰版)64位功能齐全,所有其他版本所具有的高级功能它都有!它是最好的Windows 7操作系统.旗舰版很受网友欢迎,下载速度飞快. MSDN 我告诉你下载官网: ...

    4. poj 2240 floyd算法

      Arbitrage Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 17349   Accepted: 7304 Descri ...

    5. iOS_02_什么是ios开发

      什么是ios开发? * 已知:ios是iphone,ipad等手持设备操作系统. * ios开发就是开发运行在ios系统上的应用或者游戏软件,比如手机QQ,微博或者游戏,说白了,就是开发手机软件:当然 ...

    6. SQLcl

      参考博客: https://wangfanggang.com/Oracle/sqlcl/ 执行show sqlformat可以看到当前格式化样式为:default 让我们修改下显示结果的样式:set ...

    7. 详解javascript: void(0);

      原文 简书原文:https://www.jianshu.com/p/08ae8cbeb3be 什么是javascript: void(0); 我们经常会使用到 javascript:void(0) 这 ...

    8. 【POJ 3415】Common Substrings

      [链接]h在这里写链接 [题意]     求两个串的长度大于等于k的公共子串个数.     相同的重复计数. [题解]     先把两个字符串用一个分隔符分开.最好比出现的字符都大的一个数字.    ...

    9. ORACEL上传BLOB,深度遍历文件夹

      // uploadingDlg.cpp : 实现文件// #include "stdafx.h"#include "uploading.h"#include & ...

    10. 【Codeforces Round #439 (Div. 2) B】The Eternal Immortality

      [链接] 链接 [题意] 求b!/a!的最后一位数字 [题解] b-a>=20的话 a+1..b之间肯定有因子2和因子5 答案一定是0 否则暴力就好 [错的次数] 在这里输入错的次数 [反思] ...