在erlang中更换热代码

Question

我正在研究我在erlang中的第一个真实项目,但是,为简洁起见,此代码已经过简化.我希望能够在运行时远程将一个较新版本的文件加载到我的项目中.我已经读过关于使用类似行为gen_server或gen_fsm免费使用此行为的内容.虽然这可能会达到结果,但我想用它来学习如何做到这一点,而不仅仅是完成它.我已经阅读了关于代码替换的文档,以及LYSE关于Hot Code Loving的一些内容,但是我还没有找到任何适用于我正在做的事情,所以这里是基本的想法.

-module(reloading).

-export([loop/0]).

loop() ->
    receive
        upgrade ->
            ?MODULE:loop();
        hello ->
            io:format("This is a test~n"),
            loop();
        _ ->
            loop()
    end.

我只是循环着我可以发送消息的想法,upgrade它将加载更新版本的代码.

$ erl
Erlang R15B01 (erts-5.9.1) [source] [64-bit] [async-threads:0] [hipe] [kernel-poll:false]

Eshell V5.9.1  (abort with ^G)
1> c(reloading).
{ok,reloading}
2> Loop = spawn(reloading, loop, []).
<0.39.0>
3> Loop ! hello.
This is a test
hello

此时我将10行更改为 io:format("I have changed this!~n"),

4> Loop ! upgrade.
upgrade
5> Loop ! hello.  
This is a test
hello

我期待这个hello调用打印I have changed this!不This is a test.我知道我可以简单地调用c(reloading).并以预期的方式完成这项工作,但我希望向实际项目发送消息而不是手动更新代码.那么我的断开连接在哪里？我做错了什么,我应该做的是为了加载这段代码？如前所述,我正在寻找一种非OTP解决方案,以便进行教育.

Answer 1

为了得到明确的答案,我发布了这个.

使用代码模块@rvirding的建议,我修改它看起来像这样:

-module(reloading).

-export([loop/0]).

loop() ->
    receive
        upgrade ->
            code:purge(?MODULE),
            compile:file(?MODULE),
            code:load_file(?MODULE),
            ?MODULE:loop();
        hello ->
            io:format("This is a test~n"),
            loop();
        _ ->
            loop()
    end.

第一个代码:清除旧的?MODULE,然后编译:file新文件,最后代码:load_file new ?MODULE.这按照我原来的意图.

$ erl
Erlang R15B01 (erts-5.9.1) [source] [64-bit] [async-threads:0] [hipe] [kernel-poll:false]

Eshell V5.9.1  (abort with ^G)
1> Loop = spawn(reloading, loop, []).
<0.34.0>
2> Loop ! hello.
This is a test
hello

将行更改为 io:format("I have changed this!~n"),

3> Loop ! upgrade.                   
upgrade
4> Loop ! hello.  
I have changed this!
hello

Answer 2

虽然erlang可以处理模块的两个版本并且调用函数mod:func(...)将始终调用模块的最新版本(如果函数被导出),您仍然必须将新版本的模块加载到Erlang系统中.你不能指望它会自动检测到你碰巧在某个地方有一个新版本的模块,找到它,编译它并加载它.

NB编译和加载是两个独立的事情.所以,c(mod). 这两个编译和加载模块,而l(mod).只是用来加载已经编译模块的目标代码(.beam文件).Erlang编译器是从模块调用的compile,它只是编译并生成.beam文件,而代码加载由模块处理code.