El algoritmo mantiene al sistema en un estado seguro.