VIRTUAL MEMORY DATA PROCESSOR

Un processeur de données (12) est capable de mémoriser automatiquement dans une mémoire externe (20) toutes les informations essentielles relatives à son état interne lors de la détection d'une faute d'accès pendant l'exécution d'une instruction. Lors de la correction de la cause de l'erreur, le processeur de données (12) retrouve automatiquement les informations d'état mémorisées et rétablit son état selon les informations d'état retrouvées. Le processeur de données (12) reprend alors l'exécution de l'instruction. L'accès erroné peut être réexécuté sélectivement lors de la reprise de l'exécution de l'instruction. Des moyens sont prévus pour vérifier que les informations d'état retrouvées sont valides. A data processor capable of automatically storing in an external memory all essential information relating to the internal state thereof upon the detection of an access fault during instruction execution. Upon correction of the cause of the fault, the data processor automatically retrieves the stored state information and restores the state thereof in accordance with the retrieved state information. The data processor then resumes execution of the instruction. The faulted access may be selectively rerun upon the resumption of instruction execution. Means are provided to verify that the retrieved state information is valid.