Analyzer using control graph for system call function and lists of lock applications for all possible synchronizations of processes to analyze risks of blocking operation

摘要

The invention relates to a static analyzer of the risks of blocking the operation of a system. The analyzer produces lists of lock applications associated with allocations of the resources of the system which conform to Coffman conditions. The analyzer also produces the names of the source programs from which the lists are extracted. This allows the constructor of the system to modify his source programs in order to eliminate the risks of deadlocking between different processes in the system. The constructor of the system will thus be assured that no allocation of resources will have a blocking effect, no matter what the synchronizations of the various processes being executed in the system may be.