Potenciais condições de corrida Java

Tentando entender a seguinte afirmação:

Uma corrida de dados ocorre quando 2 ou mais threads tentam acessar a mesma variável não final sem sincronização. Não usar a sincronização pode levar a alterações que não são visíveis para outros threads, portanto, é possível ler os dados obsoletos, o que por sua vez pode ter consequências como loops infinitos, estruturas de dados corrompidas ou cálculos imprecisos. Este código pode resultar em um loop infinito, porque o thread do leitor pode nunca observar as alterações feitas pelos threads do escritor:

class Waiter implements Runnable {
  private boolean shouldFinish;

  void finish() { shouldFinish = true; }

  public void run() {
    long iteration = 0;
    while (!shouldFinish) {
      iteration++;
    }
    System.out.println("Finished after: " + iteration);
  }
}

class DataRace {

  public static void main(String[] args) throws InterruptedException {
    Waiter waiter = new Waiter();
    Thread waiterThread = new Thread(waiter);
    waiterThread.start();

    waiter.finish();
    waiterThread.join();
  }
}

Meu pensamento é que,

• No Java Reader/Writer, dados primitivos como booleanos são ações atômicas.
• Mesmo que o thread leitor não tenha conseguido observar as alterações feitas pelos threads gravadores em um loop, ele deverá ser capaz de ver a mudança no próximo loop.

Não é o caso? Por que? Porque o tópico do leitor pode nunca ceder ao tópico do escritor? (Se sim, não acho que se chamará Condições de Corrida, certo?)