Patent ReferencesCompilers using a universal intermediate language Shared resource control using a deferred operations list System and method for creating thread-safe shared libraries System for scheduling programming units to a resource based on status variables indicating a lock or lock-wait state thereof System for parallel processing that compiles a filed sequence of instructions within an iteration space Shared data management scheme using shared data locks for multi-threading Cross address space thread control in a multithreaded environment Patent #: 5632032 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 FirmInternational ClassG06F 012/06AbstractThe 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
| |