Почему метастабильные сбои не укладываются в теорию малого усиления
In Search of a Compositional Theory of Self-Stabilization
Автор ищет композиционную теорию самоподдержки, но находит лишь статью 2017 года о параметрических assume-guarantee контрактах. На примере модели retry storm с двумя очередями (fresh и duplicate) он показывает, что теорема малого усиления игнорирует накопление памяти: произведение coupling-коэффициентов даёт 0.1, но с учётом диагональных элементов реальный множитель за раунд равен 1.19, что объясняет метастабильный сбой.
Теорема малого усиления читает только coupling и игнорирует память. Когда мы принимаем память во внимание, реальный множитель за раунд становится 1.19, что выше единицы, поэтому почти любое возмущение растёт, а не затухает.