threads

[Randy Terbush <ra...@zyzzyva.com>]

I thought this comment was interesting. I don't have this on our
Solaris box. Anyone else?


------- Forwarded Message

From: rb@gid.co.uk (Bob Bishop)
Subject: Re: Some interesting papers on BSD ...
Cc: Bruce Evans <bd...@zeta.org.au>, matt@lkg.dec.com,
        freebsd-hackers@FreeBSD.org, tech-kern@netbsd.org
Sender: owner-hackers@FreeBSD.org
X-Loop: FreeBSD.org
Precedence: bulk

>[...] 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


------- End of Forwarded Message

Re: threads

[Alexei Kosut <ak...@nueva.pvt.k12.ca.us>]

On Sun, 14 Jul 1996, Randy Terbush wrote:

> I thought this comment was interesting. I don't have this on our
> Solaris box. Anyone else?

I do. (have lock_lint on my Solaris box)

-- 
________________________________________________________________________
Alexei Kosut <ak...@nueva.pvt.k12.ca.us>      The Apache HTTP Server
URL: http://www.nueva.pvt.k12.ca.us/~akosut/   http://www.apache.org/