Сравнительный анализ стратегий доступа к критическим ресурсам в больших многопроцессорных системах на базе асимптотических методов

С целью синхронизации выполнения параллельных процессов в многопроцессорных вычислительных системах (МВС) используется механизм критических ресурсов (КР). Рассматриваются две стратегии доступа к критическому ресурсу: если требуемый КР занят, то процесс либо 1) непрерывно пытается получить доступ к КР, занимая некоторый процессор, либо 2) освобождает процессор для другого процесса и переходит в состояние блокировки до тех пор, пока не будут одновременно свободны требуемый КР и некоторый процессор. Предлагается обобщенная сетевая модель МВС с большим числом процессоров, позволяющая оценить производительность при различных сочетаниях стратегий доступа к КР, с учетом числа и параметров модулей локальной, оперативной и внешней памяти, ресурсов системы коммутации и различных спецпроцессоров. На базе асимптотического анализа данной модели доказывается, что при любых параметрах МВС и нагрузки на нее первая стратегия (без блокирования) является почти оптимальной стратегией при условии, что число КР невелико.