Prečo sú v jednopriečkových systémoch potrebné mechanizmy synchronizácie pri práci s viacvláknovými aplikáciami?

V jednopriechodových systémoch, hoci v každom momente beží iba jeden vlákno, môžu viacvláknové aplikácie prepínať medzi vláknami (prepnutie kontextu). Ak viac vlákien súčasne pristupuje ku zdieľaným zdrojom (napríklad premenným alebo dátovým štruktúram), bez mechanizmov synchronizácie môžu nastať súťažné podmienky, keď sa údaje stanú nekonzistentnými.

Mechanizmy synchronizácie (mutexy, semafory, zámky) zabezpečujú, že iba jedno vlákno v danom momente môže meniť alebo čítať zdieľaný zdroj, čím sa predchádza chybám a zabezpečuje správnosť programu.

Príklad: ak dve vlákna súčasne zvyšujú zdieľaný čítač bez zámku, konečná hodnota môže byť menšia ako očakávaná kvôli konfliktom pri čítaní a zápise.