摘要 |
PROBLEM TO BE SOLVED: To detect the possibility of dead lock based on access information to a common resource acquired when each test is performed to each processing constituting the combination of processing having the possibility of the generation of dead lock, and to device a necessary countermeasure against an assumed dead lock even if the dead lock is not actually generated at each test. SOLUTION: In a multi-task system in which a common resource is used by multiple tasks, the possibility of generation of dead lock that the multiple tasks wait for each other and stop their is operation is detected by comparing access information at each test performed to each task.
|