摘要 |
PROBLEM TO BE SOLVED: To conceal a penalty accompanying verification by reading a real dependence value out of a processor and comparing it with a predicted value and interrupting the processor when the real dependence value and predicted value are different from each other. SOLUTION: The verification device 1 is connected to processors 10 and 11, etc., a request waiting means 2 of the verification device 1 waits for verification requests from those processors 10 and 11, etc., and a monitor means 3 monitor the instruction execution, etc., of the processors 10 and 11. A comparing means 4 reads really depending values out of the processors 10 and 11 and compares them with the predicted value at the time of the verification requests. When those compared values are different, an interruption initiating means 5 interrupts the processors 10 and 11 having done speculative execution in case of occurrence of a misprediction.
|