From owner-cvs-all@FreeBSD.ORG Sun Jul 27 06:44:06 2003 Return-Path: Delivered-To: cvs-all@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id C3ABC37B405; Sun, 27 Jul 2003 06:44:06 -0700 (PDT) Received: from phk.freebsd.dk (phk.freebsd.dk [212.242.86.175]) by mx1.FreeBSD.org (Postfix) with ESMTP id 6D0C943F85; Sun, 27 Jul 2003 06:44:05 -0700 (PDT) (envelope-from phk@phk.freebsd.dk) Received: from critter.freebsd.dk (critter.freebsd.dk [212.242.86.163]) by phk.freebsd.dk (8.12.8/8.12.8) with ESMTP id h6RDi3V3025339; Sun, 27 Jul 2003 13:44:03 GMT (envelope-from phk@phk.freebsd.dk) Received: from critter.freebsd.dk (localhost [127.0.0.1]) by critter.freebsd.dk (8.12.9/8.12.9) with ESMTP id h6RDi35H063497; Sun, 27 Jul 2003 15:44:03 +0200 (CEST) (envelope-from phk@phk.freebsd.dk) To: Alexander Leidinger , cvs-src@FreeBSD.org, src-committers@FreeBSD.org, cvs-all@FreeBSD.org, dds@FreeBSD.org From: "Poul-Henning Kamp" In-Reply-To: Your message of "Sun, 27 Jul 2003 09:26:52 EDT." Date: Sun, 27 Jul 2003 15:44:03 +0200 Message-ID: <63496.1059313443@critter.freebsd.dk> Subject: Re: cvs commit: src/sys/kern init_main.c kern_malloc.c md5c.c subr_autoconf.c subr_mbuf.c subr_prf.c tty_subr.c vfs_cluster.c vfs_subr.c X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 27 Jul 2003 13:44:07 -0000 In message , Robe rt Watson writes: >I can't help wondering if the single most positive step in the direction >of having formalism and analysis tools available in development wouldn't >be to use a language other than C... :-) There are certainly areas where C could be improved to fit the task of modern and portable systems programming better, but all things considered I only think that would result in rather marginal prevention of certain "brain-o" style bugs and less rules in style(9) to enforce. I am on the other hand pretty sure that the biggest improvement would not come from changing the language in which we write our code as much as from programs which read that code, and answer the questions which it would otherwise be very time consuming to get a reply to. For instance, since one can manually establish the answer to the question "how is this line of code reached", producing more or less kernel backtraces that lead to the line in questions, I can't see why we shouldn't be able to automate that task. -- Poul-Henning Kamp | UNIX since Zilog Zeus 3.20 phk@FreeBSD.ORG | TCP/IP since RFC 956 FreeBSD committer | BSD since 4.3-tahoe Never attribute to malice what can adequately be explained by incompetence.