Stack Level too Deep e Tail Call Optimization: É uma boa ideia fazer recursão em Ruby? (TDC POA 2016)

Com a programação funcional sendo tão discutida nos últimos tempos e Elixir ganhando força, acabamos sendo influenciados por seus conceitos e muitas vezes tentamos implementá-los em Ruby. No caso de recursão - uma estratégia clássica de linguagens funcionais - veremos que inicialmente isto pode não ser uma boa ideia. Vamos entender o que é recursão, como funciona uma "tail call", aprender a realizar modificações na Ruby VM e a compilar uma versão customizada de código Ruby com suporte à Tail Call Optimization. Veremos também o que existe de verdade por trás do clássico erro "Stack Level too Deep", o que significa Stack em Ruby e como lidar com suas questões.

Transcript

1. Globalcode – Open4education Trilha – Ruby Guilherme Baptista
2. Globalcode – Open4education 10 anos deixando linhas de código por aí em lugares como:
3. Globalcode – Open4education Stack Level too Deep Tail Call Optimization É uma boa ideia fazer recursão em Ruby?
4. Familiar? file.rb:10:in `call': stack level too deep (SystemStackError) from file.rb:10:in `<main>'
5. Qual o significado? file.rb:10:in `call': stack level too deep (SystemStackError) from file.rb:10:in `<main>'
6. Qual o significado? file.rb:10:in `call': stack level too deep (SystemStackError) from file.rb:10:in `<main>'
7. stack overflow? file.rb:10:in `call': stack level too deep (SystemStackError) from file.rb:10:in `<main>'
8. stack overflow?
9. ?
11. file.rb:10:in `call': stack level too deep (SystemStackError) from file.rb:10:in `<main>' O que é?
12. É uma “proteção” contra loops infinitos?
13. É uma “proteção” contra loops infinitos?
14. É uma “proteção” contra loops infinitos?
15. É uma “proteção” contra loops infinitos?
16. É uma “proteção” contra loops infinitos?
17. É um erro causado por uso de memória em excesso?
18. É um erro causado por uso de memória em excesso?
19. É um erro causado por uso de memória em excesso?
20. É um erro causado por uso de memória em excesso? file.rb:8:in `<main>': failed to allocate memory (NoMemoryError)
21. Bônus: Uma linha para acabar com a memória RAM em segundos: Obs.: Não rodar no irb do seu servidor em produção... #fikdik
22. É uma “proteção” para não deixar um método chamar a si mesmo?
23. É uma “proteção” para não deixar um método chamar a si mesmo?
24. É uma “proteção” para não deixar um método chamar a si mesmo? Done!
25. É uma “proteção” para não deixar um método chamar a si mesmo muitas vezes?
26. É uma “proteção” para não deixar um método chamar a si mesmo muitas vezes?
27. É uma “proteção” para não deixar um método chamar a si mesmo muitas vezes? Done!
29. É uma “proteção” para não deixar um método chamar a si mesmo infinitamente?
30. É uma “proteção” para não deixar um método chamar a si mesmo infinitamente? file.rb:2:in `me_myself_and_i': stack level too deep (SystemStackError) from file.rb:2:in `me_myself_and_i' from file.rb:2:in `me_myself_and_i' from file.rb:2:in `me_myself_and_i' from file.rb:2:in `me_myself_and_i' ... 11901 levels... from file.rb:2:in `me_myself_and_i' from file.rb:2:in `me_myself_and_i' from file.rb:2:in `me_myself_and_i' from file.rb:5:in `<main>'
31. Será?
33. 1 + 1 + 1 + 1 + 1
35. 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1
38. file.rb:7:in `eval': stack level too deep (SystemStackError) from file.rb:7:in `<main>'
40. É uma “proteção” para não deixar um método chamar a si mesmo infinitamente? file.rb:7:in `eval': stack level too deep (SystemStackError) from file.rb:7:in `<main>'
41. Pode não ser bem isso...
42. Vamos falar sobre pilha:
43. Stack (abstract data type) LIFO: last-in, first-out (o último que entra é o primeiro que sai)
44. Stack (LIFO: last-in, first-out) Stack
45. Stack (LIFO: last-in, first-out)
46. Stack (LIFO: last-in, first-out)
47. Stack (LIFO: last-in, first-out)
48. Stack (LIFO: last-in, first-out)
49. Stack (LIFO: last-in, first-out)
50. Stack (LIFO: last-in, first-out)
51. Stack (LIFO: last-in, first-out)
53. Em Ruby tudo é objeto.
58. RubyVM::InstructionSequence
59. RubyVM::InstructionSequence.of Proc Ou method Ruby Code down to VM Instructions
62. YARB\x02\x00\x00\x00\x03\x00\x00\x00r\x02\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x02\x0 0\x00\x00\x04\x00\x00\x00\xF9\x01\x00\x00\xFD\x01\x00\x00b\x02\x00\x00x86_64- linux\x00*\x00\x00\x00\x00\x00\x00\x00\b\x00\x00\x00\x00\x00\x00\x00*\x00\x00\x00\x00\x0 0\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00Z\x00\x00\x00\x00\x00\x00\x00Z\x00\x00\x00\x00\ x00\x00\x00;\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00Z\x00\x00\x00\x00\x00\x00\x00;\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x 00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Z\x00\x00\x00\x00\x00\x00\x00;\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00*\x0 0\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x00\x00\x00\x001\x00\x00\x00\x00\x00\x00\x00\x 00\x00\x00\x00\v\x00\x00\x00\x02\x00\x00\x00\r\x00\x00\x00\x11\x00\x00\x00\x0F\x00\x00\x 00\x13\x00\x00\x00\r\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x01\x00 \x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x10\x00\x00\x00\x01\x00\x00\x00\x01\x00\x00\x00 \x00\x00\x00\x00\x10\x00\x00\x00\x01\x00\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00\x01\x00 \x00\x00\x14\x00\x00\x009\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0 0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0 0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x0 0\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x02\x00\x0 0\x00\x00\x00\x00\x00\x17\x00\x00\x00\x00\x00\x00\x00\xD9\x00\x00\x00\x00\x00\x00\x00\xF 9\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xFF\xFF\xFF\xFF\xFF\xFF\xF F\xFF\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xF9\x00\x00\x00\x0 0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0 0\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00)\x 01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\xF1\x00\x00\x 00\b\x00\x00\x00\x00\x00\x00\x00E\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x05\x00\x0 0\x00\x00\x00\x00\x00(irb)E\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\a\x00\x00\x00\x0 0\x00\x00\x00the_sumE\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x0 0\x00\x00+\r\x02\x00\x00\x19\x02\x00\x002\x02\x00\x00M\x02\x00\x00
64. == disasm: #<ISeq:the_sum@(irb)>================================= 0000 trace 8 0002 trace 1 0004 putobject_OP_INT2FIX_O_1_C_ 0005 putobject_OP_INT2FIX_O_1_C_ 0006 opt_plus <callinfo!mid:+, argc:1, ARGS_SIMPLE>, <cal 0009 putobject_OP_INT2FIX_O_1_C_ 0010 opt_plus <callinfo!mid:+, argc:1, ARGS_SIMPLE>, <cal 0013 putobject_OP_INT2FIX_O_1_C_ 0014 opt_plus <callinfo!mid:+, argc:1, ARGS_SIMPLE>, <cal 0017 trace 16 0019 leave
65. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1... putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… opt_plus <callinfo!mid:+, argc:1… opt_plus <callinfo!mid:+, argc:1...
66. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1... putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1...
67. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1...
68. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1... n1 > n2 > p1 > n3 > p2 > n4 > p3
69. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1... n1 > n2 > p1 > n3 > p2 > n4 > p3
70. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1... n1 > n2 > p1 > n3 > p2 > n4 > p3
71. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1... n1 > n2 > p1 > n3 > p2 > n4 > p3
72. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1... n1 > n2 > p1 > n3 > p2 > n4 > p3
73. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1... n1 > n2 > p1 > n3 > p2 > n4 > p3
74. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1... n1 > n2 > p1 > n3 > p2 > n4 > p3
75. putobject_OP_INT2FIX_O_1_C_ putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1… putobject_OP_INT2FIX_O_1_C_ opt_plus <callinfo!mid:+, argc:1... n1 > n2 > p1 > n3 > p2 > n4 > p3
76. Recursão?
77. Recursão: Capacidade que uma rotina (função ou método) possui de invocar a si mesma.
78. Recursão:
79. Condição de parada: Hi Fulano! Hi Fulano! Hi Fulano!
80. Recursão vs Iteração
81. Como contar a quantidade de itens em uma lista?
82. Array: Iteração:
83. Iteração: Array: 4
84. Array: 4 Iteração:
85. Iteração: Array: 4
86. Iteração: Array: 4
87. Transformar todas as letras em maiúsculas: ["A", "B", "C", "D"]
88. Mas no dia a dia não fazemos exatamente assim...
89. Como realmente fazemos:
90. E com recursão?
91. Head / Tail
92. “A” Head Tail “B” Head
93. “A” Head Tail
94. “A” Head Tail
95. “A” Head Tail
96. Como contar a quantidade de itens em uma lista?
98. count(["A", "B", "C", "D"]) count(["B", "C", "D"]) count(["C", "D"]) count(["D"]) count([])
99. 1 + count(["B", "C", "D"]) 1 + 1 + count(["D", "D"]) 1 + 1 + 1 + count(["D"]) 1 + 1 + 1 + 1 + count([]) 1 + 1 + 1 + 1 + 0 4
100. Como somar todos os itens de uma lista?
101. 1 + sum([2, 2, 2]) 1 + 2 + sum([2, 2]) 1 + 2 + 2 + sum([2]) 1 + 2 + 2 + 2 + sum([]) 1 + 2 + 2 + 2 + 0 7
102. E por aí vai...
103. Stack Overflow
104. Stack Overflow 1 + count(["B", "C", "D"]) 1 + count(["C", "D"]) 1 + count(["D"]) 1 + count([]) 0 Tamanho do seu Stack
105. Stack Overflow 1 + count(["B", "C", "D"]) 1 + count(["C", "D"]) 1 + count(["D"]) 1 + count([]) 0 Stack Overflow
106. Stack Overflow 1 + count(["B", "C", "D"]) 1 + count(["C", "D"]) 1 + count(["D"]) 1 + count([]) 0 stack level too deep (SystemStackError)
107. Stack Overflow file.rb:7:in `eval': stack level too deep (SystemStackError) from file.rb:7:in `<main>'
108. Stack Overflow stack level too deep (SystemStackError) s 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 +
109. E aí?
110. Opção 1: Aumentar o tamanho do Stack
111. ulimit -all core file size (blocks, -c) 0 data seg size (kbytes, -d) unlimited scheduling priority (-e) 0 file size (blocks, -f) unlimited pending signals (-i) 31321 max locked memory (kbytes, -l) 64 max memory size (kbytes, -m) unlimited open files (-n) 1024 pipe size (512 bytes, -p) 8 POSIX message queues (bytes, -q) 819200 real-time priority (-r) 0 stack size (kbytes, -s) 8192 cpu time (seconds, -t) unlimited max user processes (-u) 31321 virtual memory (kbytes, -v) unlimited file locks (-x) unlimited
112. RubyVM::DEFAULT_PARAMS { thread_vm_stack_size: 1048576, thread_machine_stack_size: 1048576, fiber_vm_stack_size: 131072, fiber_machine_stack_size: 524288 }
113. Opção 2: Tail Call Optimization
114. c Tail Call Optimization 1 + count(["B", "C", "D"]) 1 + count(["C", "D"]) 1 + count(["D"]) 1 + count([]) 0 stack level too deep (SystemStackError)
116. c
117. Tail Call Optimization count(["A", "B", "C", "D"], 0) count(["B", "C", "D"], 1) count(["C", "D"], 2) count(["D"], 3) count([], 4) 4 Tamanho do seu Stack Reaproveitamento do seu Stack
119. file.rb:11:in `count': stack level too deep (SystemStackError) from file.rb:11:in `count' from file.rb:11:in `count' from file.rb:11:in `count' from file.rb:11:in `count' from file.rb:11:in `count' from file.rb:11:in `count' from file.rb:11:in `count' from file.rb:11:in `count' ... 8723 levels... from file.rb:11:in `count' from file.rb:11:in `count' from file.rb:11:in `count' from file.rb:17:in `<main>'
120. Precisamos compilar o nosso código com instruções específicas para a RubyVM / YARV
122. == disasm: #<ISeq:count@ppt/tco.rb>===================================== local table (size: 5, argc: 1 [opts: 1, rest: -1, post: 0, block: -1, kw: -1@ [ 5] list<Arg> [ 4] acc<Opt=0> [ 3] head [ 2] tail 0000 putobject_OP_INT2FIX_O_0_C_ ( 4) 0001 setlocal_OP__WC__0 4 0003 trace 8 0005 trace 1 ( 6) 0007 getlocal_OP__WC__0 5 0009 opt_empty_p <callinfo!mid:empty?, argc:0, ARGS_SIMPLE>, <callcache> 0012 branchunless 21 0014 nop 0015 nop 0016 getlocal_OP__WC__0 4 0018 trace 16 0020 leave 0021 trace 1 ( 8) 0023 getlocal_OP__WC__0 5 0025 opt_send_without_block <callinfo!mid:shift, argc:0, ARGS_SIMPLE>, <callc 0028 setlocal_OP__WC__0 3 0030 trace 1 ( 9) 0032 getlocal_OP__WC__0 5 0034 setlocal_OP__WC__0 2 0036 trace 1 ( 11)
123. == disasm: #<ISeq:count@ppt/tco.rb>===================================== local table (size: 5, argc: 1 [opts: 1, rest: -1, post: 0, block: -1, kw: -1@ [ 5] list<Arg> [ 4] accc<Opt=0> [ 3] head [ 2] tail 0000 putobject_OP_INT2FIX_O_0_C_ ( 4) 0001 setlocal_OP__WC__0 4 0003 trace 8 0005 trace 1 ( 6) 0007 getlocal_OP__WC__0 5 0009 opt_empty_p <callinfo!mid:empty?, argc:0, ARGS_SIMPLE>, <callcache> 0012 branchunless 21 0014 nop 0015 nop 0016 getlocal_OP__WC__0 4 0018 trace 16 0020 leave 0021 trace 1 ( 8) 0023 getlocal_OP__WC__0 5 0025 opt_send_without_block <callinfo!mid:shift, argc:0, ARGS_SIMPLE>, <callc 0028 setlocal_OP__WC__0 3 0030 trace 1 ( 9) 0032 getlocal_OP__WC__0 5 0034 setlocal_OP__WC__0 2 0036 trace 1 ( 11)
124. Acompanhar eventos durante a execução do código internamente na VM stackprof ruby-prof
125. trace + tail call optimization =
128. == disasm: #<ISeq:count@<compiled>>===================================== local table (size: 5, argc: 1 [opts: 1, rest: -1, post: 0, block: -1, kw: -1@-1 [ 5] list<Arg> [ 4] acc<Opt=0> [ 3] head [ 2] tail 0000 putobject_OP_INT2FIX_O_0_C_ ( 2) 0001 setlocal_OP__WC__0 4 0003 getlocal_OP__WC__0 5 ( 3) 0005 opt_empty_p <callinfo!mid:empty?, argc:0, ARGS_SIMPLE>, <callcache> 0008 branchunless 15 0010 nop 0011 nop 0012 getlocal_OP__WC__0 4 0014 leave 0015 getlocal_OP__WC__0 5 ( 5) 0017 opt_send_without_block <callinfo!mid:shift, argc:0, ARGS_SIMPLE>, <callcac 0020 setlocal_OP__WC__0 3 0022 getlocal_OP__WC__0 5 ( 6) 0024 setlocal_OP__WC__0 2 0026 putself ( 8) 0027 getlocal_OP__WC__0 2 0029 getlocal_OP__WC__0 4 0031 putobject_OP_INT2FIX_O_1_C_ 0032 opt_plus <callinfo!mid:+, argc:1, ARGS_SIMPLE>, <callcache> 0035 opt_send_without_block <callinfo!mid:count, argc:2, FCALL|ARGS_SIMPLE>, <c 0038 leave
129. 0010 nop 0011 nop 0012 getlocal_OP__WC__0 4 0014 leave 0015 getlocal_OP__WC__0 5 ( 5) 0017 opt_send_without_block <callinfo!mid:shift, argc:0, ARGS_SIMPLE>, <callcac 0020 setlocal_OP__WC__0 3 0022 getlocal_OP__WC__0 5 ( 6) 0024 setlocal_OP__WC__0 2 0026 putself ( 8) 0027 getlocal_OP__WC__0 2 0029 getlocal_OP__WC__0 4 0031 putobject_OP_INT2FIX_O_1_C_ 0032 opt_plus <callinfo!mid:+, argc:1, ARGS_SIMPLE>, <callcache> 0035 opt_send_without_block <callinfo!mid:count, argc:2, FCALL|ARGS_SIMPLE>, <c 0038 leave
130. 0010 nop 0011 nop 0012 getlocal_OP__WC__0 4 0014 leave 0015 getlocal_OP__WC__0 5 ( 5) 0017 opt_send_without_block <callinfo!mid:shift, argc:0, ARGS_SIMPLE>, <callcac 0020 setlocal_OP__WC__0 3 0022 getlocal_OP__WC__0 5 ( 6) 0024 setlocal_OP__WC__0 2 0026 putself ( 8) 0027 getlocal_OP__WC__0 2 0029 getlocal_OP__WC__0 4 0031 putobject_OP_INT2FIX_O_1_C_ 0032 opt_plus <callinfo!mid:+, argc:1, ARGS_SIMPLE>, <callcache> 0035 opt_send_without_block <callinfo!mid:count, argc:2, FCALL|ARGS_SIMPLE>, <c 0038 leave
133. == disasm: #<ISeq:count@<compiled>>===================================== local table (size: 5, argc: 1 [opts: 1, rest: -1, post: 0, block: -1, kw: -1@-1 [ 5] list<Arg> [ 4] acc<Opt=0> [ 3] head [ 2] tail 0000 putobject_OP_INT2FIX_O_0_C_ ( 2) 0001 setlocal_OP__WC__0 4 0003 getlocal_OP__WC__0 5 ( 3) 0005 opt_empty_p <callinfo!mid:empty?, argc:0, ARGS_SIMPLE>, <callcache> 0008 branchunless 15 0010 nop 0011 nop 0012 getlocal_OP__WC__0 4 0014 leave 0015 getlocal_OP__WC__0 5 ( 5) 0017 opt_send_without_block <callinfo!mid:shift, argc:0, ARGS_SIMPLE>, <callcac 0020 setlocal_OP__WC__0 3 0022 getlocal_OP__WC__0 5 ( 6) 0024 setlocal_OP__WC__0 2 0026 putself ( 8) 0027 getlocal_OP__WC__0 2 0029 getlocal_OP__WC__0 4 0031 putobject_OP_INT2FIX_O_1_C_ 0032 opt_plus <callinfo!mid:+, argc:1, ARGS_SIMPLE>, <callcache> 0035 opt_send_without_block <callinfo!mid:count, argc:2, FCALL|TAILCALL|ARGS_SI 0038 leave
134. _WC__0 4 _WC__0 5 ( 5) hout_block <callinfo!mid:shift, argc:0, ARGS_SIMPLE>, <callcache> _WC__0 3 _WC__0 5 ( 6) _WC__0 2 ( 8) _WC__0 2 _WC__0 4 _INT2FIX_O_1_C_ <callinfo!mid:+, argc:1, ARGS_SIMPLE>, <callcache> hout_block <callinfo!mid:count, argc:2, FCALL|TAILCALL|ARGS_SIMPLE>, <callcache>
136. Por quê?
137. Mais rápido que iterar?
138. user system total real .each: 16.480000 0.000000 16.480000 ( 16.492415) recursion: 26.280000 0.380000 26.660000 ( 26.652826)
139. Maior proximidade com conceitos de linguagens funcionais
140. Considerada uma forma elegante de resolver problemas
141. Quicksort em C utilizando iteração
142. Quicksort em Haskell utilizando recursão
143. Maneira de lidar com diferentes estruturas de dados
144. Listas Ligadas 12 99 37
145. Grafos
146. Árvores Binárias 2 7 5 2 6 9 5 11 4
147. Mais uma maneira de resolver problemas e entender os detalhes da linguagem
148. Referências: - RubyVM::InstructionSequence http://ruby-doc.org/core-2.3.1/RubyVM/InstructionSequence.html - Inline caching in MRI http://tenderlovemaking.com/2015/12/23/inline-caching-in-mri.html - Ruby, Trace, Leave, Oh my! http://kgrz.io/2014/04/19/ruby-trace-leave-oh-my.html
149. Referências: - Tail Call Optimization in Ruby http://nithinbekal.com/posts/ruby-tco/ - Tailin' Ruby http://timelessrepo.com/tailin-ruby - Tail Call Optimization in Ruby: Deep Dive http://blog.tdg5.com/tail-call-optimization-in-ruby-deep-dive/
150. Referências: - TCOMethod Simplifies compiling code with tail call optimization in MRI Ruby https://github.com/tdg5/tco_method - Hamster Efficient, Immutable, Thread-Safe Collection classes for Ruby https://github.com/hamstergem/hamster - Functional Ruby A gem for adding functional programming tools to Ruby. Inspired by Erlang, Clojure, Haskell, and Functional Java. https://github.com/jdantonio/functional-ruby
151. Obrigado! gbaptista.com.br Twitter: @guilhermebps github.com/gbaptista linkedin.com/in/guilhermebaptista