From: Adrian Bunk <bunk@stusta.de>
To: Hacksaw <hacksaw@hacksaw.org>
Cc: linux-kernel@vger.kernel.org
Subject: Re: My thoughts on the "new development model"
Date: Fri, 29 Oct 2004 23:30:43 +0200 [thread overview]
Message-ID: <20041029213043.GU6677@stusta.de> (raw)
In-Reply-To: <200410280728.i9S7SIYW017628@hacksaw.org>
On Thu, Oct 28, 2004 at 03:28:18AM -0400, Hacksaw wrote:
> > That's NOT the same as bug free software. For a start, there's no such
> > thing.
>
> Speaking of which, here's something I have wondered: is anyone out there
> trying to prove the correctness of core functions in the kernel? I was
> thinking this would be a fine activity for all those eager college students
> out there, or perhaps a graduate student project, a la the Stanford Checker
> project.
>
> While I can't imagine the main developers doing such a thing, I think it'd be
> useful and might uncover some hard to find bugs.
>
> I'd also suspect that they might be good candidates for proving, as there's
> not so much reason to have side effect riddled code, as one might for GUI
> programs.
Did you ever try to prove the correctness of some piece of code in an
imperative programming language? That's definitely not only "a graduate
student project".
cu
Adrian
--
"Is there not promise of rain?" Ling Tan asked suddenly out
of the darkness. There had been need of rain for many days.
"Only a promise," Lao Er said.
Pearl S. Buck - Dragon Seed
next prev parent reply other threads:[~2004-10-29 21:38 UTC|newest]
Thread overview: 115+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-26 5:40 My thoughts on the "new development model" Chuck Ebbert
2004-10-26 10:44 ` Ed Tomlinson
2004-10-26 11:09 ` Massimo Cetra
2004-10-26 12:08 ` Paolo Ciarrocchi
2004-10-26 19:03 ` Mathieu Segaud
2004-10-26 20:16 ` Let's make a small change to the process Paolo Ciarrocchi
2004-10-26 20:22 ` William Lee Irwin III
2004-10-26 20:26 ` Paolo Ciarrocchi
2004-10-26 20:33 ` William Lee Irwin III
2004-10-26 20:36 ` Dave Jones
2004-10-26 20:44 ` Paolo Ciarrocchi
2004-10-27 0:51 ` Jan Knutar
2004-10-26 20:48 ` John Richard Moser
2004-10-26 21:00 ` Paolo Ciarrocchi
2004-10-26 15:03 ` My thoughts on the "new development model" William Lee Irwin III
2004-10-26 21:19 ` Ed Tomlinson
2004-10-27 3:05 ` Marcos D. Marado Torres
2004-10-27 4:29 ` Rik van Riel
2004-10-27 5:13 ` Willy Tarreau
2004-10-27 5:23 ` William Lee Irwin III
2004-10-27 6:04 ` Willy Tarreau
2004-10-27 6:28 ` William Lee Irwin III
2004-10-27 6:50 ` Massimo Cetra
2004-10-27 6:56 ` William Lee Irwin III
2004-11-16 16:43 ` Bill Davidsen
2004-10-27 13:48 ` John Richard Moser
2004-10-27 14:57 ` Theodore Ts'o
2004-10-27 15:35 ` John Richard Moser
2004-10-27 19:46 ` Marcos D. Marado Torres
2004-10-27 21:08 ` John Richard Moser
2004-10-27 21:14 ` Rik van Riel
2004-10-27 17:55 ` William Lee Irwin III
2004-10-27 13:38 ` John Richard Moser
2004-10-27 5:25 ` John Richard Moser
2004-10-28 6:46 ` michael
2004-10-28 7:13 ` William Lee Irwin III
2004-10-28 7:28 ` Hacksaw
2004-10-29 21:30 ` Adrian Bunk [this message]
2004-10-28 7:57 ` Massimo Cetra
2004-10-28 16:14 ` John Richard Moser
2004-10-28 17:27 ` Theodore Ts'o
2004-10-28 23:19 ` michael
2004-10-29 0:02 ` John Richard Moser
2004-10-27 4:26 ` Rik van Riel
2004-11-16 16:18 ` Bill Davidsen
2004-10-26 12:37 ` Barry K. Nathan
2004-10-26 14:40 ` Espen Fjellvær Olsen
2004-10-26 14:28 ` William Lee Irwin III
2004-10-26 14:41 ` Gene Heskett
2004-10-26 14:24 ` William Lee Irwin III
2004-10-27 15:27 ` Alan Cox
-- strict thread matches above, loose matches on Subject: below --
2004-10-28 23:33 Chuck Ebbert
2004-10-28 23:53 ` William Lee Irwin III
2004-10-28 13:04 Chuck Ebbert
2004-10-28 13:15 ` Arjan van de Ven
2004-10-28 15:03 ` William Lee Irwin III
2004-10-28 15:07 ` William Lee Irwin III
2004-10-28 17:33 ` Alan Cox
2004-10-28 18:39 ` William Lee Irwin III
2004-10-29 13:19 ` Bill Davidsen
2004-10-29 17:49 ` William Lee Irwin III
2004-10-27 19:50 Chuck Ebbert
2004-10-27 21:40 ` Alan Cox
2004-10-28 2:59 ` Dmitry Torokhov
2004-10-28 10:16 ` Alan Cox
2004-10-27 0:00 Chuck Ebbert
2004-10-27 0:24 ` Dmitry Torokhov
2004-10-27 0:36 ` William Lee Irwin III
2004-10-27 0:36 ` William Lee Irwin III
2004-10-27 2:45 ` Marcos D. Marado Torres
2004-10-27 3:19 ` William Lee Irwin III
2004-10-27 2:47 ` Marcos D. Marado Torres
2004-10-26 16:32 Chuck Ebbert
2004-10-26 17:37 ` William Lee Irwin III
2004-10-26 15:54 Chuck Ebbert
2004-10-26 17:50 ` William Lee Irwin III
2004-10-22 20:03 My thoughts on the "new development model"(A bit late tho) Espen Fjellvær Olsen
2004-10-22 21:52 ` My thoughts on the "new development model" Espen Fjellvær Olsen
2004-10-22 22:12 ` Clemens Schwaighofer
2004-10-23 12:55 ` Bernd Petrovitsch
2004-10-24 3:04 ` Clemens Schwaighofer
2004-10-22 22:45 ` William Lee Irwin III
2004-10-22 22:50 ` Espen Fjellvær Olsen
2004-10-22 23:21 ` William Lee Irwin III
2004-10-23 0:41 ` Lee Revell
2004-10-22 22:57 ` Willy Tarreau
2004-10-23 0:09 ` William Lee Irwin III
2004-10-23 2:40 ` Lee Revell
2004-10-25 21:15 ` Bill Davidsen
2004-10-25 22:08 ` William Lee Irwin III
2004-10-26 16:12 ` Charles Shannon Hendrix
2004-10-26 16:53 ` Mark Nipper
2004-10-23 1:40 ` Adrian Bunk
2004-10-23 5:04 ` Greg KH
2004-10-26 1:07 ` Adrian Bunk
2004-10-23 5:52 ` Willy Tarreau
2004-10-23 14:18 ` William Lee Irwin III
2004-10-23 19:58 ` Kronos
2004-10-23 20:05 ` Espen Fjellvær Olsen
2004-10-22 22:58 ` Lee Revell
2004-10-22 23:21 ` Paul Fulghum
2004-10-22 23:43 ` William Lee Irwin III
2004-10-23 8:01 ` Boris Bukowski
2004-10-26 16:01 ` John Richard Moser
2004-10-26 16:44 ` John Richard Moser
2004-10-26 16:58 ` Hua Zhong
2004-10-26 18:53 ` Diego Calleja
2004-10-26 19:33 ` Paul Fulghum
2004-10-27 15:31 ` Alan Cox
2004-10-27 15:30 ` Alan Cox
2004-10-27 18:37 ` Hua Zhong
2004-10-27 21:39 ` Alan Cox
2004-10-27 16:59 ` Arjan van de Ven
2004-10-27 19:27 ` Marcos D. Marado Torres
2004-10-26 18:01 ` Stephen Hemminger
2004-10-26 18:38 ` John Richard Moser
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20041029213043.GU6677@stusta.de \
--to=bunk@stusta.de \
--cc=hacksaw@hacksaw.org \
--cc=linux-kernel@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.