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:

• semaforji,
• monitorji,
• zmenki,
• kanali,
• vtičnice.

Klasični problemi so problem omejenega vmesnika, piscev in bralcev, filozofov pri kosilu, spečega brivca itd.