Subject: Re: Some interesting papers on BSD ...
To: Warner Losh <email@example.com>
From: Bob Bishop <firstname.lastname@example.org>
Date: 07/14/1996 11:58:08
>[...] Sun, when they were
>writing Solaris, is rumored to have produced "warlock." This program
>would go through all your sources and warn of potential deadlock
>situations in them. They never released it as they considered it a
>competitive advantage to them...
Warlock became lock_lint. From
>>lock_lint(1) User Commands lock_lint(1)
>> lock_lint - verify use of locks in multi-threaded programs
>> lock_lint subcommand
>> lock_lint is a tool that statically analyzes ANSI C source
>> code to aid in the detection of data races and deadlocks
>> caused by inconsistent usages of mutex and readers-writer
>> locks. [etc]
I don't have it here, us tightwads use gcc on Solaris.
Bob Bishop (0118) 977 4017 international code +44 118
email@example.com fax (0118) 989 4254 between 0800 and 1800 UK