Elixir: 调试

当我们学习一门新的语言时, 要查看一个变量的值, 一般是通过该语言提供的标准输出函数把变量的值打印在终端上查看. Elixir 和其他语言相比有不同的地方, 除了提供了 IO.puts/2, 以及 IO.inspect/2 标准的控制台输出函数输出变量的值. 还提供了其他调试方法.

本文介绍了Elixir调试的三种工具, 分别为IEx.pry/0, :debugger和 Erlyberly客户端图形工具

`IEx.pry`

pry 英文解释为: 刺探;侦察;窥探, 不言而喻, 其作用是查看程序运行的内部状态, 在 Elixir 中它的基本作用是: 查看IEx.pry插入点位置所在的作用域的内部状态.

要使用IEx.pry, 需要在全局作用域或模块中require

require IEx
defmodule Example
    def double_sum(x, y) do
        hard_work(x, y)
        IEx.pry  %% 插入点
    end
    def hard_work(x, y) do
        x = 2 * x
        y = 2 * y
        
        x + y
    end
end

输入respawn可退出pry, 另外, 如果调试代码有多个IEx.pry插入点respawn后会自动进入下一个. 如果IEx.pry插入点位于递归代码中, respawn会进入下一次递归, 直到递归终止条件满足为止

`:debugger`

如果你需要断点功能, 我们可以使用Erlang提供的:debugger模块, 现在来演示一下:

defmodule Example
    def double_sum(x, y) do
        hard_work(x, y)
    end
    def hard_work(x, y) do
        x = 2 * x
        y = 2 * y
        
        x + y
    end
end

现在我们启动:debugger

$ iex -S mix
Erlang/OTP 18 [erts-7.3] [source] [64-bit] [smp:4:4] [async-threads:10] [hipe] [kernel-poll:false] [dtrace]

Compiled lib/example.ex
Interactive Elixir (1.2.4) - press Ctrl+C to exit (type h() ENTER for help)
iex(1)> :debugger.start()
{:ok, #PID<0.87.0>}
iex(2)> :int.ni(Example)
{:module, Example}
iex(3)> :int.break(Example, 3)
:ok
iex(4)> Example.double_sum(1,2)

当你启动了:debugger, 一个图形界面同时会打开.

:int.break(Example, 3) 在第三行添加了一个断点, 在打开的图形界面中可以向其他断点调试工具类似的方法使用

问题

iex(2)> :int.ni(Example)
** Invalid beam file or no abstract code: 'Elixir.Example'

OTP 18还么有这个功能, 要等到 OTP 19

解决办法:

下载:int.erl https://raw.githubusercontent.com/josevalim/otp/c7e82c6b406b632a191c791a1bd2162bde08f692/lib/debugger/src/int.erl
编译: erlc -o . int.erl
覆盖: lib/debugger/ebin/int.beam

详细的说明参考 Erlang文档 Debugger

`Erlyberly`

Erlyberly 的好处在于不会中断进程的执行, 在产品和开发环境中都可以使用, 在启动的时候要求你指定目标节点的名称和Cookie.

命名节点

要让Erlyberly能够工作, 需要指定--name或--sname参数. Cookie用于验证和连接节点. Cookie的值可以通过Node.get_cookie/0, 或 ~/.erlang.cookie

使用~/.erlang.cookie文件中的Cookie值

iex --name "[email protected]" -S mix

命令行指定Cookie

iex --name "[email protected]" --cookie "my_cookie" -S mix

进程

内存

内存图基于:erlang.memory()提供的信息, 表示在Erlang VM中内存使用情况. 并非操作系统相关的内存.

模块和跟踪

通过追踪函数可以看到函数的参数值, 返回值

关于 Erlyberly 的详细资料, 参考 Erlyberly 项目主页

补充

:observer.start()也是一个不错的工具, 可以追踪进程的状态, 进程之间的连接关系等.

结语

每种工具提供不同的调试场景, 请按自己的需要选择. 本文旨在抛砖引玉, 细节如何操作, 请自己探索, 在这里就不多说了.

参考资料

Debugging techniques in Elixir
How to trace Elixir nodes with Erlyberly

Elixir: 调试

IEx.pry

:debugger

问题

Erlyberly