Bir prosessorlu sistemlərdə çox ipli tətbiqlərlə işləyərkən sinxronizasiya mexanizmləri niyə lazımdır?

Yeganə prosessli sistemlərdə, hər an yalnız bir axın işləsə də, çox axınlı tətbiqlər axınlar arasında keçid edə bilər (kontekst dəyişimi). Əgər bir neçə axın eyni zamanda ümumi resurslara müraciət edirsə (məsələn, dəyişənlər və ya məlumat strukturları), sinxronizasiya mexanizmləri olmadan yarış şəraiti baş verə bilər və bu, məlumatların qeyri-sabit olmasına səbəb olar.

Sinxronizasiya mexanizmləri (mutexlər, semaforlar, kilidlər) yalnız bir axına icazə verir ki, o, müəyyən vaxtda ümumi resursu dəyişdirə və ya oxuya bilsin, səhvlərin qarşısını alır və proqramın düzgünlüyünü təmin edir.

Nümunə: iki axın eyni zamanda ümumi sayğacı kilidləmədən artırsa, yekun dəyər oxuma və yazma zamanı baş verən münaqişələr səbəbindən gözləniləndən aşağı ola bilər.