再谈Erlang代码热替换
Erlang一个非常值得称道的特性就是代码热替换(Hot Code Sawpping)，我们在调用函数时，通过M:F(A)的方式，可以保证总是加载最新的代码。
在《Erlang程序设计》中E4部分，通过一个小例子展示了代码的动态加载，两个module代码如下：
a.erl
b.erl
这个例子中是通过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.erl：
然后编译a.erl:
当前，在Erlang中只有Vsn1版本的a，回到erlang shell中，加载Vsn2：
现在在Erlang中有Vsn1和Vsn2两个版本的a module。
我们在启动一个新的a process：
好了让我们再次修改a.erl：
然后编译a.erl:
注意：此时Erlang shell中并没有加载Vsn3版本的代码，因为我们没有使用c(a)的方式编译加载a module。我们可以测试一下：
毫无疑问，还是Vsn2
接下来我们想加载Vsn3版本的a，回到Erlang shell：
oh，产生了一个错误信息，返回{error,not_purged}，现在已经有Vsn1，Vsn2两个a module了，这第三个被拒绝了。我们必须调用code:purge/1清除Vsn1：
返回true，同时Vsn1版本的a process已经被kill了，现在只有Vsn2了。接下来加载我们的Vsn3吧：
好了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.
在《Erlang程序设计》中E4部分，通过一个小例子展示了代码的动态加载，两个module代码如下：
a.erl
Erlang代码
- -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
Erlang代码
- -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:
Erlang代码
- > a:start(one).
- Vsn1 (one) b:x() = 1
随后我们修改a.erl：
Erlang代码
- -io:format("Vsn1 (~p) b:x() = ~p~n", [Tag, Val]),
- +io:format("Vsn2 (~p) b:x() = ~p~n", [Tag, Val]),
然后编译a.erl:
Erlang代码
- $ erlc a.erl
当前，在Erlang中只有Vsn1版本的a，回到erlang shell中，加载Vsn2：
Erlang代码
- > code:load_file(a).
现在在Erlang中有Vsn1和Vsn2两个版本的a module。
我们在启动一个新的a process：
Erlang代码
- > a:start(two).
- Vsn2 (two) b:x() =1
好了让我们再次修改a.erl：
Erlang代码
- -io:format("Vsn2 (~p) b:x() = ~p~n", [Tag, Val]),
- +io:format("Vsn3 (~p) b:x() = ~p~n", [Tag, Val]),
然后编译a.erl:
Erlang代码
- $ erlc a.erl
注意：此时Erlang shell中并没有加载Vsn3版本的代码，因为我们没有使用c(a)的方式编译加载a module。我们可以测试一下：
Erlang代码
- >a:start(three).
- <0.38.0>
- Vsn2 (three) b:x() = 1
毫无疑问，还是Vsn2
接下来我们想加载Vsn3版本的a，回到Erlang shell：
Erlang代码
- > 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：
Erlang代码
- > code:purge(a).
- true
- Vsn2 (three) b:x() = 1
- Vsn2 (two) b:x() = 1
返回true，同时Vsn1版本的a process已经被kill了，现在只有Vsn2了。接下来加载我们的Vsn3吧：
Erlang代码
- > 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.
