Redundant processors are synchronised