El cálculo y los cinco teoremas

Los capítulos anteriores analizaban garantías sobre piezas aisladas. Este capítulo las extiende al sistema entero, donde todas las piezas se cargan, descargan y entrelazan.

Para ello, define un modelo de ciclo de vida con diez reglas y revisa uno a uno los supuestos más cómodos: que las transiciones sean instantáneas, que no se puedan interrumpir y que nunca fallen. Cada relajación responde a un comportamiento real, incluida la parte incómoda de qué hacer cuando una carga falla a medias.

• Teorema 1 Conservación Ninguna regla puede dejar el sistema en un estado mal formado.
• Teorema 2 Recuperación exacta Retirar una pieza deja el sistema como si esa pieza nunca hubiera estado, aunque otras hayan tocado cosas mientras tanto. Y una pieza retirada no deja nada detrás, llegue al final como llegue.
• Teorema 3 Ordenación Una pieza solo arranca donde sus dependencias existen y siguen existiendo durante todo el tiempo que las necesita.
• Teorema 4 Progreso Si no hay dependencias circulares, el sistema no se bloquea y siempre acaba llegando a un estado en reposo.
• Teorema 5 Confluencia El que da sentido a los otros cuatro: da igual el orden.

Qué dice la confluencia

Añade una pieza, quítala, sustituye un proveedor, deshaz la sustitución, entrelázalo todo como quieras. El estado final al que llega el sistema es el mismo que habrías obtenido escribiendo la configuración final de una vez desde el principio, sin descargar nunca nada.

Lo que el teorema no dice

Dos delimitaciones que el artículo marca y que conviene no omitir al divulgarlo.

• Límite uno Los fallos quedan fuera A propósito, porque son una fuente real de divergencia. Que algo falle depende del estado contra el que se ejecutó, así que un orden puede fallar donde otro completa. En lo demás los dos estados coinciden, porque una pieza fallida no aporta nada al estado.
• Límite dos Habla del estado, no de lo emitido Un correo enviado no vuelve por desmontar la pieza que lo envió.