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