Explique operações atômicas, visibilidade de memória e barreiras de memória.

Question

IT Interview Practice · Accepted Answer

**Uma operação atômica se completa de forma indivisível — nenhuma outra thread vê um estado pela metade; visibilidade de memória é se as escritas de uma thread são vistas por outra; barreiras de memória impõem ordenação para que essas escritas se tornem visíveis.** Locks não são a única preocupação — o modelo de memória é.

## Atomicidade

Uma op atômica (ex.: `fetch_add`, compare-and-swap) executa como um único passo indivisível, então nenhuma race a divide. Hardware e linguagem fornecem atômicos para contadores e flags sem um lock completo.

```java
AtomicInteger counter = new AtomicInteger();
counter.incrementAndGet();  // atomic read-modify-write, no lock
```

## Visibilidade e reordenação

CPUs e compiladores modernos guardam valores em registradores e reordenam instruções por velocidade. Assim uma escrita em uma thread pode ficar em um store buffer, invisível para outras, e as operações podem parecer fora de ordem.

```java
// Without 'volatile', thread B may loop forever:
volatile boolean ready = false;  // volatile → writes are visible + ordered
// Thread A: data = 42; ready = true;
// Thread B: while (!ready) {}  then read data
```

## Barreiras de memória

Uma **barreira** (fence) é uma instrução que impede a reordenação através dela e faz flush/load de memória, garantindo ordenação. `volatile`, `synchronized` e atômicos inserem as barreiras certas para que uma relação happens-before se sustente: o que A escreveu antes de liberar, B vê depois de adquirir.

## Por que isso importa

Atomicidade sozinha não basta — sem garantias de visibilidade um valor corretamente travado ainda pode ser lido desatualizado. Isso explica por que `volatile` existe, por que double-checked locking é sutil, e por que código lock-free precisa de escolhas cuidadosas de ordenação de memória. É a diferença entre "funciona na minha máquina" e correto em hardware multi-core real.

Atomicidade

Visibilidade e reordenação

Barreiras de memória

Por que isso importa

Perguntas relacionadas