Jeandle JDK ou por que desenvolvedores acoplaram o LLVM à Java Virtual Machine

Mergulhar nas entranhas do compilador C2 do HotSpot JVM não é para os fracos de coração. O código C++ do C2 foi escrito ao longo de décadas. Ele acumulou uma infinidade de otimizações específicas, mas mantê-lo fica mais difícil a cada ano. Em algum momento, a equipe de engenharia da Oracle tentou facilitar sua vida com o projeto Graal, reescrevendo o compilador JIT em Java. Os desenvolvedores do projeto Jeandle adotaram uma abordagem diferente: decidiram pegar o framework LLVM existente e torná-lo o motor de compilação do OpenJDK.

O que é o Jeandle e por que ele precisa do LLVM

Jeandle é um compilador JIT experimental para Java construído diretamente sobre o OpenJDK. Em vez de depender dos compiladores internos C1 ou C2, ele intercepta a execução de bytecode quente e o passa para o gerador de código do LLVM.

Por que trazer o LLVM para a Java Virtual Machine?

A principal vantagem do LLVM é a vasta coleção de otimizações de baixo nível criadas pela comunidade global para C, C++ e Rust. Vectorização automática de instruções, análise profunda de loops e otimizações adaptadas a recursos específicos de processadores já estão presentes no LLVM e recebem atualizações regulares.

No C2 tradicional, cada nova otimização ou suporte para uma nova arquitetura de processador (como RISC-V) deve ser implementado manualmente. Ao combinar o OpenJDK com o LLVM, os autores do Jeandle visam obter um poderoso gerador de código de máquina sem reescrever otimizadores do zero.

Como funciona nos bastidores

O processamento de código no Jeandle é dividido em várias etapas:

1. A máquina virtual rastreia métodos de aplicação chamados com frequência.
2. Quando o bytecode de um método é considerado quente o suficiente, o Jeandle o traduz para LLVM IR.
3. Os passes de otimização do LLVM são aplicados ao código IR resultante.
4. O LLVM compila IR para código de máquina nativo para a plataforma alvo (x86_64, AArch64, etc.).
5. O JVM troca a referência do método, e a execução continua com o código de máquina compilado.

O repositório do projeto inclui documentação detalhada. O diretório guides contém descrições da arquitetura do sistema, instruções de build e um documento separado de configuração para debugging.

Os desenvolvedores expuseram o controle de comportamento do compilador através de flags dedicadas do JVM. Essas flags permitem ajustar níveis de otimização e solicitar dumps da representação intermediária LLVM IR durante a execução da aplicação.

O principal desafio do JIT baseado em LLVM

A ideia de usar LLVM em compiladores JIT não é nova. Tentativas semelhantes foram feitas anteriormente no projeto Shark para OpenJDK e no projeto Falcon na Azul. O principal obstáculo neste caminho é a própria velocidade de compilação.

O LLVM foi originalmente projetado para compilação ahead-of-time (AOT). Em compiladores estáticos como o Clang, o processo pode levar minutos—a prioridade é que o binário final execute o mais rápido possível. No modo JIT, o tempo de compilação é crítico. Se o LLVM começar a gastar muito tempo e otimizar meticulosamente cada método, a aplicação simplesmente congelará durante a fase de warmup.

Além disso, os autores do Jeandle enfrentam uma tarefa complexa de integração com o runtime Java. O compilador precisa lidar corretamente com safepoints para o coletor de lixo, trabalhar com memory barriers e suportar carregamento dinâmico de classes.

Estado atual e perspectivas futuras

Atualmente, o Jeandle está na fase ativa de prototipagem. O repositório acumulou cerca de 460 estrelas e mais de 60 issues abertas. O código ainda não está pronto para uso em produção, e os autores não escondem isso.

No entanto, o projeto será de interesse para várias categorias de engenheiros:

• Aqueles que estão estudando o funcionamento interno do JVM e querem entender como o JIT funciona com um exemplo real.
• Desenvolvedores de compiladores buscando casos de uso práticos de integração com LLVM IR.
• Pesquisadores criando perfis de otimização customizados para arquiteturas de processadores específicas.

O código fonte é aberto sob a licença GPL v2.0. Se você quer entender como combinar uma Java Virtual Machine com um compilador nativo, consulte a documentação do projeto—ela cobre o processo de build e as decisões arquiteturais em detalhes.