Pode explicar como funciona o modelo de memória em Java e quais são os princípios básicos que o sustentam?

O modelo de memória em Java descreve como os threads interagem com a memória, incluindo o trabalho com variáveis e sincronização. Princípios básicos:

• Visibilidade das mudanças: as alterações feitas por um thread devem ser visíveis para outros threads com a sincronização adequada.
• Atomicidade: as operações sobre variáveis podem ser atômicas (por exemplo, leitura/escrita de tipos primitivos, exceto long e double sem volatile).
• Ordem de execução: o compilador e o processador podem alterar a ordem das instruções, mas respeitando as regras de sincronização.

O Modelo de Memória Java (JMM) define como e quando as mudanças nas variáveis se tornam visíveis para outros threads, usando palavras-chave como volatile, synchronized e outros mecanismos.

Exemplo:

volatile int counter = 0;

// A alteração de counter em um thread será garantida para ser visível em outro
counter = 5;

Sem volatile ou sincronização, as mudanças podem não ser imediatamente visíveis para outros threads devido ao cache e otimizações.