JPS62134731A - Fault diagnostic system for information processor - Google Patents

Fault diagnostic system for information processor

Info

Publication number
JPS62134731A
JPS62134731A JP60274950A JP27495085A JPS62134731A JP S62134731 A JPS62134731 A JP S62134731A JP 60274950 A JP60274950 A JP 60274950A JP 27495085 A JP27495085 A JP 27495085A JP S62134731 A JPS62134731 A JP S62134731A
Authority
JP
Japan
Prior art keywords
instruction
processing device
processing
processor
resources
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
JP60274950A
Other languages
Japanese (ja)
Inventor
Katsumi Fujiwara
克己 藤原
Tomoo Aoyama
青山 智夫
Takashi Kawabe
河辺 峻
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hitachi Ltd
Hitachi Computer Engineering Co Ltd
Original Assignee
Hitachi Ltd
Hitachi Computer Engineering Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Hitachi Ltd, Hitachi Computer Engineering Co Ltd filed Critical Hitachi Ltd
Priority to JP60274950A priority Critical patent/JPS62134731A/en
Publication of JPS62134731A publication Critical patent/JPS62134731A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE:To execute a diagnosis of a processor in which a processor resources allocation rule of an instruction exists, by executing a test routine by determining an execution sequence of plural test routines so that a range of processor resources verified by some test routine contains a verification range of the test routine which is executed in the previous time. CONSTITUTION:An instruction is sent to an instruction decoding circuit (DEC0) 3-0 through paths 10, 11 from a main storage device 1. The first instruction of the DEC0 3-0 is initialization processing, therefore, the DEC0 3-0 instructs resources in a processor to be verified S1, and reset in a scalar 4. Subsequently, in case a processing of a call S1 is decoded by the DEC0 3-0, the DEC0 3-0 starts an instruction decoding circuit (DEC1) 3-1 and a data transferring circuit (REQ2) 2-2 of a vector processor (= a processor to be verified) S1. An initial address for reading out the main storage device 1 is transferred to the REQ2 2-2 inseparably from the start of this data transferring circuit.

Description

【発明の詳細な説明】 〔発明の利用分野〕 本発明は、命令が複数の論理的に同等な処理装置1°<
H源によって実行される方式を採用している情報処理装
置の障害診断方式に関ずろ。
DETAILED DESCRIPTION OF THE INVENTION [Field of Application of the Invention] The present invention provides a processing device in which a plurality of instructions are logically equivalent.
This relates to a fault diagnosis method for an information processing device that employs a method executed by an H source.

