Introdução ao Eclipse Memory Analyzer (MAT)

O Eclipse Memory Analyzer (MAT) é uma ferramenta robusta e de alta performance projetada para analisar snapshots de memória (heap dumps) de aplicações Java. Seu principal objetivo é auxiliar desenvolvedores na identificação de vazamentos de memória e na otimização do consumo de recursos. Ao processar milhões de objetos, o MAT calcula rapidamente a retenção de memória e destaca as referências que impedem o Garbage Collector (GC) de liberar espaço, apresentando esses dados através de relatórios visuais e intuitivos.

Geração e Carregamento de Heap Dumps

Para iniciar uma análise, é necessário obter um arquivo de heap dump (geralmente com a extensão .hprof). Isso pode ser feito utilizando o comando jmap do JDK ou através de MBeans JMX em tempo de execução. Arquivos de dump de aplicações em produção podem facilmente exceder vários gigabytes. Ferramentas nativas ou mais simples, como o VisualVM, muitas vezes falham ao carregar arquivos massivos ou não conseguem exibir as cadeias de referência completas. O MAT, por outro lado, é otimizado para lidar com dumps de grande porte, desde que a JVM que executa o próprio MAT tenha memória suficiente alocada (configurada no arquivo MemoryAnalyzer.ini).

Instalação do Plugin no Eclipse

O MAT pode ser utilizado como uma aplicação standalone ou integrado ao Eclipse IDE. Para instalá-lo no Eclipse:

1. Navegue até Help > Eclipse Marketplace.
2. Pesquise por "Memory Analyzer" e clique em Install.
3. Aceite os termos de licença e conclua a instalação, reiniciando a IDE quando solicitado.
4. Após a reinicialização, acesse Window > Open Perspective > Memory Analysis para começar a usar a ferramenta.

Conceitos Fundamentais de Memória

Shallow Heap e Retained Heap

Para interpretar corretamente os relatórios do MAT, é crucial compreender duas métricas principais:

• Shallow Heap (Memória Rasa): Representa o tamanho estrito do objeto na memória, sem considerar os objetos referenciados por ele. Por exemplo, o shallow heap de uma String inclui apenas o cabeçalho do objeto e as referências para seus campos internos, independentemente do tamanho do array de caracteres subjacente.
• Retained Heap (Memória Retida): Indica a quantidade total de memória que seria liberada se o objeto fosse coletado pelo GC. Inclui o shallow heap do próprio objeto e o shallow heap de todos os objetos que se tornariam inacessíveis (Retained Set) após a sua remoção.

Árvore de Dominadores (Dominator Tree)

A Dominator Tree é uma representação gráfica das relações de dependência de memória. Um objeto A domina um objeto B se todos os caminhos de referência a partir dos GC Roots até B passarem obrigatoriamente por A. Na visualização do MAT, a subárvore de um nó específico corresponde exatamente ao seu Retained Set, facilitando a identificação de estruturas de dados que monopolizam a memória.

Identificação de GC Roots e Vazamentos

Os GC Roots são os pontos de partida para o algoritmo de coleta de lixo. Eles incluem variáveis locais de threads ativas, variáveis estáticas, referências JNI e objetos em espera de finalização. O MAT classifica esses roots e permite rastrear as cadeias de referência (Path to GC Roots) para entender por que um objeto suspeito não está sendo descartado.

A ferramenta também oferece o relatório Leak Suspects, que analisa automaticamente o heap dump e aponta as classes e instâncias que estão consumindo uma porcentagem anômala da memória, servindo como um excelente ponto de partida para investigações de vazamento.

Consultas Avançadas com OQL (Object Query Language)

O MAT possui um motor de consultas próprio, a OQL, que utiliza uma sintaxe inspirada em SQL para filtrar e inspecionar objetos dentro do heap dump. Abaixo estão os principais recursos e exemplos práticos com estruturas modificadas para demonstração.

Cláusulas SELECT e FROM

A cláusula SELECT define os dados a serem projetados, enquanto FROM estabelece o escopo da busca (classes, expressões regulares ou endereços de memória).

-- Selecionar todas as instâncias de LinkedList
SELECT * FROM java.util.LinkedList L

-- Projetar o array interno de uma Hashtable
SELECT OBJECTS map.table FROM java.util.Hashtable map

-- Buscar instâncias de classes que correspondam a um padrão regex
SELECT * FROM "com\.minhaempresa\.cache\..*"

-- Obter o Retained Set de uma classe específica
SELECT AS RETAINED SET * FROM com.minhaempresa.model.Usuario

O uso da palavra-chave INSTANCEOF permite incluir subclasses na busca:

SELECT * FROM INSTANCEOF java.util.AbstractMap

Filtragem com a Cláusula WHERE

A cláusula WHERE aplica condições lógicas para refinar os resultados. É possível acessar atributos internos e metadados do MAT (prefixados com @).

-- Encontrar arrays de bytes maiores que 10KB
SELECT * FROM byte[] buffer WHERE buffer.@length > 10240

-- Filtrar Strings que contenham um padrão específico e não sejam nulas
SELECT * FROM java.lang.String str 
WHERE toString(str) LIKE ".*ERROR.*" AND str.value != null

-- Combinar condições para encontrar HashMaps com alta retenção de memória
SELECT * FROM java.util.HashMap h 
WHERE h.table.@length > 50 AND h.@retainedHeapSize > 500000

Atributos e Métodos de Proxy

O MAT encapsula os objetos do heap em interfaces de proxy (como IObject, IClass, IArray) que expõem metadados úteis. A tabela abaixo resume alguns atributos essenciais:

Além de atributos, métodos nativos podem ser invocados diretamente na OQL para manipulação de dados:

-- Obter o elemento no índice 5 de um array de inteiros
SELECT arr.getValueAt(5) FROM int[] arr WHERE arr.@length > 5

-- Verificar se uma classe carregada no snapshot é do tipo array
SELECT cls, cls.isArrayType() FROM ${snapshot}.getClasses() cls

-- Converter o endereço do objeto para hexadecimal
SELECT toHex(obj.@objectAddress) FROM java.lang.Thread obj

Funções Embutidas para Análise de Grafo

A OQL fornece funções específicas para navegar pelo grafo de referências do heap, o que é vital para mapear vazamentos complexos.

Exemplo prático utilizando funções de grafo para inspecionar a rede de referências de uma conexão de banco de dados:

-- Encontrar todos os objetos que mantêm uma referência ativa para a classe de Conexao
SELECT OBJECTS inbounds(c) FROM com.minhaempresa.db.Conexao c

-- Listar os dominadores diretos de um pool de conexões específico
SELECT OBJECTS dominators(pool) FROM com.minhaempresa.db.PoolConexoes pool

-- Identificar o dominador imediato de instâncias de SessaoUsuario
SELECT DISTINCT OBJECTS dominatorof(s) FROM com.minhaempresa.auth.SessaoUsuario s