Prozessor, der zur Überwachung des Kontrollflusses Befehlen zugeordnete Eigen- und Folgekennungen auswertet

摘要

Durch Entwurfs- oder Laufzeitfehler kann die Abfolge der ausgeführten Befehle eines Programms vom geplanten Kontrollfluss abweichen. Diese Fehlfunktion kann auftreten und unbemerkt bleiben, da ein Prozessor nicht erkennen kann, ob auszuführende Bitmuster tatsächlich einer beim Entwurf vorgesehenen Sequenz voll Befehlen entsprechen. Der Prozessor muss annehmen, dass es sich um korrekte Befehle in der richtigen Reihenfolge handelt, und führt diese aus. Erkennung und geeignete Behandlung von Kontrollflussfehlern wird erfindungsgemäß durch einen Prozessor ermöglicht, der bei der Abarbeitung von Programmen Eigen- und Folgekennungen überwacht, die Befehlen in Programmen für diesen Prozessor zugeordnet sind. Mit Hilfe der Eigen- und Folgekennungen erfolgt eine Verkettung der Befehle, die den geplanten Kontrollfluss eines Programms so abbildet, dass er von einem erfindungsgemäßen Prozessor auf Einhaltung geprüft werden kann. Programmgesteuerte digitale Datenverarbeitung