Los sistemas de Lockstep son los sistemas de cálculo redundantes que funcionan el mismo sistema de operaciones al mismo tiempo en el paralelo . La salida de operaciones del lockstep se puede comparar para determinar si ha habido una avería.

Para funcionar en lockstep, cada sistema se fija para progresar a partir de un estado bien definido al estado bien definido siguiente. Cuando un nuevo sistema de entradas alcanza el sistema, las procesa, genera nuevas salidas y pone al día su estado. Este sistema de los cambios (nuevas entradas, nuevas salidas, nuevo estado) se considera definir ese paso, y se debe tratar como transacción atómica; es decir o todo el él sucede, o ninguno de él sucede, pero no algo mientras tanto.

El " del término; Lockstep " origina en el uso de la prisión, donde refiere a caminar sincronizado, en el cual los manifestantes caminan tan de cerca juntos como físicamente práctico.

Redundancia modular dual

Donde se duplican los sistemas de cálculo, pero ambos procesan activamente cada paso, es difícil arbitrar entre ellos si sus salidas diferencian en el final de un paso. Por esta razón, es práctica común funcionar con sistemas de DMR como " master/slave" configuraciones con el esclavo como " caliente-standby" al amo. Puesto que no hay ventaja en tener la unidad auxiliar activamente procesar cada paso, un método común de funcionamiento está para que el amo copie su estado en el final de cada paso que procesa al esclavo. Si el amo falla en un cierto punto, el esclavo está listo para continuar del buen paso sabido anterior.

Mientras que este acercamiento (cuando está combinado con algunos medios de detectar errores en el amo) puede proporcionar redundancia contra falta de hardware en el amo, no protege contra falta de software. Si el amo falla debido a un error de software, es alto probable que el esclavo - en intentar repetir la ejecución del paso que falló - repita simplemente el mismo error y fallará de la misma manera, un ejemplo de una falta del Común-modo.

Redundancia modular triple

Donde se triplican los sistemas de cálculo, llega a ser posible tratarlos como " voting" sistemas. Si una salida de la unidad discrepa con los otros dos, se detecta como siendo fallado. La salida emparejada de los otros dos se trata como correcta.