Date: Sat, 13 Jul 1996 23:42:12 -0700 From: "David S. Miller" <dm@neteng.engr.sgi.com> To: imp@village.org Cc: 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: <199607140642.XAA15566@neteng.engr.sgi.com> In-Reply-To: <199607140529.XAA07492@rover.village.org> (message from Warner Losh on Sat, 13 Jul 1996 23:29:08 -0600)
next in thread | previous in thread | raw e-mail | index | archive | help
Date: Sat, 13 Jul 1996 23:29:08 -0600 From: Warner Losh <imp@village.org> 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... Solaris kernel also has a debugging feature, it's called "deadman". Every so often a timer based callout runs which runs down all the mutex/semaphore/spinlock holder lists in the kernel and panics if any circular and/or deadlock cases are found. Later, David S. Miller dm@sgi.com
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199607140642.XAA15566>