| 摘要 |
The present invention realizes a computer system for synchronously executing multiple tasks on multiple computers. Each of a leader computer and follower computers executes the same task, with this leader computer creating a first output data on the basis of a first access requested from a first task and querying the follower computers as to whether or not the first execution result is correct, and, upon obtaining responses to the effect that the result is correct from a prescribed number of the follower computers, determining that the first output data is correct, while the follower computer creating a second output data on the basis of a second access request requested from a second task that performs the same processing as the first task, and receiving a query from the leader computer than determining whether or not the first execution result and the second output data are the same result, and in a case where the determination result is affirmative, sending to the leader computer a response to the effect that the first output data is correct. |
