Корректность определения характеристик перемежающейся обобщенной синхронизации при использовании только одной переменной ведомой и вспомогательной систем
Аннотация:
Рассмотрен метод выделения характерных фаз поведения в режиме перемежающейся обобщенной синхронизации, основанный на использовании вспомогательной системы. Установлено, что для корректного определения типа перемежаемости, реализуемого в системе, достаточно использовать только одну переменную, характеризующую состояние этой системы.
Ключевые слова:перемежающаяся обобщенная синхронизация, метод вспомогательной системы, фазы синхронного и асинхронного поведения.
Поступила в редакцию: 21.11.2019 Исправленный вариант: 09.01.2020 Принята в печать: 17.01.2020
Полный текст:
PDF файл (281 kB)
