Lockstep (computing): Difference between revisions

Revision as of 14:48, 7 March 2014

Revision as of 15:08, 7 March 2014

Line 2:

{{Unreferenced|date=April 2007}}

'''Lockstep''' systems are [[Redundancyfault-tolerant (engineering)|redundant]] [[Computercomputer system|computing systems]]s that run the same set of operations at the same time in [[Parallel computing|parallel]]. The [[Redundancy (engineering)|redundancy]] allows error detection and error correction: the output from lockstep operations can be compared to determine if there has been a fault if there are at least two systems ([[dual modular redundancy]]), and the error can be automatically corrected if there are at least three systems ([[triple modular redundancy]]), via majority vote. The term "[[lockstep]]" originates in the prison usage, where it refers to the synchronized walking, in which the marchers walk as closely together as physically practical.

Sometimes a timeshift (delay) is set between two systems, which increases the detection probability of errors induced by external influences (e.g. [[Voltage spike]]s, [[Ionizing radiation]], or [[In situ]] [[Reverse engineering]]).

To run in lockstep, each system is set up to progress from one well-defined state to the next well-defined state. When a new set of inputs reaches the system, it processes them, generates new outputs and updates its state. This set of changes (new inputs, new outputs, new state) is considered to define that step, and must be treated as an atomic transaction; in other words, either all of it happens, or none of it happens, but not something in between. Sometimes a timeshift (delay) is set between systems, which increases the detection probability of errors induced by external influences (e.g. [[Voltage spike]]s, [[Ionizing radiation]], or [[In situ]] [[Reverse engineering]]).

The term "[[lockstep]]" originates in the prison usage, where it refers to the synchronized walking, in which the marchers walk as closely together as physically practical.

==Dual Modular Redundancy==