Abstract: A highly reliable computer system is intended to duplicate processors, compare the outputs of the processors with each other and enhance the validity of the output of processor system. If a mismatch between the outputs is detected, one of the processors performs a process of saving an internal state of the processor in amain memory and diagnosing factor of the detected mismatch. If the process is recognized to be continued in a duplex mode, the processors are re-synchronized by a processor reset, and initialize themselves and restore the internal information saved in the main memory for continuing the process having been proceeded before the fault occurred.

Abstract: A data processing system includes a multistage pipeline arithmetic/logic operation unit for implementing an arithmetic or logic operation for sets of element data sequentially and storing operational results sequentially in a memory using a single instruction. Check information indicative of the presence or absence of a fault occurring in each stage of the pipeline operation unit is moved in synchronism with the advancement of stages of the pipeline operation unit. A request control unit for storing the operational result in the memory suppresses the storing of the operational result in the memory if check information indicates a fault of the operational result which is being stored in the memory. The request control unit issues storage requests, which are counted by a counter. The counter indicates the number of elements stored normally in the memory.

Abstract: An information processing system having a plurality of arithmetic units such as a general instruction arithmetic unit and a floating point instruction arithmetic unit comprises means provided for each of the arithmetic units, for generating a condition code for use in branch judgement of a conditional branch instruction, branch judgement means provided in each arithmetic unit for judging success or failure of a branch of the conditional branch instruction by using the condition generated by the respective code generating means, and a judgement unit decision circuit responsive to the operation state of each arithmetic unit for generating an instruction signal indicating which of the judging means is to be operated to and supplying it to the branch judgement means, whereby branch control is carried out by using either one of the branch judgement results obtained in the respective arithmetic units as a valid one.