Способы отладки Erlang проектов.

1. Отладка в Erlang
trace/dbg
Юра Жлоба для Belarus Erlang User Group

2. io:format lager
debugger
erlang:trace trace_pattern
dbg
sys recon_trace

3. Erlang Programming
Francesco Cesarini
17-я глава
Stuff Goes Bad. Erlang in Anger
Fred Hebert
9-я глава

4. erlang:trace
erlang:trace(PidSpec, How, FlagList) -> integer()
http://www.erlang.org/doc/man/erlang.html

5. erlang:trace
erlang:trace(PidSpec, How, FlagList) -> integer()
Pid процесса
атомы: existing, new, all

6. erlang:trace
erlang:trace(PidSpec, How, FlagList) -> integer()
true / false

7. erlang:trace
erlang:trace(PidSpec, How, FlagList) -> integer()
[send, 'receive', procs, call, running,
garbage_collection, ...]

8. erlang:trace
{trace, Pid, EventTag, Data1 [,Data2]}

9. erlang:trace
{trace, Pid, EventTag, Data1 [,Data2]}
{trace, Pid, 'receive', Msg}

10. erlang:trace
{trace, Pid, EventTag, Data1 [,Data2]}
{trace, Pid, send, Msg, To}

11. erlang:trace
{trace, Pid, EventTag, Data1 [,Data2]}
{trace, Pid, call, {M, F, Args}}

12. erlang:trace
tracer process
[{tracer, Pid}]

13. erlang:trace_pattern
erlang:trace_pattern(MFA, MatchSpec, FlagList)
-> integer()
http://www.erlang.org/doc/man/erlang.html

14. erlang:trace_pattern
trace
процессы
trace_pattern
функции

15. erlang:trace_pattern
erlang:trace_pattern(MFA, MatchSpec, FlagList)
-> integer()
{my_mod, my_fun, 2}
{my_mod, my_fun, '_'}
{my_mod, '_', '_'}
{'_', '_', '_'}

16. erlang:trace_pattern
erlang:trace_pattern(MFA, MatchSpec, FlagList)
-> integer()
true / false
restart, pause
match specification

17. erlang:trace_pattern
erlang:trace_pattern(MFA, MatchSpec, FlagList)
-> integer()
[local, global,
call_count, call_time]

18. erlang:trace_pattern
global:
my_module:my_func(Arg)
local:
my_func(Arg)

19. dbg
http://www.erlang.org/doc/man/dbg.html

20. dbg
dbg:p/1, dbg:p/2, dbg:c/3, dbg:c/4,
dbg:tp/2, dbg:tp/3, ...

21. dbg
dbg:p(PidSpec, FlagLists) ->
{ok, MatchDesc} | {error, term()}

22. dbg
dbg:p(PidSpec, FlagLists) ->
{ok, MatchDesc} | {error, term()}
Pid процесса ({N, N, N}, "<N.N.N>")
имя, под которым процесс зарегистрирован
атомы: existing, new, all

23. dbg
dbg:p(PidSpec, FlagLists) ->
{ok, MatchDesc} | {error, term()}
[s (send), r (received),
m (send + receive),
p (procs), c (call)]

24. dbg
dbg:p(“<0.55.0>”, [m])
Pid = list_to_pid(“<0.55.0>”),
erlang:trace(Pid, true, [send, 'receive'])

25. dbg
dbg:c(Mod, Fun, Args, FlagList)

26. dbg
dbg:c(Mod, Fun, Args, FlagList)
erlang:trace_pattern(
{Mod, Fun, Args}, true, FlagList),
apply(Mod, Fun, Args)

27. dbg
dbg:tp/2,3,4, dbg:tpl/2,3,4

28. dbg
dbg:tp/2,3,4, dbg:tpl/2,3,4
tp – trace_pattern, global
tpl – trace_pattern, local

29. dbg
dbg:tp(Module, MatchSpec)
erlang:trace_pattern({Module, '_', '_'}, MatchSpec,
[])

30. dbg
dbg:tp(Module, Function, MatchSpec)
erlang:trace_pattern({Module, Function, '_'},
MatchSpec, [])

31. dbg
dbg:tp(Module, Function, Arity, MatchSpec)
erlang:trace_pattern({Module, Function, Arity},
MatchSpec, [])

32. dbg
dbg:ctp dbg:ctpg dbg:ctpl
cancel trace_pattern
cancel trace_pattern, global
cancel trace_pattern, local

33. dbg
dbg:ctp dbg:ctpg dbg:ctpl
нужно совпасть по аргументам
и по global/local
сложно все :)

34. dbg
dbg:stop
отменяет trace
dbg:stop_clean
отменяет trace и trace_pattern

35. Перенаправление трассировки
По умолчанию target process
форматирует сообщения
и выводит на консоль

36. Перенаправление трассировки
в кастомную функцию
в файл
в сокет, на другую ноду

37. Перенаправление трассировки
в кастомную функцию
dbg:tracer(process , {HandlerFun, Data})

38. Перенаправление трассировки
в файл
PortFun = dbg:trace_port(file, FileOptions),
dbg:tracer(port, PortFun)

39. Перенаправление трассировки
в сокет, на другую ноду
PortFun = dbg:trace_port(ip,
{Port, QueueSize}),
dbg:tracer(port, PortFun)
dbg:trace_client(ip, {Host, Port},
{HandlerFun, Data})

40. Match Specification
DSL для матчинга
erlang:trace_pattern, ets:select

41. Match Specification
dbg:fun2ms(LiteralFun) -> MatchSpec

42. Match Specification
fun([_, {error, _}]) -> true end

43. Match Specification
dbg:fun2ms(fun([_, {error, _}]) -> true end)
[{['_',{error,'_'}],[],[true]}]

44. Match Specification
MatchSpec = dbg:fun2ms(
fun([_, {error, _}]) -> true end),
dbg:tp(my_module, my_function, MatchSpec)

45. Match Specification
fun([Counter, {error, _}])
when Counter > 10 ->
true
end

46. Match Specification
fun([_, {error, _}]) ->
return_trace(),
true
end

47. Match Specification
fun([_, {error, _}]) ->
exception_trace(),
true
end

48. Match Specification
fun([_, {error, Msg}]) ->
message(Msg),
true
end

49. Match Specification
fun([_, {error, _}]) ->
message(caller()),
true
end

50. Match Specification
fun([_, {error, _}]) ->
message(process_dump()),
true
end

51. Match Specification
fun([_, {error, _}]) ->
message(self()),
true
end

52. sys
http://www.erlang.org/doc/man/sys.html
отладка OTP-процессов

53. sys
sys:trace(Process, true)
call, cast, изменения в state

54. sys
sys:statistics(Process, true)
количество сообщений,
редукций планировщика,
время старта процесса и текущее

55. sys
sys:get_state(Name) -> State
sys:replace_state(Name, StateFun) -> NewState

56. sys
Вывод в консоль или в файл
Для локальной отладки,
не для отладки на продакшене

57. recon_trace
Фред Хеберт
лучший писатель про Erlang :)
проект recon
мониторинг, диагностика
и отладка на продакшене

58. recon_trace
http://ferd.github.io/recon/recon_trace.html

59. recon_trace
безопасность отладки
лимит обрабатываемых событий
остановка трассировки
при отключении консоли

60. recon_trace
Еще лаконичнее, чем dbg
не нужно явно задавать множество
процессов и множество функций

61. recon_trace
Упор на отладку функций
трассировка сообщений пока
не поддерживается

62. Вопросы?