The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Oct. 13, 1998
Filed:
Jun. 09, 1995
Nicholas A Sterling, Sunnyvale, CA (US);
Steven R Kleiman, Los Altos, CA (US);
Charles E Fineman, Los Altos, CA (US);
Douglas E Walls, Belmont, CA (US);
Keith H Bierman, San Jose, CA (US);
Sun Microsystem, Inc., Mountain View, CA (US);
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.