Worldlex Wiki Les systèmes à exécution synchronisée sont des systèmes informatiques tolérants aux pannes qui exécutent simultanément et en parallèle la même série d'opérations . La redondance (duplication) permet la détection et la correction d'erreurs : les résultats des opérations à exécution synchronisée peuvent être comparés pour déterminer la présence d'une panne s'il existe au moins deux systèmes ( redondance modulaire double, DMR), et l'erreur peut être corrigée automatiquement s'il existe au moins trois systèmes ( redondance modulaire triple, TMR), par vote majoritaire. Le terme « à exécution synchronisée » provient du jargon militaire, où il désigne une marche synchronisée, où les marcheurs avancent aussi près les uns des autres que possible.
Pour fonctionner de manière synchronisée, chaque système est configuré pour progresser d'un état bien défini au suivant. Lorsqu'un nouvel ensemble d'entrées parvient au système, celui-ci les traite, génère de nouvelles sorties et met à jour son état. Cet ensemble de modifications (nouvelles entrées, nouvelles sorties, nouvel état) définit l'étape et doit être traité comme une transaction atomique ; autrement dit, soit tout se produit, soit rien ne se produit, mais pas d'état intermédiaire. Un décalage temporel (délai) est parfois introduit entre les systèmes, ce qui augmente la probabilité de détection des erreurs induites par des influences externes (par exemple, des surtensions , des rayonnements ionisants ou une rétro-ingénierie in situ ).
Mémoire Lockstep
Lorsque les systèmes informatiques sont dupliqués mais traitent activement chaque étape, il est difficile de les départager si leurs résultats diffèrent à la fin d'une étape. C'est pourquoi il est courant d'utiliser des systèmes DMR en configuration « maître/esclave », l'esclave servant de système de secours au maître, plutôt qu'en mode synchrone. Puisqu'il n'y a aucun avantage à ce que l'unité esclave traite activement chaque étape, une méthode courante consiste pour le maître à copier son état vers l'esclave à la fin du traitement de chaque étape. En cas de défaillance du maître, l'esclave est prêt à reprendre le traitement à partir de l'étape précédente validée.
Bien que les approches de synchronisation synchrone et DMR (associées à un système de détection d'erreurs du maître) puissent assurer une redondance en cas de panne matérielle du maître, elles ne protègent pas contre les erreurs logicielles. Si le maître tombe en panne à cause d'une erreur logicielle, il est fort probable que l'esclave, en tentant de répéter l'exécution de l'étape défaillante, reproduise la même erreur et échoue de la même manière : c'est un exemple de panne en mode commun .