System and method for checking the use of synchronization locks in a multi-threaded target program
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Oct 13, 1998
Grant Date -
N/A
app pub date -
Jun 9, 1995
filing date -
Jun 9, 1995
priority date (Note) -
In Force
status (Latency Note)
Importance
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.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully