Recherche dans les collections de brevets nationales et internationales

1. (WO2018083441) DÉTECTION D'ERREUR DE PROCESSEUR PRINCIPAL À L'AIDE DE PROCESSEURS DE VÉRIFICATION

Pub. No.:    WO/2018/083441    International Application No.:    PCT/GB2017/053179
Publication Date: Sat May 12 01:59:59 CEST 2018 International Filing Date: Sat Oct 21 01:59:59 CEST 2017
IPC: G06F 11/16
Applicants: ARM LIMITED
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
Inventors: AINSWORTH, Sam
GROCUTT, Thomas Christopher
JONES, Timothy Martin
Title: DÉTECTION D'ERREUR DE PROCESSEUR PRINCIPAL À L'AIDE DE PROCESSEURS DE VÉRIFICATION
Abstract:
Selon l'invention, un appareil (2) comprend un processeur principal (4) permettant d'exécuter un flux principal (30) d'instructions de programme, au moins deux processeurs de vérificateur (20) permettant d'exécuter des flux de vérificateur respectifs (34) d'instructions de programme en parallèle les unes avec les autres, les flux de vérificateur correspondant à différentes parties (32) du flux principal exécuté par le processeur principal, et un circuit de détection d'erreur (28) pour détecter une erreur lorsqu'un défaut d'appariement est détecté entre un résultat d'une partie donnée (32) du flux principal exécuté sur le processeur principal (4) et un résultat du flux de vérificateur correspondant (34) exécuté sur l'un de la pluralité de processeurs de vérificateur (20). Cette approche permet de vérifier des processeurs principaux à haute performance (4) pour des erreurs avec une zone de circuit moins grande et un surdébit de consommation d'énergie plus bas qu'une technique de verrouillage à double cœur.