Dlaczego w systemach jednoprocesorowych są potrzebne mechanizmy synchronizacji podczas pracy z aplikacjami wielowątkowymi?

W jednoprocesowych systemach, mimo że w każdym momencie wykonuje się tylko jeden wątek, aplikacje wielowątkowe mogą przełączać się między wątkami (przełączanie kontekstu). Jeśli kilka wątków jednocześnie odwołuje się do wspólnych zasobów (np. zmiennych lub struktur danych), bez mechanizmów synchronizacji mogą wystąpić warunki wyścigu, gdy dane stają się niespójne.

Mechanizmy synchronizacji (muteksy, semafory, blokady) gwarantują, że tylko jeden wątek w danym momencie może modyfikować lub odczytywać wspólny zasób, zapobiegając błędom i zapewniając poprawne działanie programu.

Przykład: jeśli dwa wątki jednocześnie zwiększają wspólny licznik bez blokady, końcowa wartość może być mniejsza od oczekiwanej z powodu konfliktów podczas odczytu i zapisu.