Perché nei sistemi a singolo processore sono necessari meccanismi di sincronizzazione quando si lavora con applicazioni multithread?

Nei sistemi a singolo processo, anche se in ogni momento viene eseguito un solo thread, le applicazioni multithread possono passare tra i thread (cambio di contesto). Se più thread accedono contemporaneamente a risorse condivise (ad esempio variabili o strutture dati), senza meccanismi di sincronizzazione, possono verificarsi condizioni di gara, in cui i dati diventano incoerenti.

I meccanismi di sincronizzazione (mutex, semafori, blocchi) garantiscono che solo un thread possa, in un dato momento, modificare o leggere una risorsa condivisa, prevenendo errori e garantendo la correttezza del programma.

Esempio: se due thread aumentano contemporaneamente un contatore condiviso senza blocco, il valore finale può essere inferiore a quello atteso a causa di conflitti durante la lettura e la scrittura.