IO mapeado em memória e volatile

Em microcontroladores e sistemas embarcados, os registradores de hardware aparecem como endereços de memória. Leia ou escreva neles como faria com a memória normal — mas o compilador não pode otimizar esses acessos eliminando-os.

O qualificador volatile informa ao compilador que o valor de uma variável pode mudar fora do programa (por interrupções ou pelo hardware). Cada acesso deve ocorrer exatamente como foi escrito.

O compilador não pode:

• Armazenar o valor em um registrador entre leituras
• Reordenar os acessos
• Eliminar leituras ou escritas "redundantes"

Defina uma estrutura que corresponda ao mapa de registradores de hardware e então converta um endereço fixo em um ponteiro.

Mesmo com volatile, as operações RMW são NOT atômicas. Em sistemas com vários núcleos ou com acesso simultâneo por ISR, você precisa de operações atômicas explícitas ou de desativação de interrupções.

Um equívoco comum. volatile não fornece ordenação de memória entre linhas de execução. Use std::atomic para acesso seguro em contextos concorrentes — até mesmo para sinalizadores compartilhados.

Defina, limpe ou alterne bits com operadores bit a bit.

Para acessar bits nomeados, defina uma union de um uint32 e de uma struct com campos de bits. Esteja ciente de que a ordem dos campos de bits é definida pela implementação.

Em plataformas com modelos de memória fracos (ARM), use __DMB(), __DSB() ou std::atomic_thread_fence para impor uma ordem entre os acessos.

Se o MCU tiver cache, a memória dos periféricos geralmente deverá ser marcada como não armazenável em cache; caso contrário, você correrá o risco de obter leituras obsoletas. A configuração da MMU/MPU cuida disso.

Os buffers usados pelo DMA devem estar alinhados, não devem ser armazenáveis em cache e devem ter operações de limpeza apropriadas em plataformas com cache. Consulte o manual do seu CPU.

Teste unitariamente o código que acessa o hardware abstraindo o acesso aos registradores por trás de uma interface — simule-a nos testes e instancie a implementação real no hardware.

O que a palavra-chave volatile garante?

Use volatile para registradores de hardware mapeados na memória — isso impede que o compilador elimine os acessos durante a otimização. Ele não serve para sincronização entre threads — use std::atomic para isso. Combine-o com barreiras de memória em CPUs com memória fraca.