System and method for checking the use of synchronization locks

Details System and method for checking the use of synchronization locks System and method for checking the use of synchronization locks

1995-06-09

1998-10-13

Trammell, James P.

G06F 1206

Patent

active

058225889

ABSTRACT:
The present invention is a system and method for "checking the use of synchronization locks in a multi-threaded computer program" (hereinafter "WARLOCK II"). In Warlock II a set of source code representing a process which includes multiple threads may be annotated by the developer using a "NOTE" macro to describe the desired operation of the locks. This annotated source code is passed to a modified ANSI C compiler which outputs a special file designated a ".ll" file, as for example, file "foo.ll". This special ".ll" file is then processed as input along with other designated ".ll" files which might be related, by a "wlanalyze" program which will check the source code of the target programs in the ".ll" files to determine whether their use of synchronization locks is consistent with the intended use as specified in the annotations.

REFERENCES:
patent: 4667290 (1987-05-01), Goss et al.
patent: 5450592 (1995-09-01), McLeod
patent: 5481706 (1996-01-01), Peek
patent: 5524247 (1996-06-01), Mizuno
patent: 5535393 (1996-07-01), Reeve et al.
patent: 5590326 (1996-12-01), Manabe
patent: 5632032 (1997-05-01), Ault et al.
"Solaris.sup..TM. Multithreaded Programming Guide", SunSoft, pp. iii-158.
"Sema: a Lint-like Tool for Analyzing Semaphore Usage in a Multithreaded UNIX Kernal", Joseph A. Korty, MODCOMP, an AEG Company, USENIX-Winter '89, pp. 113-123.
"WARLOCK-A static Data Race Analysis Tool", Nicholas Sterling, SunSoft, Inc., 1993 Winter USENIX-Jan. 25-29, 1993-San Diego, CA, pp. 97-106.
"lock.sub.- Lint User's Guide", SunSoft, pp. iii-62.

Affiliated with

Also associated with

Rating

System and method for checking the use of synchronization locks does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for checking the use of synchronization locks , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for checking the use of synchronization locks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-324867