From owner-freebsd-arch Wed Oct 4 13:53: 1 2000 Delivered-To: freebsd-arch@freebsd.org Received: from smtp03.primenet.com (smtp03.primenet.com [206.165.6.133]) by hub.freebsd.org (Postfix) with ESMTP id 7F22737B66D for ; Wed, 4 Oct 2000 13:52:59 -0700 (PDT) Received: (from daemon@localhost) by smtp03.primenet.com (8.9.3/8.9.3) id NAA22385; Wed, 4 Oct 2000 13:51:26 -0700 (MST) Received: from usr06.primenet.com(206.165.6.206) via SMTP by smtp03.primenet.com, id smtpdAAAQ4aasR; Wed Oct 4 13:50:56 2000 Received: (from tlambert@localhost) by usr06.primenet.com (8.8.5/8.8.5) id NAA01516; Wed, 4 Oct 2000 13:52:03 -0700 (MST) From: Terry Lambert Message-Id: <200010042052.NAA01516@usr06.primenet.com> Subject: Re: Mutexes and semaphores To: dillon@earth.backplane.com (Matt Dillon) Date: Wed, 4 Oct 2000 20:52:03 +0000 (GMT) Cc: arch@freebsd.org In-Reply-To: <200010041639.e94GdVR24384@earth.backplane.com> from "Matt Dillon" at Oct 04, 2000 09:39:31 AM X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-freebsd-arch@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG > Now, granted, the chance of the above occuring is probably close to nil. > From an algorithmic point of view, though, the below code (and the > linux code) cannot actually guarentee correct operation without also > make assumptions on side effects (for example, in regards to who is > or is not actually allowed to become the new parent and whether the > situation can occur with those restrictions in place). > > I would prefer not to see this sort of code in FreeBSD, even if it means > slowing things down a little. I concur. Correctness is always preferrable to speed. Look at the Human Genome Project supposedly being solved by a commercial company sequencing everything, and then expecting to be able to correctly sort it out later through pattern matching. Reminds me of Java garbage collection... PS: Cc: trimmed per JDP's request; hope I didn't drop anyone, since this sort of trimming is rightfully the job of the mailing list software's duplicate supression code. Terry Lambert terry@lambert.org --- Any opinions in this posting are my own and not those of my present or previous employers. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-arch" in the body of the message