Kodėl vieno proceso sistemoje reikalingi sinchronizacijos mechanizmai dirbant su daugiagijų programomis?

Vieno proceso sistemoje, nors kiekvienu momentu veikia tik viena sruoga, daugiabriaunės programos gali pereiti tarp sruogų (konteksto keitimas). Jei keli sruogos vienu metu prieina prie bendrų išteklių (pvz., kintamųjų ar duomenų struktūrų), be sinchronizacijos mechanizmų gali atsirasti lenktynių sąlygų, kai duomenys tampa nekonsekventi.

Sinchronizacijos mechanizmai (mutexai, semaforai, užraktai) užtikrina, kad tik viena sruoga vienu metu gali keisti ar skaityti bendrą išteklių, taip išvengiant klaidų ir užtikrinant programos teisingumą.

Pavyzdys: jei dvi sruogos vienu metu be užrakto padidina bendrą skaitiklį, galutinis rezultatas gali būti mažesnis nei tikėtasi dėl konfliktų skaitant ir rašant.