[Erlang10]为什么热更新时,Shell执行2次l(Module)后会把原来用到Module的进程 kill?
0. 问题引入:
-module(hot_code_server).
-compile(export_all).
start() –>
erlang:register(?MODULE,
erlang:spawn_link(fun() –>
loop()
end)). loop() –>
receive
stop –>
io:format("stop~n");
Msg –>
io:format("Recv:~p~n",[Msg]),
loop()
end.
在shell中执行:
101> hot_code_server:start().
true
102> whereis(hot_code_server).
<0.191.0>
103> l(hot_code_server).
{module,hot_code_server}
104> l(hot_code_server).
** exception exit: killed
试想一下,如果你的进程没有放在监控监控树(supervisor)下,那么在2次热更新后就直接被kill掉,多么可怕。。。。
为了清楚这个问题,先来看看Erlang的代码更新原理:
1. Erlang热更新:
Erlang的热更新是用code_sever.erl模块来管理的,code_server基于VM进程,用一个private Ets Table来管理代码,同一个模块最多可以在code_server里面有2个不同的版本,运行里可以随意切换这2个不同的版本,当你使用c(Module)来编译Module时,新版本会自动的加载
【调用code: purge(Module),code: load_file(Module).】。
Tip: 必须了解的概念:
Erlang函数有local call和external call的区别,Local call 就是在函数在被定义的模块里面被调用,可以直接被调用: Func(Args); External call 就是显式的使用Module:Func(Args)来调用或import别的模块进来的调用.
当同一个模块有2个版本被加载里,所有的local call都可以工作在当前版本状态,但是:external call只能调用到最新的版本!【所以你在模块里面使用Func(Args)和Moudle:Func(Args)还是有很大区别的!特别是在更新模块】
验证如下:
-define(version,1).
func_test(Name) –>
erlang:register(Name,erlang:spawn_link(fun() -> print(Name) end )). print(Name) –>
receive
Msg –>
io:format("Name:~p Msg: ~p Version:~p ~n",[Name,Msg,?version]),
?MODULE:print(Name)
end.
Shell中调用如下:
39> c(hot_code_server).
{ok,hot_code_server}
40> hot_code_server:func_test(test1).
true
41> erlang:send(test1,got).
Name:test1 Msg: got Version:
然后修改代码如下:
-define(version,).
Shell中再更新一次:【注意这时的test1进程还在运行中】
42> c(hot_code_server).
{ok,hot_code_server}
43> erlang:send(test1,got).
Name:test1 Msg: got1 Version:
got1
44> erlang:send(test1,got2).
Name:test1 Msg: got2 Version:2
got2
可以看到,当test1进程接收到第一个信息got1时,还是使用的old code,但这个消息进入新一轮尾递归时调用的是?MODULE: print(Name),调用new code,所以就在下一轮时变成了version:2啦。
那么把代码中的?MODULE: print(Name),改成print(Name)测试下 local call会怎么样?
-define(version,1).
func_test(Name) –>
erlang:register(Name,erlang:spawn_link(fun() -> print(Name) end )). print(Name) –>
receive
Msg –>
io:format("Name:~p Msg: ~p Version:~p ~n",[Name,Msg,?version]),
print(Name)
end.
Shell中重新更新一次:
47> c(hot_code_server).
{ok,hot_code_server}
48> hot_code_server:func_test(test2).
true
49> erlang:send(test2,got).
Name:test2 Msg: got Version:1
got
再次把:
-define(version,).
Shell中再更新一次:【注意这时的test2进程还在运行中】
50> c(hot_code_server).
{ok,hot_code_server}
51> erlang:send(test2,got).
Name:test2 Msg: got1 Version:1
got1
52> erlang:send(test1,got2).
Name:test2 Msg: got2 Version:1
got2
无论再对test2发多少信息,得到的version都是1,是old code,因为这个进程没有结束过,一直调用的old code,但是如果你现在新起进程test3,那么这个print(Name)调用的就是new code,也就是说是version 2啦。
结论:
1. 使用?MODULE:Func(Args)调用,永远调用的最新代码;
2. 使用Func(Args)调用的进程,并且进程已在运行中,那么就会一直使用原来的old code,无论是不是更新了new code;
3. 使用Func(Args)调用的进程,更新了new code后,再用这个函数新启动一个进程,那么这个新进程的code就是new code。
接下来:一起回到开始的问题:为什么2次l(Module)或c(Module)后会把运行状态还在调用这个Module中的进程kill掉呢?
2. l(Module)原理:
c.erl里面有它的实现:就是先清理旧版本,后加载(把当前进行的版本变成旧版本,新版本为最新改动的版本)。
为什么会被kill掉,你可以查看相关code: purge(Mod)的实现code_server: do_purge(Mod) :
3. 结论:
1. l(Mod)一次时,把运行中的代码变成old code【Version1】,最新改动的Mod变成new code【Version2】,
2. l(Mod)第二次时,把【Version1】清理,并把所有用到Version1的进程kill,把Version2变成old code,并把最新改动【Version3】更新为new code.
3. 以上就是在Shell中更新时,会把进程给kill的原因啦。
4. 题外话:
4.1 Erlang三种装载模块的方法:
1) 直接调用模块中的函数,code server进程将会搜索相应的beam文件,然后装载之;
2) 编译该模块(相应的函数是compile:file(Module))后会自动装载编译好的模块,在shell中是通过命令c(Module);
3) 显式的装载模块,通过调用code:load_file(Module)转载指定的模块,在本机上可以通过命令l(Module)装载模块,在网络中可以通过命令nl(Module)将模块装载到各个节点上。
4.2 怎么判定一个函数是local call 还是 exteral call:
%%使用erlc -S opcode_test.erl 生成opcode_test.S文件
-module(opcode_test).
-export([test/0]).
-import(hello, [hello/0]).
test2() –>
ok.
test() –>
test2(),
?MODULE:test2(),
hello(),
hello:hello(),
ok.
生成的opcode_test.S文件部分如下:
{function, test, 0, 4}.
{label,3}.
{line,[{location,"c:/Users/admin/Documents/GitHub/erl_excrise/src/opcode_test.erl",
19}]}.
{func_info,{atom,opcode_test},{atom,test},0}.
{label,4}.
{allocate,0,0}.
{line,[{location,"c:/Users/admin/Documents/GitHub/erl_excrise/src/opcode_test.erl",
20}]}.
{call,0,{f,2}}. %%这是local call: test2(),
{line,[{location,"c:/Users/admin/Documents/GitHub/erl_excrise/src/opcode_test.erl",
21}]}.
{call_ext,0,{extfunc,opcode_test,test2,0}}. %%这是exteral call: ?MODULE:test2().
{line,[{location,"c:/Users/admin/Documents/GitHub/erl_excrise/src/opcode_test.erl",
22}]}.
{call_ext,0,{extfunc,hello,hello,0}}.
{line,[{location,"c:/Users/admin/Documents/GitHub/erl_excrise/src/opcode_test.erl",
23}]}.
{call_ext,0,{extfunc,hello,hello,0}}.
{move,{atom,ok},{x,0}}.
{deallocate,0}.
return.
相关查阅文章:
1. Learn Some Erlang: http://learnyousomeerlang.com/designing-a-concurrent-application#hot-code-loving
2. Erlang语法对应的opcode: http://mryufeng.iteye.com/blog/472840
以上说的都是指Module级别的热更新,如果你想了解产品级别的请看【还没用到过……】
Release Handle : http://www.erlang.org/doc/design_principles/release_handling.html
最新文章
- SpringMVC配置项学习笔记
- fir.im Weekly - 给 Mac 应用开发者的教程
- Spring MVC过滤器-字符集过滤器(CharacterEncodingFilter)
- 使用jQuery开发iOS风格的页面导航菜单
- sed替换字符串时,使用正则表达式的注意事项
- jsp之间传参中文乱码问题
- Linux-LNMP LAMP LNMPA
- C++中的头文件和源文件
- [BZOJ 1034] [ZJOI2008] 泡泡堂BNB 【贪心】
- ubuntu自动挂载windows分区和开机自动启动wallproxy
- UVa 10098: Generating Fast
- php 中PHP_EOL使用
- Java这个名字怎么来
- Windows Phone开发(12):认识一下独具个性的磁贴
- 免费的ERP真的那么可怕?请少一些偏见!
- Hibernate学习笔记①
- PropertyGrid自定义控件
- .net 设置webbrowser控件使用的IE版本
- 理解JS原型和原型链
- ECMA6 New Features