Patents by Inventor Frederic Brugnot

Frederic Brugnot has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • 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
    Patent number: 5784556
    Abstract: 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.
    Type: Grant
    Filed: April 17, 1995
    Date of Patent: July 21, 1998
    Assignee: Bull S.A.
    Inventors: Michel Sanchez, Frederic Brugnot, Michel Chervier