〔発明の背f;0 従来、情報処理装置においては1例えば、特開昭56−
50448号公報に記載されているように、マイクロプ
ログラムコードによる処理装置資源の診断が行われてい
る。また、マイクロプログラムの指令によらず命令によ
って直接作動される処理装置資源では、命令の動作の結
果を期待値と比較する診断方式が行われている7これら
の診断技術について共通点は、マイクロプログラム、命
令の指示とそれによって作動する処理装置資源の間に一
対一の対応関係が成立することを前提としていることで
ある。命令とそれを」ル本的なオペレーションに還元し
たマイクロプログラムによって作動する論理回路が一意
的に決定されることは、処理装置の処理がシリアルに行
われるという条件の下で、処理装置の論理槽1況に冗長
性がないということ\等価である。従って、従来のノイ
マンアーキテクチャを採用している処理装置が、稿本的
なオペレーションと作動する論理回路との間に一対一の
対応関係を持たせているのは当然である。
[Background of the invention f; 0 Conventionally, in information processing devices, 1, for example, JP-A-56-
As described in Japanese Patent No. 50448, processing device resources are diagnosed using microprogram codes. In addition, for processing unit resources that are operated directly by instructions, not by microprogram instructions, a diagnostic method is used that compares the result of the instruction's operation with an expected value.7 The common point among these diagnostic techniques is that This is based on the premise that a one-to-one correspondence exists between an instruction and the processing device resources activated by the instruction. The fact that the logic circuit operated by an instruction and a microprogram that reduces it to a basic operation is uniquely determined by the logic circuit of the processing device under the condition that the processing of the processing device is performed serially. It is equivalent to saying that there is no redundancy in one situation. Therefore, it is natural that a processing device employing the conventional Neumann architecture has a one-to-one correspondence between a script-like operation and an operating logic circuit.

近年、科学技術81算の高速化への要求が強く。In recent years, there has been a strong demand for faster calculations of science and technology 81 calculations.

この高速化要求を達成するために処理装圓内に複数個の
論理的に等価な:α源を持つ装置が開発されて来ている
。例えば、多次元行列等を高速処理するために開発され
たスーパコンピュータ、ベクトル処理装置がそれである
、このような処理装置では、論理的に等価な資源を複数
個具備し、複数の命令を並列的に動作させることによっ
て高い性能を達成している。従って」1個の命令のみの
処理では、どの資源に命令が割付られたかがプロゲラ1
1側からは検出する手段がなく、従来の技術では診断が
困難である。
In order to meet this demand for higher speeds, devices have been developed that have a plurality of logically equivalent α sources within a processing circle. Examples include supercomputers and vector processing devices developed to process multidimensional matrices at high speed.Such processing devices are equipped with multiple logically equivalent resources and can execute multiple instructions in parallel. High performance is achieved by operating the Therefore, when only one instruction is processed, the programmer 1 can determine which resource the instruction is allocated to.
There is no means of detection from the first side, and diagnosis is difficult with conventional techniques.

〔発明の目的〕[Purpose of the invention]

本発明の目的は、命令を複数資源で実行する情報処理′
JA置において、複数の論理的に等価な命令を複数の処
理装置資源に割付ける際1割付論理がイ・期しうる形に
構成されている処JiTlj装置に適合する障害診断方
式を四偶することにある。
An object of the present invention is to provide an information processing system that executes instructions using multiple resources.
To develop a fault diagnosis method suitable for a JA device configured in such a way that one allocation logic can be easily expected when assigning multiple logically equivalent instructions to multiple processing device resources. It is in.

〔発明の概要〕[Summary of the invention]

本発明は診断プロゲラ11を複数のテストルーチンによ
って構成する。あるテストルーチンによって検証される
処理装置資源の集合をx’T::表わす。
The present invention configures the diagnostic proger 11 with a plurality of test routines. Let x'T:: represent the set of processor resources that are verified by a test routine.

あるテストルーチンの次に実行されるテストルーチンで
検gIEされる処理袋[d資源の集合をX′とするとき
、XがX′に含まれるように複数のテストルーチンの実
行順序を決定する。この順序でテストルーチンを実行し
ていくことを以下スモールスタート方式という。
When the set of processing bag [d resources to be inspected in the test routine executed next to a certain test routine is X', the execution order of the plurality of test routines is determined so that X is included in X'. Executing the test routines in this order is hereinafter referred to as the small start method.

論理的に等価である複数の処J41装圓資源の集合を(
a+)と表示する。こ\で添字jは個々の処理装置資源
を区別するインデクスである。論理的に等価であること
\インデクスをつけ得ないということは区η11 シて
考えることができる。即ち、インデクスをつけ得ないと
いうことを論理的に等価である概念よりも拡く解釈する
ことができる。
A set of logically equivalent J41 resources (
a+). Here, the subscript j is an index that distinguishes individual processing device resources. The fact that they are logically equivalent and cannot be indexed can be thought of as a concept. In other words, the fact that an index cannot be attached can be interpreted more broadly than the logically equivalent concept.

あるテストルーチンにおいて、aoが検証されたとする
。スモールスタート方式によって後続のナス1〜ルーチ
ンでは(an+3’)なる処理袋V1.資源が検証され
る。複数の論理的に等価な処理操作を示す命令が複数の
処理装置資源に割付られる際、割付手段が予期しつる形
であるとき、」−記の被検証資源の集合(an+y)の
y要素を、ある規約によって定めることができる。この
定めることが出来るということが、予期しうるというこ
との別の表現である。従って、yをaj (j〜0)と
なるような規約を作成することができるということにな
り、この規約に従って、yがa、1となるような複数の
命令列を創ることも可能となる。これは後続のテストル
ーチンで(anlaj)という被検証資源集合となるよ
うにテストルーチンの順序を作りうろことを示している
。こ\でインデクスをつけうるという条件をもう一度考
え直す必要がある。((、j〜0))はある規約によっ
てOと区別する自然数なのであるから、適当な一対一の
変換によって1.j=1とできる。従って以下(an+
fl j ) =(a n r a + )と書く。こ
のようなテストルーチンの順序をくりかえすことによっ
て。
Suppose that ao is verified in a certain test routine. Due to the small start method, in the subsequent eggplant 1~routine, processing bag V1. Resources are verified. When instructions indicating multiple logically equivalent processing operations are allocated to multiple processing device resources and the allocation means is in the expected vine shape, the y element of the set (an+y) of the verified resources written in , can be determined by certain regulations. This ability to determine is another expression of the ability to predict. Therefore, it is possible to create a convention such that y becomes aj (j ~ 0), and according to this convention, it is also possible to create multiple instruction sequences such that y becomes a, 1. . This indicates that the order of the test routines should be created in a subsequent test routine so that the set of resources to be verified is (anlaj). We need to reconsider the conditions under which an index can be added here. Since ((,j~0)) is a natural number that is distinguished from O according to a certain convention, 1. It is possible to set j=1. Therefore, the following (an+
Write fl j ) = (an r a + ). By repeating the order of such test routines.

(a、)集合の全ての要素即ち、処理装置資源の検証が
可能となる。
(a) It becomes possible to verify all the elements of the set, that is, the processing device resources.

以−1−のことは複数命令の組合せによって、テストル
ーチンを創り、このテストルーチンをスモールスタート
方式によって組合せて、診断システムを構築することに
より、複数の処理装置資源を具備する処理装置にあって
、命令によって一意的に当詠処理装置資源が特定され得
ない場合であっても、診断が可能になることを示してい
る。
The following points can be applied to a processing device equipped with multiple processing device resources by creating a test routine by combining multiple instructions, and by combining these test routines using the small start method to construct a diagnostic system. This shows that diagnosis is possible even when the current processing device resource cannot be uniquely identified by the instruction.

〔発明の実施例〕[Embodiments of the invention]

複数個の演算器と複数個のレジスタと複数個のデータ転
送回路と、それらの制御回路と、複数個の比較回路を具
備した処yII装置があるとする。
Assume that there is a processing yII device including a plurality of arithmetic units, a plurality of registers, a plurality of data transfer circuits, their control circuits, and a plurality of comparison circuits.

この処理装置の命令動作について、処理装置を次のよう
に分類する。
Regarding the command operations of this processing device, the processing device is classified as follows.

(1)  命令によって動作する処理袋hV内の論理回
路が一膚、的に決定できる処理% li’7゜(2) 
 命令によってl1tJ+作する処1111装冒内の複
数個の論理回路が特定できて、かつ複数の命令によって
一個の論111回路が同定できる処理装置。
(1) Processing percentage that can be determined instantly by the logic circuit in the processing bag hV that operates according to instructions li'7゜(2)
A processing device capable of specifying a plurality of logic circuits in a processor 1111 to produce l1tJ+ by an instruction, and one logic 111 circuit by a plurality of instructions.

(3)  命令によって、動作する複数の論理回路の範
囲が同定できる処理袋5q。
(3) A processing bag 5q that can identify the range of a plurality of logic circuits that operate according to an instruction.

(1)に属する処理装置は、たとえば1加算器を持つ装
置vlであって、加算命令によって、その加算器のリグ
1作の小堂性が判断できるような処理装置である。この
カテゴリに属する処理装置は、汎用計算機がある。
A processing device belonging to (1) is, for example, a device vl having one adder, and is a processing device in which the smallness of one rig of the adder can be determined by an addition instruction. Processing devices that belong to this category include general-purpose computers.

(2)に属する処理装置は、たとえば複数個の加算器を
持つ装F1゛7であって、これらの加算器を並列的に仙
作させることにより、処理装置の性能を向上させること
ができる。このような処理装置では、論理的に等価な処
hTl装置資源が複数あるので、命令と」す1作する論
理回路が一対一の対応とならず。
A processing device belonging to (2) is, for example, a device F1-7 having a plurality of adders, and by operating these adders in parallel, the performance of the processing device can be improved. In such a processing device, since there are a plurality of logically equivalent processing resources, there is no one-to-one correspondence between the logic circuits that produce one instruction and the other.

■命令ではN +il・ができない。しかし制御回路を
■N+il・ cannot be done with commands. But the control circuit.

、W列的に命令実行が可能なように設計し、かつ並列命
令起仙状態即ち資源のビジー状態によって使用される俗
源の使用順序が一意に決まるように設計することによっ
て、複数個の命令を適切に組合せてIIす1作させるこ
とによって、特定の処理Mli′7資源の倹511.を
行うことができる。
, by designing it so that instructions can be executed in a W-column manner, and by designing it so that the usage order of common sources used is uniquely determined by the parallel instruction origination state, that is, the busy state of resources. By suitably combining Mli'7 resources to create one, a specific processing Mli'7 resource can be saved. It can be performed.

処理装置の制御回路を命令の並列実行状j/lによって
処理装置資源を動的に命令実行に割付ける論理は、処理
装置の性能を向上させるために必要不可欠な論理であっ
て1診断システt%慴築のためにだけに設け1)れた論
理ではない。たとえば診断システムを41vl築容易と
するためには、処理′!A買資源の状態を管理している
状態保持手段を命令によって直接的に修飾操作を行えば
よい。このような論理回路を付加することにより命令と
論理回路の−・対−の対応をとることができる。しかし
このような状態保持手段を修飾する命令のために、処理
A^置の性能向」−とは関連のない処理装置に組込む必
要があり、このためにハートウェアコス1−増を招く。
The logic that dynamically allocates the processing unit resources to the execution of instructions in the control circuit of the processing unit according to the parallel execution status j/l of the instructions is essential logic for improving the performance of the processing unit, and is essential for one diagnostic system. 1) It is not a logic established solely for the purpose of building up popularity. For example, in order to easily construct a diagnostic system, processing '! The state holding means that manages the state of the A-purchased resource may be directly modified by a command. By adding such a logic circuit, it is possible to establish a pairwise correspondence between instructions and logic circuits. However, instructions for modifying such a state holding means must be incorporated into a processing device that is not related to the performance of the processing location, which results in an increase in hardware cost.

しかし、複数の処理装置資源を41する訓算機で診断の
ために生Jf別なアーキテクチャを持つ場合がある。た
とえば、平木、西ITj、関口、に、’+rnr科学技
術計算用データ駆動計算機S L G M A −1の
メンテナンスアーキテクチャ」情報処理学会第31回講
演論文集6D−3がある。このSIGMA−1ではメン
テンスアーキテクチャを付加させるために約20%の論
理増となっている。従って、本発明はこのようなハード
ウェアコスト増を招く診断システムの構築を目的としな
い。
However, there are cases where a computer with multiple processing unit resources has a different architecture for diagnosis. For example, Hiraki, ITJ Nishi, and Sekiguchi, ``Maintenance Architecture of +rnr Data Driven Computer for Scientific and Technical Computing SLGM A-1'', Information Processing Society of Japan 31st Annual Conference Proceedings 6D-3. This SIGMA-1 has an approximately 20% increase in logic due to the addition of a maintenance architecture. Therefore, the present invention does not aim at constructing a diagnostic system that would result in such an increase in hardware costs.

(3)に属する処理装置は、複数個の処理装置資源を有
する装置であるが、該’9t、gの使用順序が一意では
なく、命令の組合せによって特定の処理装置資源が検証
できぬ処理装置である。このような処理装置では、命令
実行制御が命令の解読類ではなく、命令のオペランドデ
ータが演算可能となるようにそろった時点となっている
点に特徴がある。
A processing device belonging to (3) is a device that has multiple processing device resources, but the order in which the '9t and g are used is not unique, and a specific processing device resource cannot be verified depending on the combination of instructions. It is. A feature of such a processing device is that instruction execution control is not performed by decoding the instruction, but by controlling the operand data of the instruction when it is ready for operation.

従って命令をいつ実行するという指定が出来ず、複数の
命令の組合せによっても特定の資源を検証することが不
可能になる。このようなデータフロー制御を探用するマ
シンの例として、T(E P −1(三浦、情報処理、
第26巻、P、659〜P、667)がある。
Therefore, it is not possible to specify when an instruction is to be executed, and it is also impossible to verify a specific resource by combining multiple instructions. An example of a machine that explores such data flow control is T(E P -1 (Miura, Information Processing,
Volume 26, P, 659-P, 667).

本発明の障害診断か式では1〕記の(1)、  (2)
の場合を検証することができる。
In the fault diagnosis formula of the present invention, (1) and (2) of 1]
It is possible to verify the case of

本発明では処理装置の検証範囲が順序拡大していくスモ
ールスター1へ方式を採用するが、処理装置の命令体系
によりこのスモールスタート方式によるテストルーチン
の連鎖をパスというとき、このパスが1本にならないこ
とがある。第4図に示すように、O)というテストルー
チンの次に、より広範囲のテストを行おうとするとき、
(2)又は■の複数パスでテストする場合がある。この
ような場合を以下マルチパステストという。
In the present invention, a method is adopted for small star 1 in which the verification range of the processing device is sequentially expanded. However, when a chain of test routines using this small start method is called a pass, this path is reduced to a single path due to the instruction system of the processing device. Sometimes it doesn't happen. As shown in Figure 4, when attempting to perform a more extensive test following the test routine O),
(2) or (2) may be tested using multiple passes. Such a case is hereinafter referred to as a multi-pass test.

マルチパステストでは処理装置内の複数の障害部位を指
摘できる可能性がある。このマルチパステストでは、あ
るパスに沿ってテストを進め、テストがそのパスについ
て終了した時又は故障が37、出されたときに別のパス
に移行する。このため、この処理が可能なような構成に
診断システムを構築する必要がある。この診断システム
構築と処理装置の命令解読には密接な関連がある。これ
について以下考察する。
Multi-pass testing has the potential to pinpoint multiple faulty parts within a processing device. In this multi-pass test, the test proceeds along one path and moves to another path when the test is completed for that path or when a fault is issued. Therefore, it is necessary to construct a diagnostic system with a configuration that allows this processing. There is a close relationship between the construction of this diagnostic system and the instruction decoding of the processing unit. This will be discussed below.

処理袋hイには、命令とその処理を行う論理回路との間
に一対一の対応関係がつけられるものとつけられないも
のとがあるが、こういう分類の他に。
In addition to these classifications, there are processing bags in which there is a one-to-one correspondence between an instruction and the logic circuit that performs its processing, and there are those in which there is no one-to-one correspondence.

処理装置の命令m読処理部が111.数か複数かによっ
て分類することも出来る。たとえは、汎用41算機のC
PUは1個の命令解読部を持つが、ベクトル計算機では
一般に命令解あ11!部は2個である。即ちスカラ命令
解読部とバク1−ル命令解、h’1部が存在する。この
ような2様の処理装置において診断システムプロゲラt
1の構造について考察する必要があるつ 処理装置の命令解読部が1個の場合、このような計算機
であっても処理製画資源を[命令に対し複数個持つこと
ができる。この時、ベクトル命令の如き実行時間の長い
命令があって、前出の命令の終了を待つことなく後続命
令を実行され得るように命令解あ2部を構成し、かつ命
令の組合せによって−・意的に処理袋Vt資源の特定が
できるように処押゛ν装置を設計しうる。このとき1テ
ス1〜ルーチンの処理が゛電子した後、テストの結果を
期待値と比較する命令を実行することによって、特定の
処理装置資源の検証登行うことができる。命令解読部が
1個の処理装置I′!tであっても、テストと比較を交
lI゛にくりかえし実行することによって、スモールス
タート方式、マルチパステストを行うことにより、処理
袋h′イの特定資源の検証を行うことが可能である。マ
ルチパステストにおいては、■バスのデスl−中故障部
位が検出された場合、比較処理の次に分岐命令を発行し
て異パスに属するテストルーチンの先頭番地に分岐する
The instruction m reading processing section of the processing device is 111. It can also be classified by number or plurality. An example is C of general-purpose 41 arithmetic machine.
The PU has one instruction decoder, but vector computers generally have 11 instruction decoders! There are 2 parts. That is, there is a scalar instruction decoding section, a scalar instruction solution, and an h'1 section. In these two types of processing equipment, the diagnostic system Progera t
It is necessary to consider the structure of 1.If the processing device has only one instruction decoding section, even such a computer can have a plurality of processing and drawing resources for each instruction. At this time, when there is an instruction that takes a long time to execute, such as a vector instruction, the instruction solver 2 part is configured so that the subsequent instruction can be executed without waiting for the completion of the previous instruction, and by combining the instructions... The processing device can be designed so that processing bag Vt resources can be specified at will. At this time, after the processing of 1 test 1 to routine is completed, a specific processing device resource can be verified and registered by executing an instruction to compare the test result with an expected value. Processing device I' with one instruction decoding section! Even if the processing time is t, it is possible to verify the specific resource in the processing bag h'a by repeating tests and comparisons repeatedly, performing a small start method, and performing a multi-pass test. In the multi-path test, if a faulty part of the bus is detected, a branch instruction is issued after comparison processing to branch to the start address of a test routine belonging to a different path.

処理装置の命令解読部が2個ある場合、テストを第1の
命令解読部で行い、比較処理を第2の命令M読部で行う
ことによって、テストと比較処理を重ね合わせるように
制御し、並列処理によって診断を高速化することができ
る。マルチパステストにおいて故障が検出された時には
、比較処理の終了後、テストルーチン実行をキャンセル
し、異パスのテストルーチンの先頭に分岐する。テスト
ルーチン実行は通常命令解読回路の状態をリセットする
ことで行う。この状態リセット命令は処理装置の暴走を
防ぐため処理′AA財の標準的な命令セットとして用意
されている。(でなければ、命令解読部が2つある処理
装置のアーキテクチャとしては不備である。) 以」−示したように、本発明の診断方式でデス1〜ルー
チンを動作させる際1診断動作を行うために特別な論理
回路を用意する必要がない。以下、処理装貯内に命令解
読部が2つある構造の処理装置を例に本発明の診断動作
を図面を参照して説明する。
When the processing device has two instruction decoding units, the test is performed by the first instruction decoding unit and the comparison process is performed by the second instruction M reading unit, so that the test and the comparison process are controlled to overlap, Parallel processing can speed up diagnosis. When a failure is detected in the multi-pass test, after the comparison process is completed, the test routine execution is canceled and branched to the beginning of the test routine of a different pass. The test routine is normally executed by resetting the state of the instruction decoding circuit. This state reset command is provided as a standard command set for processing AA products in order to prevent the processing device from running out of control. (Otherwise, the architecture of a processing device with two instruction decoding sections is inadequate.) As shown in the diagram, the diagnostic method of the present invention performs the diagnostic operation 1 when the routines 1 to 1 are operated. There is no need to prepare a special logic circuit for this purpose. Hereinafter, the diagnostic operation of the present invention will be explained with reference to the drawings, taking as an example a processing device having two instruction decoding units in the processing device.

第2図は本発明の故障診断方式を動作させることのでき
る情報処理装置の一実施例で、こNではベクトル処理装
置を示している。第2図において、1は主記憶装置、2
はデータ転送回路、3は命令解読回路、4はスカラ演算
器(作業用のレジスタを含む)、5は命令起動回路、6
は中間記憶保持部(ベクトルレジスタ)、7は複数のベ
クトル演算器である。第2図の点線で囲れたS。部がス
カラブロセノサで、81部がベクトルプロセッサに対応
する。
FIG. 2 shows an embodiment of an information processing device capable of operating the fault diagnosis method of the present invention, where N indicates a vector processing device. In FIG. 2, 1 is the main memory, 2
3 is a data transfer circuit, 3 is an instruction decoding circuit, 4 is a scalar arithmetic unit (including a working register), 5 is an instruction activation circuit, 6
is an intermediate storage holding unit (vector register), and 7 is a plurality of vector arithmetic units. S is surrounded by the dotted line in Figure 2. The part corresponds to the scalar cenosa, and the 81st part corresponds to the vector processor.

第1図は十記処理装Hの命令解読部が2つある場合の本
発明の診断プログラムの概略図を示したものである。第
1図は時間をたて軸にして、第2図のスカラプロセッサ
S。、ベクトルプロセッサS1の命令列を示している。
FIG. 1 shows a schematic diagram of the diagnostic program of the present invention when the processing unit H has two instruction decoding sections. FIG. 1 shows the scalar processor S in FIG. 2 with time as the axis. , shows the instruction sequence of the vector processor S1.

Sn列のイニシャライズと示した部分は診断システ11
を走I−】せるために初期設定を行う部分である。次の
コール((じA L L) S +と示した部分は。
The part indicated as initialization in the Sn column is the diagnostic system 11.
This is the part that performs initial settings to run the . The next call is ((JALL) S +.

スカラプロセッサSoからベクトルプロセッサS1を起
動する命令である。次のチェック(C:HECK)はベ
クトルプロセッサS1の命令処理が完了したか否かをチ
ェックする命令である。こ\ではベクトルプロセッサの
処理が完了しない限りチェック命令が完了しないものと
する。
This is an instruction to start the vector processor S1 from the scalar processor So. The next check (C: HECK) is an instruction to check whether the instruction processing of the vector processor S1 is completed. In this case, it is assumed that the check instruction is not completed until the processing of the vector processor is completed.

S1列のデス1〜部はベクトルプロセッサSl内の処理
装買資源を試験するための命令であって。
Parts 1 to 1 of the S1 column are instructions for testing processing equipment resources in the vector processor Sl.

添字の番号が試験の順番を示している。テストiとテス
I” i + 1の間ではスモールスター86式で命令
列がコーディングされる。即ち、例えばテスト1は演算
器1個を使うテスト、テス1−2は演算器2個を使うよ
うなテストである。
The subscript number indicates the order of the test. The instruction sequence between test i and test I" i + 1 is coded using the Small Star 86 formula. That is, for example, test 1 is a test that uses one arithmetic unit, and test 1-2 is a test that uses two arithmetic units. It is a test.

Sn列のコンベア部はテストの結果を期待値と比較する
ための命令列である。コンベアとナス1一部の添字の番
号は対応している。ジャッジ部はコンベアiの結果、テ
ストiの結果が+F、 Lいか否かによって次のテスト
ルーチンを実行するか否かを決定する部分である。即ち
、コンベアの結果が11円しい場合、何もしないで次の
デス1−ルーチンを実行する。コンベアの結果1期待値
との一致がとられない場合1次のテストルーチンの処理
をすでに行っているバク1−ルプロセツサの処理を中断
せしめ、ベクトルプロセッサのりセラ1〜を行い、異る
パスのテストルーチンへ分岐する処理を行う。
The conveyor section of the Sn column is an instruction sequence for comparing the test result with the expected value. The numbers of some subscripts of the conveyor and eggplant 1 correspond. The judge section is a section that determines whether or not to execute the next test routine depending on whether the result of the conveyor i and the result of the test i is +F or L. That is, if the conveyor result is 11 yen, nothing is done and the next Death 1-routine is executed. If the conveyor result 1 does not match the expected value, interrupt the processing of the backup processor that is already processing the 1st test routine, perform the vector processor repeater 1~, and test a different pass. Performs processing to branch to a routine.

なお、So列に示した処理は、コールS1とチェックと
ベクトルプロセッサ処理中断を除いて、従来の汎用計算
機で用意されているところの、ロード命令、比較命命、
分岐命令の絹合せで行うことができる。従って、これら
の命令実行はすでに公表されている技術の組合せによっ
て行うことができるので、第2図に於いてもこれらの汎
用計算機で実行できる各命令のRU+伯回路部をスカラ
演算器4と簡111.化しである。
Note that the processing shown in the So column, with the exception of call S1, check, and vector processor processing interruption, includes load instructions, comparison instructions, and comparison instructions prepared in conventional general-purpose computers.
This can be done by combining branch instructions. Therefore, since these instructions can be executed by a combination of techniques that have already been made public, in FIG. 111. It has become a reality.

次に、第1図の診断プログラムを実行したときの各論理
回路の仙きを第2図を用いて説明する。
Next, the behavior of each logic circuit when the diagnostic program shown in FIG. 1 is executed will be explained using FIG. 2.

第2図において、命令はデータ転送回路(REQO)2
−0を用いて主記憶装置1からパス10゜1Fを介して
命令解読回路(DECo)、3 0に送られる。当該D
ECO3−oの最初の命令はイニシャライズ処理である
から、DECn30はパス1.2.13を介して、被検
証プロセッサS1内の資源、スカラ演算器4内のリセッ
トを指示する。
In FIG. 2, the command is a data transfer circuit (REQO) 2
-0 is used to send from the main memory 1 to the instruction decoding circuit (DECo) 30 via the path 10°1F. The D
Since the first instruction of ECO3-o is an initialization process, DECn30 instructs to reset the resources in the processor to be verified S1 and the scalar arithmetic unit 4 via path 1.2.13.

次にDECn3−oによってコールS1なる処理が解読
された場合、DECn 3 0はパス12゜14を介し
て、ベクトルプロセッサ(=被検証プロセッサ)S+の
命令解読回路(DECI)3−1とデータ転送回路(R
EQ7)2−2を起動するにのデータ転送回路起動と不
可分にRE Q 22−2に対し主記憶装置1をあ“シ
出す初期アドレスを伝達する。REQア2−2はこの伝
達された初期アドレスからアドレスを主記憶装置1に送
出し。
Next, when the process called call S1 is decoded by DECn3-o, DECn30 transfers data to the instruction decoding circuit (DECI) 3-1 of vector processor (=processor to be verified) S+ via path 12゜14. Circuit (R
EQ7) The initial address for accessing the main memory device 1 is transmitted to the REQ 22-2 inseparably from the activation of the data transfer circuit for activating the REQ 2-2. Send address to main memory 1 from address.

ベクトルプロセンサS1の検証のための命令(第1図の
テストiブロック内の命令)をパス15を介して読出し
、パス16を通ってDEC:+3 1へ送るにNで複数
のデータ転送回路2と市記憶装闘1の間の複数のデータ
転送についてこれを管理する回路が必要になる。この管
理回路は複数のデータ転送回路間で同一主記憶−Hのア
ドレスが発生した場合に、データ転送の優先順位を決定
するものであるが、この管理回路自体の論理はすでによ
く知られている。また、本発明の診断方式に関しても関
係はないので、第2図からは該主記憶管理回路を省略し
ている。以下、主記憶装置1には当該管理回路が付加さ
れているものとし、複数のデータ転送が可能であること
を仮定して説明を行う。
The instruction for verifying the vector processor S1 (instruction in the test i block in FIG. 1) is read out via the path 15 and sent to the DEC:+31 through the path 16. A circuit is required to manage multiple data transfers between the storage device 1 and the city storage device 1. This management circuit determines the priority of data transfer when the same main memory -H address occurs between multiple data transfer circuits, but the logic of this management circuit itself is already well known. . Furthermore, since it has no bearing on the diagnostic method of the present invention, the main memory management circuit is omitted from FIG. The following description will be made on the assumption that the main storage device 1 is provided with the management circuit and that a plurality of data transfers are possible.

1)EC:+3 1はテストルーチンの命令を解読した
後、パス17を介して命令解読回路5に命令解読情報を
送る。該命令起動回路5はパス[8゜19を介して、複
数のデータ転送回路21、演算8:+7の状態奈管理し
ている。第2図において太線で−)かれているパス18
,19,20.26は東線である。検証を行う命令が要
求している資源が空いている場合5当該命令は資源側付
則に従って命令起動回路5により処理′!A置装源に割
当てられる。この割当て即ち資源起動はパス20を介し
て行われる。検証を行う命令が要求している資源がビジ
ーの場合、命令起4111回路5はパス2[を介して、
REQ22−2に対して1次の検証命令続出を抑止する
よう指示する。
1) EC: +3 1 sends instruction decoding information to the instruction decoding circuit 5 via path 17 after decoding the instruction of the test routine. The instruction starting circuit 5 manages the states of a plurality of data transfer circuits 21 and operations 8:+7 via a path [8°19]. Path 18 marked with a thick line (-) in Figure 2
, 19, 20.26 is the east line. If the resource requested by the instruction to be verified is free 5, the instruction is processed by the instruction activation circuit 5 according to the resource-side supplementary rules'! Assigned to A device source. This allocation or resource activation is done via path 20. If the resource requested by the instruction to be verified is busy, the instruction originator 4111 circuit 5
Instructs REQ22-2 to suppress successive primary verification instructions.

検証を行う命令によって起動された資源は、この資源が
データ転送回路REQ3+nの場合、主記憶装置1に対
してデータの読出し又は書込みの要求を発行する。即ち
、主記憶装置1からのデータ続出の場合、パス22.2
3を通ってベクトルレジスタ6にデータが書込まれる。
When the resource activated by the verification instruction is the data transfer circuit REQ3+n, the resource issues a data read or write request to the main storage device 1. In other words, if data continues to flow from the main storage device 1, the path 22.2
Data is written to the vector register 6 through the vector register 3.

また、主記憶装置1へのデータの書込みの場合、パス2
4を介してベクトルレジスタ6を読出し、パス25を通
ってデータがi5記憶装置1に一訃込まれる。命令によ
って起動された資源が演算器7の場合、バク1−ルレジ
スタ6から演算オペランドとなるデータを読出し、結果
をパス26を介してベクトルレジスタ6に書込む。
In addition, when writing data to main storage device 1, path 2
The vector register 6 is read out via the path 25, and the data is stored in the i5 storage device 1 via the path 25. If the resource activated by the instruction is the arithmetic unit 7, the data serving as the arithmetic operand is read from the back register 6, and the result is written to the vector register 6 via the path 26.

以−1−のようにして、被検証プロセッサS、では命令
が実行され、その結果が主記憶装置1に書込まれる。
As described in -1- above, the processor S to be verified executes an instruction, and the result is written to the main storage device 1.

次にチェック命令がDECn3−0で解読されると、 
該DECo 3  Qはパス27を介して、被検証プロ
セッサS+の命令起39+回路5内のプロセッサの状I
Nを示しているレジスタを読出し、当該プロセッサが処
理を完了しているか否かを知る。
Next, when the check instruction is decoded by DECn3-0,
The DECo 3 Q passes through a path 27 to the instruction source 39 of the processor S+ to be verified + the state I of the processor in the circuit 5.
Read the register indicating N to find out whether the processor has completed processing.

スカラプロセッサS n側から5期待値不一致のために
黄るバスに属するテストルーチンに分岐する場合などで
、強制的に被検証プロセッサS、を中断させる場合、こ
の中断処理を行う命令がr:l ECn3−0で検出さ
れると、該DFC++3 0はバス12!5−介して被
検証プロセッサの命令解読を中断させ、続いてバス17
を通して命令起動回路5中の処理装置資源の状態を保持
しているレジスタ類をリセン1へする。
When branching to a test routine belonging to a yellow bus due to a 5-expectation mismatch from the scalar processor S n side, and forcibly suspending the verified processor S, the instruction that performs this suspension processing is r:l. When detected at ECn3-0, the DFC++30 interrupts instruction decoding of the processor under test via bus 12!5-, and then
The registers that hold the state of the processing device resources in the instruction activation circuit 5 are sent to the resense 1 through the instruction activation circuit 5.

第3図は命令起動回路5の詳細図である。第73図にお
いて、命令起動回路の入出力パスは第2図と一致がとら
れている。
FIG. 3 is a detailed diagram of the instruction activation circuit 5. In FIG. 73, the input/output paths of the instruction activation circuit are the same as those in FIG. 2.

命令はバス17を通ってレジスタ50に格納され1次の
タイミングでレジスタ51にセットされる。レジスタ5
0.51は命令スタックを構成している。第3図では図
面の簡約化のため、命令スタックは2段としている。レ
ジスタ51にセットされた命令は、その命令を実行する
ために必要な処理装置資源が何であるかを決定する回路
52によって使用資源(複数)が決定される。当該回路
52は命令のオペコードをアドレスとして記憶手段(た
とえばROM)を引用し、デコーダ手段(DEC)でデ
コードすることによって構成しうる。説明を簡明にする
ため、レジスタ51上の命令を実行するのに2つの処理
装置資源が割付けられたとする。この割付けられた情報
はバス80゜81を介して、スイッチング回路53.5
/Iに入力される。
The command is stored in the register 50 via the bus 17 and set in the register 51 at the primary timing. register 5
0.51 constitutes an instruction stack. In FIG. 3, the instruction stack is shown in two stages to simplify the drawing. For an instruction set in register 51, the resources to be used are determined by circuit 52 which determines what processing device resources are required to execute the instruction. The circuit 52 can be configured by referring to a storage means (for example, ROM) using an instruction opcode as an address and decoding it with a decoder means (DEC). For simplicity of explanation, assume that two processing unit resources are allocated to execute the instruction on register 51. This assigned information is transferred via buses 80, 81 to switching circuits 53.5.
/I is input.

レジスタ55はそれぞれ処理′3A置資源の状態を保持
する。処理装置では、処理装置のビジーか否かの2つの
状態で管理する。即ち、告源がビジー状態の時、該当レ
ジスタ55の値はL 、1.1+、ビジーでないときの
値はLg OTlとする。レジスタ55の状態はそれぞ
れスイッチング回路53.54で選択され、結果がレジ
スタ56.57にセン1〜される。これらレジスタ56
.57の値は、レジスタ51の命令を実行することがで
きる処理装置資源がビジーか否かを示している。
The registers 55 each hold the status of the processing '3A resources. The processing device manages two states: whether the processing device is busy or not. That is, when the reporting source is busy, the value of the corresponding register 55 is L, 1.1+, and when it is not busy, the value is Lg_OTl. The states of registers 55 are selected by switching circuits 53 and 54, respectively, and the results are sent to registers 56 and 57, respectively. These registers 56
.. The value 57 indicates whether processing unit resources that can execute the instruction in register 51 are busy.

レジスタ56.57の値はAND回路58で論理積がと
られ、バス21上に送出される。このバス21」−の信
号が1″となると、命令の主記憶からの読出しは抑II
―される。同時にバス83上の信叶はインバータ59で
jtA転され、レジスタ6゜のセット(Pi号となる7
従って、A N D回路58の出力がN i IIの場
合、レジスタ51−ヒの命令は次のタイミングでレジス
タ60にセン1−されずにレジスタ51に留まる。この
場合、次のタイミングで再びレジスタ55の状jj哄が
調べられる。
The values in the registers 56 and 57 are ANDed by an AND circuit 58 and sent onto the bus 21. When the signal on this bus 21'' becomes 1'', reading of instructions from the main memory is inhibited.
- to be done. At the same time, the signal on the bus 83 is inverted by the inverter 59, and the register 6° is set (7, which becomes the Pi number).
Therefore, when the output of the AAND circuit 58 is N i II, the instruction in the register 51-hi remains in the register 51 without being sent to the register 60 at the next timing. In this case, the status of the register 55 is checked again at the next timing.

レジスタ56.57の値が同時に111 IIでないと
き1両レジスタの出力はレジスタ51−1−の命令を実
行するだめの処理装置i#資源を決定する選択回路61
に入力される。当該選択回路61は2人力の場合、第3
図の如くインバータとOR回路によって構成できる。バ
ス84,851−のイ、1吟がIt O11゜II O
nの場合1選択回路61の出力は1″となる。同様にへ
カイ目吐が11 Q II 、 II J−IIの場合
1選択回路61の出力は″[″で、六カ信号が゛ビ′。
When the values of registers 56 and 57 are not 111-II at the same time, the output of both registers is a selection circuit 61 that determines the processing device i# resource to execute the instruction of register 51-1-.
is input. In the case of two-person operation, the selection circuit 61 is the third
As shown in the figure, it can be constructed using an inverter and an OR circuit. Bus 84, 851- no I, 1 Gin is It O11゜II O
In the case of n, the output of the 1 selection circuit 61 is 1''.Similarly, in the case of 11 Q II, II J-II, the output of the 1 selection circuit 61 is ``['', and the six signals are '.

0”の場合は“0″である。これによって、命令によっ
てどの処理装置資源が実行されるかが決まる。選択回路
61の出力信号はバス86を通ってエンコーダ62に入
力される。このエンコーダは選択回路61の入力が2の
場合は不要であるが、3以上の場合は選択回路61の出
力信腫線が複数になるのでエンコーダで適切な変換を行
う必要がある。エンコーダ62の出力はバス87−Hの
信号(これは1″の時、命令を実行すべき処理% SY
資源が1個以上存在することを示す)とA N D I
+’1路63で論理積がとられ、デコーダ64に人力さ
れる。デコーダ64はレジスタ51上の命令が使用する
資源の状態を保持しているレジスタ55のいずれかをセ
ットする信号をバス88(複数)上に送出する。
0" is "0". This determines which processing device resource is executed by the instruction. The output signal of the selection circuit 61 is input to the encoder 62 through the bus 86. This encoder It is not necessary when the input of the selection circuit 61 is 2, but when the input is 3 or more, the output of the selection circuit 61 becomes multiple, so it is necessary to perform appropriate conversion with the encoder.The output of the encoder 62 is connected to the bus. 87-H signal (when this is 1", the process to execute the command % SY
(indicates that one or more resources exist) and A N D I
A logical AND is performed at +'1 path 63 and inputted to a decoder 64. Decoder 64 sends a signal onto bus 88 that sets one of the registers 55 that holds the state of the resource used by the instruction on register 51.

一方、処理装置で命令を実行しうろことが判明して、そ
の結果、レジスタ60に移行した命令は、この命令のオ
ペコードをアドレスとして、記憶手段(オーダ情報生成
回路)65を引用して命令実行のためのオーダ情報を生
成する。オーダ情報生成回路65の出力はレジスタ66
にいったん■Yえられ、スイッチング回路67によって
命令実行資源にバス20(複数バス)を介して送り出さ
れる。
On the other hand, when it is determined that the instruction is to be executed by the processing device, and as a result, the instruction is transferred to the register 60, the instruction is executed by referring to the storage means (order information generation circuit) 65 using the operation code of this instruction as an address. Generate order information for. The output of the order information generation circuit 65 is in the register 66.
Once the instruction is received, the switching circuit 67 sends it to the instruction execution resource via the bus 20 (multiple buses).

詠スイッチング回路67のスイッチング制御情報はエン
コーダ62の出力をレジスタ69にラッチして用いるこ
とができる。
The switching control information of the switching circuit 67 can be used by latching the output of the encoder 62 in the register 69.

レジスタ55の出力は常にOR回路68で論理和がとら
れており、結果がバス27J−に送出される。バス27
1の信号は処理装置のベクトルプロセッサ部分の処理装
置資源が全てビジーでないことを示しており、これを利
用してスカラプロセッサ処理の完了を知ることができる
The output of register 55 is always logically summed by OR circuit 68, and the result is sent to bus 27J-. bus 27
A signal of 1 indicates that all processing unit resources in the vector processor portion of the processing unit are not busy, and this can be used to determine the completion of scalar processor processing.

処理装置の各9f、源で命令で指定された処理が完了す
ると、第2図において各資源はバス18.19(共に東
線)を介して完了情報を命令起動回路5に送出する6第
3図においては、この完了情報はレジスタ55に対して
リセット指示として人力される。
When the processing designated by the command is completed in each of the processing units 9f and 9f, the respective resources in FIG. In the figure, this completion information is manually input to the register 55 as a reset instruction.

以−1−明らかにしたように、処理装置の複数資源を管
理し、複数の命令の組合せによって複数の処理装置資源
をプロクラ11側から意識して動作させることができる
As explained above, it is possible to manage a plurality of resources of a processing device and consciously operate the plurality of processing device resources from the processor 11 side by combining a plurality of commands.

〔発明の効果〕〔Effect of the invention〕

本発明によれば、 tiQ来のマイグロコード診断等で
は診断が不可能であった、処理装置R内の複数の資源を
有し、1個の命令ではどの資源が割当てられるか特定で
きない場合あって、命令の処理シフ1i!/資源割付則
が存在する処理装置の診断を行うことができる。また、
本発明の障害診断方式を実施するにあたっては、処理装
置の通常の命令実行論理に対し新たな論理回路を付加さ
せる必要はなく。
According to the present invention, there are cases where there are multiple resources in the processing device R and it is not possible to specify which resource is allocated with a single instruction, which was impossible to diagnose using microcode diagnosis etc. since tiQ. Then, the instruction processing shift 1i! /It is possible to diagnose a processing device in which a resource allocation rule exists. Also,
In implementing the fault diagnosis method of the present invention, there is no need to add a new logic circuit to the normal instruction execution logic of the processing device.

著しい経済性を有する。It has remarkable economic efficiency.

【図面の簡単な説明】[Brief explanation of drawings]

第1図は本発明で用いる診断プログラムの一例の構造図
、第2図は診断対象の情報処理装置の概略ブロック図、
第3図は第2図における命令起191回路の詳細図、第
4図は診断プログラムのナス1−順序の概念図である。 1・・・主記憶装置、 4・・・スカラ演算器。 5・・・命令起動回路、  6・・・中間記憶保持部。 7・・演算器。 J %(− 第1図 So     51 !           1 第2図 第4図 第3図
FIG. 1 is a structural diagram of an example of a diagnostic program used in the present invention, FIG. 2 is a schematic block diagram of an information processing device to be diagnosed,
FIG. 3 is a detailed diagram of the instruction generation 191 circuit in FIG. 2, and FIG. 4 is a conceptual diagram of the eggplant 1-order of the diagnostic program. 1... Main memory device, 4... Scalar arithmetic unit. 5... Instruction activation circuit, 6... Intermediate memory holding section. 7. Arithmetic unit. J % (- Fig. 1 So 51 ! 1 Fig. 2 Fig. 4 Fig. 3

Claims (1)

【特許請求の範囲】[Claims] (1)論理的に等価な処理装置資源を複数個具備し、命
令が該複数の論理的に等価な処理装置資源によって実行
される方式を採用している情報処理装置において、診断
プログラムを複数個のテストルーチンで構成し、あるテ
ストルーチンによって検証される処理装置資源の範囲が
前回に実行されたテストルーチンの検証範囲を含むよう
に前記複数のテストルーチンの実行順序を決定してテス
トルーチンを実行し、前記処理装置資源の障害を診断す
ることを特徴とする情報処理装置の障害診断方式。
(1) In an information processing device that is equipped with a plurality of logically equivalent processing device resources and employs a method in which instructions are executed by the plurality of logically equivalent processing device resources, multiple diagnostic programs are installed. The test routine is executed by determining the execution order of the plurality of test routines so that the range of processing device resources verified by a certain test routine includes the verification range of the previously executed test routine. A fault diagnosing method for an information processing device, characterized in that a fault in the processing device resource is diagnosed.
JP60274950A 1985-12-09 1985-12-09 Fault diagnostic system for information processor Pending JPS62134731A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP60274950A JPS62134731A (en) 1985-12-09 1985-12-09 Fault diagnostic system for information processor

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP60274950A JPS62134731A (en) 1985-12-09 1985-12-09 Fault diagnostic system for information processor

Publications (1)

Publication Number Publication Date
JPS62134731A true JPS62134731A (en) 1987-06-17

Family

ID=17548814

Family Applications (1)

Application Number Title Priority Date Filing Date
JP60274950A Pending JPS62134731A (en) 1985-12-09 1985-12-09 Fault diagnostic system for information processor

Country Status (1)

Country Link
JP (1) JPS62134731A (en)

Similar Documents

Publication Publication Date Title
US4074353A (en) Trap mechanism for a data processing system
US4003033A (en) Architecture for a microprogrammed device controller
US5253359A (en) Control and maintenance subsystem network for use with a multiprocessor computer system
WO2007118741A1 (en) Computer hardware fault diagnosis
US7805638B2 (en) Multi-frequency debug network for a multiprocessor array
US7577874B2 (en) Interactive debug system for multiprocessor array
US20080195840A1 (en) Identifying Messaging Completion on a Parallel Computer
US4933941A (en) Apparatus and method for testing the operation of a central processing unit of a data processing system
JPH036742A (en) Fault-tolerant-data processing system
US11698883B2 (en) Assigning identifiers to processing units in a column to repair a defective processing unit in the column
JPH0375863A (en) Data processing system
JPH0430053B2 (en)
JPH02232737A (en) Method and apparatus for detecting and correcting error in pipeline type computer system
GB1573017A (en) Computer peripheral control system
JPH0374760A (en) Data processing system
IE842859L (en) Self-testing of floating point accelerator processors
JPH03171250A (en) Computer system
US4697233A (en) Partial duplication of pipelined stack with data integrity checking
US20110173503A1 (en) Hardware enabled performance counters with support for operating system context switching
US20080301402A1 (en) Method and System for Stealing Interrupt Vectors
US11119873B2 (en) Processor repair
JPS62134731A (en) Fault diagnostic system for information processor
JP2001188751A (en) Data transferring device
CN111506395B (en) Method and device for realizing hybrid simulation full-digital virtual operating environment
US10242179B1 (en) High-integrity multi-core heterogeneous processing environments