В статье описаны три синхронизирующих примитива, которое обеспечивают не только взаимное исключение, но и прохождение параллельных процессов на критических интервалах с учетом из фактического приоритета в вычислительной системе, что не может быть обеспечено известным механизмом семафоров.
