Analyzer using control graph for system call function and lists

Details Analyzer using control graph for system call function and lists Analyzer using control graph for system call function and lists

1995-04-17

1998-07-21

Shin, Christopher B.

39520019, G06F 900

Patent

active

057845565

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.

REFERENCES:
patent: 4189771 (1980-02-01), Roever
patent: 4791554 (1988-12-01), Hirota et al.
patent: 5283896 (1994-02-01), Temmyo et al.
patent: 5297150 (1994-03-01), Clark
patent: 5442763 (1995-08-01), Bartfai et al.
patent: 5459871 (1995-10-01), Van Den Berg
patent: 5491694 (1996-02-01), Oliver et al.
IBM Technical Disclosure Bulletin, vol. 34, No. 5, Oct. 1991, New York US, pp. 84-89 "Extraction and hierarchical reporting of program linkage relationships" * p. 88, line 16-line 19*.
Computer Systems, vol. 9, No. 5, May 1989, Bromley GB pp. 37-38 "Kenneth Dakin Intelligent testing" *p. 37, right col., line 2-line 15*.

Affiliated with

Also associated with

Rating

Analyzer using control graph for system call function and lists does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Analyzer using control graph for system call function and lists , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Analyzer using control graph for system call function and lists will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1656207