>[...] 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
http://www.sun.com/sunsoft/Developer-products/sig/threads/man.html

>>lock_lint(1)              User Commands              lock_lint(1)
>>
>>NAME
>>     lock_lint - verify use of locks in multi-threaded programs
>>
>>SYNOPSIS
>>     lock_lint subcommand
>>
>>DESCRIPTION
>>     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
rb@gid.co.uk        fax (0118) 989 4254  between 0800 and 1800 UK