La teoría de la composición de sistemas autosestabilizantes sigue sin resolverse
In Search of a Compositional Theory of Self-Stabilization
El autor busca una teoría composicional para la autosestabilización y encuentra un vacío: las ideas de estabilización por capas de los años 2000 no han evolucionado. Analiza un artículo de 2017 sobre contratos paramétricos asumir-garantizar, pero su modelo sin memoria no captura colas ni convergencia. Con un ejemplo concreto de tormenta de reintentos, muestra que el teorema de pequeña ganancia falla al ignorar la memoria: el multiplicador real por ronda es 1.19, lo que indica inestabilidad.
El teorema de pequeña ganancia lee solo el acoplamiento e ignora la memoria. Cuando tomamos en cuenta la memoria, el multiplicador real por ronda se convierte en 1.19, que está por encima de uno, por lo que casi cualquier perturbación crece en lugar de decaer.