Процесс синхронизации процессов строится на основе двух основополагающих ограничениях:
1.
На порядок предшествования в логическом времени на некоторые точки трасс процессов. Это ограничение можно пояснить на следующем примере. Пусть процесс p передает информацию процессу q. Процесс q должен начать работу только после записи необходимой информации процессом p.
2. На условие, разрешающее переход некоторых точек трасс, на определенные процессы. Пусть даны N процессов p1…pn. Определим для них общую точку встречи, пока все другие процессы не достигнут ее.
Такие критичные узлы называются точками синхронизации. В этих точках обычно процессы ожидают до выполнения некоторого условия.
Процесс в состоянии ожидания называется ожидающий (блокированный), а в противоположном состоянии (выполнения) – активный. Переход из активного состояния в состояние ожидания называется блокировкой, а обратный процесс – активизацией (пробуждением).
Механизм, осуществляющий синхронизацию выполнения процессов, называется монитором. Блокировка и активизация процессов выражаются в процедурах с помощью условий.