Kritični odsek je del programske kode procesa, kjer proces spreminja določene globalne spremenljivke, skupne podatkovne zbirke ipd. Za zagotovitev pravilnega spreminjanja teh podatkov je nujno, da se v tem delu kode vedno nahaja le en proces (medsebojno izključevanje),
Za sinhronizacijo se danes uporabljajo:
Klasični problemi so problem omejenega vmesnika, piscev in bralcev, filozofov pri kosilu, spečega brivca itd.