Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Garbage Collection em Ruby
Search
Lauro Caetano
May 17, 2014
Programming
2
120
Garbage Collection em Ruby
Palestra do TDC Florianópolis 2014
Lauro Caetano
May 17, 2014
Tweet
Share
More Decks by Lauro Caetano
See All by Lauro Caetano
Learning Elixir by Examples
laurocaetano
1
220
What's new in Rails 4.1
laurocaetano
0
87
Clojure Introduction.
laurocaetano
1
70
Other Decks in Programming
See All in Programming
C++20 射影変換
faithandbrave
0
560
都市をデータで見るってこういうこと PLATEAU属性情報入門
nokonoko1203
1
590
ペアプロ × 生成AI 現場での実践と課題について / generative-ai-in-pair-programming
codmoninc
1
6.6k
Is Xcode slowly dying out in 2025?
uetyo
1
250
AI時代のソフトウェア開発を考える(2025/07版) / Agentic Software Engineering Findy 2025-07 Edition
twada
PRO
42
9.9k
AIと”コードの評価関数”を共有する / Share the "code evaluation function" with AI
euglena1215
1
110
Blazing Fast UI Development with Compose Hot Reload (droidcon New York 2025)
zsmb
1
280
技術同人誌をMCP Serverにしてみた
74th
1
580
deno-redisの紹介とJSRパッケージの運用について (toranoana.deno #21)
uki00a
0
180
今ならAmazon ECSのサービス間通信をどう選ぶか / Selection of ECS Interservice Communication 2025
tkikuc
21
3.8k
What Spring Developers Should Know About Jakarta EE
ivargrimstad
0
400
なんとなくわかった気になるブロックテーマ入門/contents.nagoya 2025 6.28
chiilog
1
260
Featured
See All Featured
Producing Creativity
orderedlist
PRO
346
40k
The Power of CSS Pseudo Elements
geoffreycrofte
77
5.8k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
stephaniewalter
281
13k
Thoughts on Productivity
jonyablonski
69
4.7k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
30
2.1k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
45
7.5k
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
7
730
Easily Structure & Communicate Ideas using Wireframe
afnizarnur
194
16k
Git: the NoSQL Database
bkeepers
PRO
430
65k
Measuring & Analyzing Core Web Vitals
bluesmoon
7
500
The Illustrated Children's Guide to Kubernetes
chrisshort
48
50k
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
eileencodes
26
2.9k
Transcript
Garbage Collection Ruby
Gerenciamento manual de memória
Objeto 01 Objeto 02
Desalocar manualmente
Objeto 01 Objeto 02
Objeto 01
Mas imagine o seguinte cenário
Objeto 01 Objeto 02
Objeto 01 Objeto 02
Referência para um objeto que não existe mais
Seu sistema pode quebrar
Ou pior…
Ele pode gerar resultados incorretos
Outras preocupações além do domínio da aplicação
Entender como os módulos que você utiliza gerenciam sua memória
Lauro Caetano @laurocaetano
None
None
Open Source
None
None
None
Rails
Rails core team
O que é Garbage Collection e como ele foi evoluindo
a cada nova versão do Ruby
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
O que é Garbage Collection?
Gerenciamento dinâmico automático de memória
3 Responsabilidades
1. Alocar espaço para novos objetos
2. Identificar os objetos ainda vivos
3. Recuperar o espaço ocupado por objetos mortos
Garbage Collection no Ruby
Ruby ainda utiliza o mesmo algoritmo que foi inventado a
mais de 50 anos por John MacCarthy
Mark-Sweep
Free List
None
None
None
None
None
Hora de limpar o Heap
Stop the world
Percorre todos os objetos do heap e marca os que
ainda estão vivos
None
None
None
None
None
Varre novamente o heap, mas agora em busca dos objetos
não marcados e os remove do heap
None
None
None
None
None
None
None
None
Volta a executar o seu programa
Vamos ao código
! 1 def new! 2 ref = allocate! 3 !
4 if ref.nil?! 5 collect! 6 ! 7 if ref.nil?! 8 raise "Out of memory"! 9 end! 10 end! 11 end! ! !
12 ! 13 def collect! 14 mark_from_roots! 15 sweep(@heap_start, @heap_end)!
16 end! 17 ! ! !
17 ! 18 def mark_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
32 ! 33 def mark! 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
47 ! 48 def sweep(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
Desvantagens do Mark and sweep
Fazer Full GC toda hora que o heap está cheio
não parece uma boa ideia
Stop the world
Mark and sweep é proporcional ao tamanho do heap
Evolução
Lazy Sweep Ruby 1.9
Fazer Full GC toda hora que o heap está cheio
não parece uma boa ideia
Recuperar apenas o espaço necessário para criar um novo objeto
e permitir que a aplicação continue rodando
Agora o sweep não para mais o mundo todo
A alocação é responsável por checar se existe espaço disponível
Caso não tenha espaço disponível, fazer Lazy Sweep até obter
o espaço necessário
12 ! 13 def allocate(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
Bitmap Mark Ruby 2.0
None
Como os bits de marcação no ficavam objeto, os valores
eram sempre diferentes
Para possibilitar que o Unix compartilhe valores iguais
Os bits de marcação foram movidos para uma tabela de
bitmap
1 1 1 1 1 0 0
Generational Garbage Collection Ruby 2.1
Mark and sweep é proporcional ao tamanho do heap
Weak generational hypothesis
O coletor processa mais frequentemente objetos novos do que objetos
maduros
Um objeto maduro é aquele que permanece ativo por um
algum período de tempo
Enquanto um objeto novo é aquele que seu sistema acabou
de criar
Geração Nova Geração Madura
Quando o mark and sweep terminar, os objetos restantes serão
considerados maduros
Geração Nova Geração Madura
Geração Nova Geração Madura
Objetos maduros não serão marcados novamente até um próximo full
GC
Quando o full GC ocorrer, todos os objetos passarão pelo
mark and sweep
É legal entender como as coisas funcionam
Obrigado @laurocaetano github.com/laurocaetano
Bonus
JRuby and Rubinius.
Copying Garbage Collection
Segmento de memória contínua
Bump Allocation
Aloca segmentos adjacentes de memória, mantendo um ponteiro para a
próxima alocação
Próxima alocação
Próxima alocação
Próxima alocação
Objetos podem ser de tamanhos diferentes
A grande vantagem é que valores relacionados ficam próximos
A CPU pode cachear a região de memória que for
acessada frequentemente
Também utiliza o Garbage Collection Generacional
Ruby 2.2
GC Simbolos
https://bugs.ruby-lang.org/issues/9634
Obrigado @laurocaetano github.com/laurocaetano