Maître-vérificateur - Master-checker

Un maître-vérificateur est une méthode de tolérance aux pannes supportée par le matériel pour les systèmes multiprocesseurs , dans laquelle deux processeurs, appelés maître et vérificateur , calculent les mêmes fonctions en parallèle afin d'augmenter la probabilité que le résultat soit exact. Le contrôleur- CPU est synchronisé au niveau de l'horloge avec le maître-CPU et traite les mêmes programmes que le maître. Chaque fois que la CPU-maître génère une sortie, la CPU-contrôleur compare cette sortie à son propre calcul et en cas de différence émet un avertissement.

Le système maître-vérificateur donne généralement des réponses plus précises en s'assurant que la réponse est correcte avant de la transmettre à l'application demandant que l'algorithme soit complété. Il permet également de gérer les erreurs si les résultats sont incohérents. Une récurrence de divergences entre les deux processeurs pourrait indiquer une faille dans le logiciel, des problèmes matériels ou des problèmes de synchronisation entre l'horloge, les processeurs et / ou la mémoire système. Cependant, un tel traitement redondant fait perdre du temps et de l'énergie. Si le maître-CPU est correct 95% ou plus du temps, la puissance et le temps utilisés par le contrôleur-CPU pour vérifier les réponses sont gaspillés. Selon le mérite d'une réponse correcte, un checker-CPU peut ou non être justifié. Afin d'alléger une partie du coût dans ces situations, le contrôleur-CPU peut être utilisé pour calculer autre chose dans le même algorithme, augmentant la vitesse et la sortie de traitement du système CPU.