Date: Sun, 14 Jul 1996 11:58:08 +0100 From: rb@gid.co.uk (Bob Bishop) To: Warner Losh <imp@village.org> Cc: Bruce Evans <bde@zeta.org.au>, matt@lkg.dec.com, freebsd-hackers@FreeBSD.ORG, tech-kern@netbsd.org Subject: Re: Some interesting papers on BSD ... Message-ID: <v01510100ae0e815011d3@[194.32.164.2]>
next in thread | raw e-mail | index | archive | help
>[...] 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?v01510100ae0e815011d3>