To improve a detection rate of a data race without lowering execution speed.

Data required in the process of detecting a data race is recorded in another memory, and a state calculation function and a set calculation function for calculating the state of a variable and a lock for protecting the variable each time the variable is accessed are implemented by hardware, thereby improving a data race detection rate. Further, an appropriate delay is inserted, thereby enabling data race detection without stalling a CPU.