Por que os mecanismos de sincronização são necessários em sistemas de um único processador ao trabalhar com aplicações multithread?

Nos sistemas de um único processo, embora apenas um thread seja executado em cada momento, aplicações multithread podem alternar entre threads (troca de contexto). Se vários threads acessarem simultaneamente recursos partilhados (por exemplo, variáveis ou estruturas de dados), sem mecanismos de sincronização, podem ocorrer condições de corrida, tornando os dados inconsistentes.

Os mecanismos de sincronização (mutexes, semáforos, bloqueios) garantem que apenas um thread possa, num dado momento, modificar ou ler um recurso partilhado, prevenindo erros e garantindo a correção do programa.

Exemplo: se dois threads aumentarem simultaneamente um contador partilhado sem bloqueio, o valor final pode ser menor do que o esperado devido a conflitos durante a leitura e escrita.