Quotables
"The Americans have need of the telephone, but we do not. We have plenty of messenger boys."
Sir William Preece, chief engineer, British Post Office ; 1878
PatentStorm News
Make the Most of PatentStorm
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest patents by subscribing to an RSS feed.
Got questions? Ask a Patent Expert!
Registered users: Manage your profile, comments and alerts.
US Patent 5822588 - System and method for checking the use of synchronization locks in a multi-threaded target program
US Patent Issued on October 13, 1998
Estimated Patent Expiration Date:
June 9, 2015Estimated Expiration Date is calculated based on simple USPTO term provisions. It does not account for terminal disclaimers, term adjustments, failure to pay maintenance fees, or other factors which might affect the term of a patent.
Estimated Patent Expiration Date:
June 9, 2015Estimated Expiration Date is calculated based on simple USPTO term provisions. It does not account for terminal disclaimers, term adjustments, failure to pay maintenance fees, or other factors which might affect the term of a patent.AbstractThe 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.Other References
| InventorsAssigneeApplicationNo. 489197 filed on 06/09/1995US Classes:717/131, Including analysis of program execution717/146Including intermediate codeExaminersPrimary: Trammell, James P.Assistant: Chavis, John Q. Attorney, Agent or FirmUS Patent References4667290, Compilers using a universal intermediate languageIssued on: 05/19/1987 Inventor: Goss , et al.5450592, Shared resource control using a deferred operations list Issued on: 09/12/1995 Inventor: McLeod5481706, System and method for creating thread-safe shared libraries Issued on: 01/02/1996 Inventor: Peek5524247, System for scheduling programming units to a resource based on status variables indicating a lock or lock-wait state thereof Issued on: 06/04/1996 Inventor: Mizuno5535393, System for parallel processing that compiles a filed sequence of instructions within an iteration space Issued on: 07/09/1996 Inventor: Reeve, et al.5590326, Shared data management scheme using shared data locks for multi-threading Issued on: 12/31/1996 Inventor: Manabe5632032Cross address space thread control in a multithreaded environment Issued on: 05/20/1997 Inventor: Ault, et al. International ClassG06F 012/06 |
