Baixar para ler offline
Carregado porLauro Caetano
Garbage collection no Ruby
O documento discute a evolução do garbage collection no Ruby, começando com o algoritmo Mark-and-sweep e como ele foi aprimorado nas versões posteriores do Ruby para melhorar a performance e reduzir paradas no mundo ("stop the world"). As melhorias incluem lazy sweep no Ruby 1.9, bitmap mark no Ruby 2.0 e generational garbage collection no Ruby 2.1.
Garbage collection no Ruby
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7. Mas imagine oseguinte cenário
- 8.
- 9.
- 10. Referência para umobjeto que não existe mais
- 11.
- 12.
- 13. Ele pode gerar resultadosincorretos
- 14. Outras preocupações além dodomínio da aplicação
- 15. Entender como os módulosque você utiliza gerenciam sua memória
- 16.
- 19.
- 23.
- 24.
- 25. O que éGarbage Collection e como ele foi evoluindo a cada nova versão do Ruby
- 26. Agenda • O queé Garbage Collection • Garbage Collection no Ruby - Mark and sweep • Desvantagens do Mark and Sweep • Evolução • Lazy Sweep - Ruby 1.9 • Bitmap Mark - Ruby 2.0 • Generational Garbage Collection - Ruby 2.1
- 27. O que éGarbage Collection?
- 28.
- 29.
- 30. 1.Alocar espaço para novosobjetos
- 31. 2. Identificar osobjetos ainda vivos
- 32. 3. Recuperar oespaço ocupado por objetos mortos
- 33.
- 34. Ruby ainda utilizao mesmo algoritmo que foi inventado a mais de 50 anos por John MacCarthy
- 35.
- 36.
- 42. Hora de limparo Heap
- 43.
- 44. Percorre todos osobjetos do heap e marca os que ainda estão vivos
- 50. Varre novamente oheap, mas agora em busca dos objetos não marcados e os remove do heap
- 59. Volta a executaro seu programa
- 60.
- 61. ! 1 def new! 2ref = allocate! 3 ! 4 if ref.nil?! 5 collect! 6 ! 7 if ref.nil?! 8 raise "Out of memory"! 9 end! 10 end! 11 end! ! !
- 62. 12 ! 13 defcollect! 14 mark_from_roots! 15 sweep(@heap_start, @heap_end)! 16 end! 17 ! ! !
- 63. 17 ! 18 defmark_from_roots! 19 initialize(worklist)! 20 ! 21 @roots.each do |fld|! 22 ref = fld! 23 if !ref.nil? && !marked?(ref)! 24 set_marked(ref)! 25 mark! 26 end! 27 end! 28 end! 29
- 64. 32 ! 33 defmark! 34 while(@worklist.any?)! 35 ref = remove(worklist)! 36 ! 37 pointers(ref).each do |fld|! 38 child = fld! 39 ! 40 if !child.nil? && !marked?(child)! 41 set_marked(child)! 42 add(@worklist, child)! 43 end! 44 end! 45 end! 46 end! 47
- 65. 47 ! 48 defsweep(heap_start, heap_end)! 49 scan = start! 50 ! 51 while (scan < heap_end)! 52 if marked?(scan)! 53 unset_marked(scan)! 54 else! 55 free(scan)! 56 end! 57 ! 58 scan = next_object(scan)! 59 end! 60 end
- 66.
- 67. Fazer Full GCtoda hora que o heap está cheio não parece uma boa ideia
- 68.
- 69. Mark and sweepé proporcional ao tamanho do heap
- 70.
- 71.
- 72. Fazer Full GCtoda hora que o heap está cheio não parece uma boa ideia
- 73. Recuperar apenas oespaço necessário para criar um novo objeto e permitir que a aplicação continue rodando
- 74. Agora o sweepnão para mais o mundo todo
- 75. A alocação éresponsável por checar se existe espaço disponível
- 76. Caso não tenhaespaço disponível, fazer Lazy Sweep até obter o espaço necessário
- 77. 12 ! 13 defallocate(size)! 14 result = remove(size)! 15 ! 16 if result.nil?! 17 lazy_sweep(size)! 18 result = remove(size)! 19 end! 20 ! 21 result! 22 end! 23
- 78.
- 80. Como os bitsde marcação no ficavam objeto, os valores eram sempre diferentes
- 81. Para possibilitar queo Unix compartilhe valores iguais
- 82. Os bits demarcação foram movidos para uma tabela de bitmap
- 83. 1 1 11 10 0
- 84.
- 85. Mark and sweepé proporcional ao tamanho do heap
- 86.
- 87. O coletor processamais frequentemente objetos novos do que objetos maduros
- 88. Um objeto maduroé aquele que permanece ativo por um algum período de tempo
- 89. Enquanto um objetonovo é aquele que seu sistema acabou de criar
- 90. Geração Nova GeraçãoMadura
- 91. Quando o markand sweep terminar, os objetos restantes serão considerados maduros
- 92. Geração Nova GeraçãoMadura
- 93. Geração Nova GeraçãoMadura
- 94. Objetos maduros não serãomarcados novamente até um próximo full GC
- 95. Quando o fullGC ocorrer, todos os objetos passarão pelo mark and sweep
- 96. É legal entendercomo as coisas funcionam
- 97.
- 98.
- 99.
- 100.
- 101.
- 102.
- 103. Aloca segmentos adjacentesde memória, mantendo um ponteiro para a próxima alocação
- 104.
- 105.
- 106.
- 107. Objetos podem serde tamanhos diferentes
- 108. A grande vantagemé que valores relacionados ficam próximos
- 109. A CPU podecachear a região de memória que for acessada frequentemente
- 110. Também utiliza oGarbage Collection Generacional
- 111.
- 112.
- 113.
- 114.