`
litaocheng
  • 浏览: 333379 次
  • 性别: Icon_minigender_1
  • 来自: 北京
社区版块
存档分类
最新评论

再谈Erlang代码热替换

阅读更多
Erlang一个非常值得称道的特性就是代码热替换(Hot Code Sawpping),我们在调用函数时,通过M:F(A)的方式,可以保证总是加载最新的代码。

在《Erlang程序设计》中E4部分,通过一个小例子展示了代码的动态加载,两个module代码如下:
a.erl
-module(a).
-compile(export_all).
-import(b, [x/0]).

start(Tag) ->
    spawn(fun() -> loop(Tag) end).
    
loop(Tag) ->
    timer:sleep(3000),
    Val = x(),
    io:format("Vsn1 (~p) b:x() = ~p~n", [Tag, Val]),
    loop(Tag).   


b.erl
-module(b).
-compile(export_all).

x() -> 1.


这个例子中是通过c(a), c(b)的方式编译修改后的a.erl 和 b.erl,这里其实是做了两件事:
1,编译module
2,load module
所以我们在这个例子中,可以看到如果我们修改了b的代码,然后在Erlang shell中通过:
c(b). 我们可以立即看到“新”的b module在运行了。

在Erlang中每个Module可以保存2个version,如果再有第三个version加入,那么首先要通过code:purse/1清理先前的版本,随后才可以load新的module。
在Erlang内部,当有新的Module被调用时,旧的Module的Export 函数将被新的Export函数代替,因此当我们实用M:F(A)的方式调用函数时,将调用最新代码。

让我们启动a module:
> a:start(one).
Vsn1 (one) b:x() = 1


随后我们修改a.erl:
-io:format("Vsn1 (~p) b:x() = ~p~n", [Tag, Val]),
+io:format("Vsn2 (~p) b:x() = ~p~n", [Tag, Val]),

然后编译a.erl:
$ erlc a.erl

当前,在Erlang中只有Vsn1版本的a,回到erlang shell中,加载Vsn2:
> code:load_file(a).

现在在Erlang中有Vsn1和Vsn2两个版本的a module。
我们在启动一个新的a process:
> a:start(two).
Vsn2 (two) b:x() =1


好了让我们再次修改a.erl:
-io:format("Vsn2 (~p) b:x() = ~p~n", [Tag, Val]),
+io:format("Vsn3 (~p) b:x() = ~p~n", [Tag, Val]),

然后编译a.erl:
$ erlc a.erl

注意:此时Erlang shell中并没有加载Vsn3版本的代码,因为我们没有使用c(a)的方式编译加载a module。我们可以测试一下:
>a:start(three).
<0.38.0>
Vsn2 (three) b:x() = 1

毫无疑问,还是Vsn2

接下来我们想加载Vsn3版本的a,回到Erlang shell:
> code:load_file(a).
=ERROR REPORT==== 14-Jan-2009::23:16:23 ===
Loading of /home/litao/erl/a.beam failed: not_purged
{error,not_purged}

=ERROR REPORT==== 14-Jan-2009::23:16:23 ===
Module a must be purged before loading

oh,产生了一个错误信息,返回{error,not_purged},现在已经有Vsn1,Vsn2两个a module了,这第三个被拒绝了。我们必须调用code:purge/1清除Vsn1:
> code:purge(a).
true
Vsn2 (three) b:x() = 1
Vsn2 (two) b:x() = 1

返回true,同时Vsn1版本的a process已经被kill了,现在只有Vsn2了。接下来加载我们的Vsn3吧:
> code:load_file(a).
{module,a}
Vsn2 (two) b:x() = 1
Vsn2 (three) b:x() = 1
8> a:start(five).
<0.43.0>
Vsn2 (three) b:x() = 1
Vsn2 (two) b:x() = 1
Vsn3 (five) b:x() = 1

好了Vsn2成了旧版本,Vsn3成了新版本。
自己动手实验一下吧!

Update:
code:soft_purge(Module),如果没有process运行旧的Module,则返回true(表明此Module可以被温和的purge);否则返回false。
可以通过erlang:check_process_code(Pid, Module)检测Process是否运行某个Module的Old version,这个检测不会检测process的运行时,判断当前函数是否为old
请注意:code:purge 和 code:soft_purge 针对的是old version,如果当前module只有一个version,那么 purge返回false, soft_purge返回true.


分享到:
评论
3 楼 pascal4123 2009-02-24  
好文字.


litaocheng 写道
Erlang一个非常值得称道的特性就是代码热替换(Hot Code Sawpping),我们在调用函数时,通过M:F(A)的方式,可以保证总是加载最新的代码。

在《Erlang程序设计》中E4部分,通过一个小例子展示了代码的动态加载,两个module代码如下:
a.erl
-module(a).
-compile(export_all).
-import(b, [x/0]).

start(Tag) ->
    spawn(fun() -> loop(Tag) end).
    
loop(Tag) ->
    timer:sleep(3000),
    Val = x(),
    io:format("Vsn1 (~p) b:x() = ~p~n", [Tag, Val]),
    loop(Tag).   


b.erl
-module(b).
-compile(export_all).

x() -> 1.


这个例子中是通过c(a), c(b)的方式编译修改后的a.erl 和 b.erl,这里其实是做了两件事:
1,编译module
2,load module
所以我们在这个例子中,可以看到如果我们修改了b的代码,然后在Erlang shell中通过:
c(b). 我们可以立即看到“新”的b module在运行了。

在Erlang中每个Module可以保存2个version,如果再有第三个version加入,那么首先要通过code:purse/1清理先前的版本,随后才可以load新的module。
在Erlang内部,当有新的Module被调用时,旧的Module的Export 函数将被新的Export函数代替,因此当我们实用M:F(A)的方式调用函数时,将调用最新代码。

让我们启动a module:
> a:start(one).
Vsn1 (one) b:x() = 1


随后我们修改a.erl:
-io:format("Vsn1 (~p) b:x() = ~p~n", [Tag, Val]),
+io:format("Vsn2 (~p) b:x() = ~p~n", [Tag, Val]),

然后编译a.erl:
$ erlc a.erl

当前,在Erlang中只有Vsn1版本的a,回到erlang shell中,加载Vsn2:
> code:load_file(a).

现在在Erlang中有Vsn1和Vsn2两个版本的a module。
我们在启动一个新的a process:
> a:start(two).
Vsn2 (two) b:x() =1


好了让我们再次修改a.erl:
-io:format("Vsn2 (~p) b:x() = ~p~n", [Tag, Val]),
+io:format("Vsn3 (~p) b:x() = ~p~n", [Tag, Val]),

然后编译a.erl:
$ erlc a.erl

注意:此时Erlang shell中并没有加载Vsn3版本的代码,因为我们没有使用c(a)的方式编译加载a module。我们可以测试一下:
>a:start(three).
<0.38.0>
Vsn2 (three) b:x() = 1

毫无疑问,还是Vsn2

接下来我们想加载Vsn3版本的a,回到Erlang shell:
> code:load_file(a).
=ERROR REPORT==== 14-Jan-2009::23:16:23 ===
Loading of /home/litao/erl/a.beam failed: not_purged
{error,not_purged}

=ERROR REPORT==== 14-Jan-2009::23:16:23 ===
Module a must be purged before loading

oh,产生了一个错误信息,返回{error,not_purged},现在已经有Vsn1,Vsn2两个a module了,这第三个被拒绝了。我们必须调用code:purge/1清除Vsn1:
> code:purge(a).
true
Vsn2 (three) b:x() = 1
Vsn2 (two) b:x() = 1

返回true,同时Vsn1版本的a process已经被kill了,现在只有Vsn2了。接下来加载我们的Vsn3吧:
> code:load_file(a).
{module,a}
Vsn2 (two) b:x() = 1
Vsn2 (three) b:x() = 1
8> a:start(five).
<0.43.0>
Vsn2 (three) b:x() = 1
Vsn2 (two) b:x() = 1
Vsn3 (five) b:x() = 1

好了Vsn2成了旧版本,Vsn3成了新版本。
自己动手实验一下吧!






2 楼 mryufeng 2009-01-16  
可以再研究下动态库模块代码热替换!
1 楼 tooor 2009-01-15  
恩, 又加深一遍印象, 加油

相关推荐

Global site tag (gtag.js) - Google Analytics