Функционально-логическая модель устройства управления ресурсами в многопроцессорной системе

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