From owner-freebsd-hackers Sat Jul 13 23:42:34 1996 Return-Path: owner-hackers Received: (from root@localhost) by freefall.freebsd.org (8.7.5/8.7.3) id XAA18808 for hackers-outgoing; Sat, 13 Jul 1996 23:42:34 -0700 (PDT) Received: from sgigate.sgi.com (sgigate.SGI.COM [204.94.209.1]) by freefall.freebsd.org (8.7.5/8.7.3) with SMTP id XAA18800 for ; Sat, 13 Jul 1996 23:42:32 -0700 (PDT) Received: from cthulhu.engr.sgi.com by sgigate.sgi.com via ESMTP (951211.SGI.8.6.12.PATCH1042/940406a.SGI) id XAA11217; Sat, 13 Jul 1996 23:42:15 -0700 Received: from neteng.engr.sgi.com (neteng.engr.sgi.com [192.26.80.10]) by cthulhu.engr.sgi.com (950413.SGI.8.6.12/960327.SGI.AUTOCF) via ESMTP id XAA14709; Sat, 13 Jul 1996 23:42:13 -0700 Received: (from dm@localhost) by neteng.engr.sgi.com (950413.SGI.8.6.12/960327.SGI.AUTOCF) id XAA15566; Sat, 13 Jul 1996 23:42:12 -0700 Date: Sat, 13 Jul 1996 23:42:12 -0700 Message-Id: <199607140642.XAA15566@neteng.engr.sgi.com> From: "David S. Miller" To: imp@village.org CC: bde@zeta.org.au, matt@lkg.dec.com, freebsd-hackers@FreeBSD.ORG, tech-kern@NetBSD.ORG In-reply-to: <199607140529.XAA07492@rover.village.org> (message from Warner Losh on Sat, 13 Jul 1996 23:29:08 -0600) Subject: Re: Some interesting papers on BSD ... Reply-to: dm@sgi.com Sender: owner-hackers@FreeBSD.ORG X-Loop: FreeBSD.org Precedence: bulk Date: Sat, 13 Jul 1996 23:29:08 -0600 From: Warner Losh 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