Búsqueda de una teoría compositiva para la estabilización automática

El autor presenta un análisis técnico sobre la falta de avances recientes en la teoría compositiva de la estabilización automática (self-stabilization) en sistemas distribuidos. Tras revisar la literatura, concluye que la idea de la estabilización por capas estaba ya establecida a principios de los años 2000, sin que se haya añadido nada fundamental desde entonces. Para abordar el problema, el autor utiliza un modelo concreto de un sistema de reintentos (retry storm) modelado en TLA+ con contratos rely-guarantee, que reproduce el fallo metastable. El modelo demuestra que la composición que funcionaba desde estados buenos falla cuando un shock grande elimina el caso base que sostenía las dos condiciones mutuamente. La búsqueda de composición basada en rely-guarantee desde todos los estados llevó al autor a un artículo de 2017 de Kim, Arcak y Seshia, "A Small Gain Theorem for Parametric Assume-Guarantee Contracts". Este trabajo permite disipar el razonamiento circular entre dos componentes sin capas ni bloqueo, pero presenta limitaciones serias: su formalismo es una vista sin memoria de los componentes (relaciones entrada-salida), lo que impide expresar la acumulación de cola de datos y excluye conceptos útiles como las colas. Además, no tiene conexión directa con la estabilización ni con funciones de potencial. El autor intenta adaptar este marco para desarrollar una teoría compositiva de la estabilización y la metastabilidad, analizando cómo el teorema de ganancia pequeña permite predecir la convergencia de bucles de retroalimentación, aunque señala que la visión sin memoria y la simplificación a un solo número de 'mala' impiden su aplicación directa a sistemas con múltiples colas y dependencias complejas.