Encontro 1016 de outubro de 2026Unidade IV — Memória e E/S
Memória virtual, paginação e limites em container
O mecanismo que explica por que a máquina "engasga": paginação, page fault (minor × major) e thrashing. E como o cgroups transforma isso num limite prático de container.
- paginação
- page fault
- thrashing
- cgroups
Material do encontro
Para estudar
Eixo do curso
O Docker desta semana
Dimensionamento empírico do --memory: achar o limite certo em vez de chutar.
Depois da aula
Para ler
A ordem aqui é invertida de propósito: primeiro você vive a experiência no terminal, depois o livro dá nome e profundidade ao que você viu.
Obrigatórias
- RecorteTANENBAUM, 3.3.1p. 134–136
Paginação
- BaseLAUREANOp. 94–98
Releitura de apoio: p. 94–98 com novos olhos
Agora você sabe o que é page fault.
Aprofundamento
- AprofundamentoTANENBAUM, 3.3 e 3.5.2p. 134–144 e 155–156
Paginação completa · Controle de carga (thrashing)
- Fora do escopoTANENBAUM, 3.4
Algoritmos de substituição de páginas
Decisão de calibragem da disciplina: relevante para engenharia de SO, não para o perfil ADS. Não será cobrado.
- Base — Leitura obrigatória — a ponte acessível (Laureano)
- Recorte — Leitura obrigatória curta — o rigor conceitual (Tanenbaum), no máximo ~8 páginas
- Aprofundamento — Opcional, para quem quer ir além — não é cobrado, mas é valorizado na defesa