From: Benjamin Ketcham <bketcham@drizzle.com>
Subject: Re: Embedded Keynote Speaker Mentions Ada
Date: Tue, 21 Sep 2004 01:07:03 -0000
Date: 2004-09-21T01:07:03+00:00 [thread overview]
Message-ID: <1095728821.921629@yasure> (raw)
In-Reply-To: 414EE3A0.9080106@acm.org
Cesar Rabak <crabak@acm.org> wrote:
>
> Even in a non commercial arena, why can't we convince Open Source
> enthusiats to write the system software in Ada and start to make a
> difference in this realm (my perception of their account on bugs is that
> they have a better response time, not intrinsical better designed in
> security)?
Well, this is a very good point. I would suggest that a way to
make Ada much more popular, would be to recode the Linux kernel
in Ada. Perhaps a group of Ada enthusiasts could maintain a port
to Ada of the latest "stable" kernel. My guess is that this would
gain interest from security- and reliability-minded markets, and
thus would, in turn, increase the demand for Ada programmers to
maintain the "high-reliability Ada version of Linux".
How long does someone who actually knows Ada (not me) think it
would take to translate the kernel to Ada? Any snags or issues
other than just some time & effort? Any reason it couldn't be
done? Or *shouldn't*? Or has it been tried? Would the
performance just be too embarrassing in comparison to C? Is the
Linux kernel thought to already be so secure & bug-free that no
benefits would accrue?
--Benjamin
next prev parent reply other threads:[~2004-09-21 1:07 UTC|newest]
Thread overview: 54+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-09-16 23:57 Embedded Keynote Speaker Mentions Ada Jim Gurtner
2004-09-17 0:28 ` Larry Kilgallen
2004-09-17 1:16 ` Jim Gurtner
2004-09-17 23:08 ` Cesar Rabak
2004-09-18 0:26 ` stephane richard
2004-09-18 0:57 ` Larry Kilgallen
2004-09-20 0:23 ` Cesar Rabak
2004-09-20 2:11 ` stephane richard
2004-09-20 14:05 ` Cesar Rabak
2004-09-20 20:55 ` stephane richard
2004-09-20 22:06 ` Björn Persson
2004-09-21 0:38 ` Cesar Rabak
2004-09-21 2:44 ` stephane richard
2004-09-21 11:48 ` Björn Persson
2004-09-21 18:08 ` Martin Krischik
2004-09-21 1:07 ` Benjamin Ketcham [this message]
2004-09-21 16:59 ` Warren W. Gay VE3WWG
2004-09-21 19:12 ` Cesar Rabak
2004-09-21 19:49 ` Jeffrey Carter
2004-09-22 0:50 ` Cesar Rabak
2004-09-22 10:08 ` Anders Wirzenius
2004-09-22 13:04 ` Benjamin Ketcham
2004-09-22 13:52 ` Marius Amado Alves
2004-09-22 20:59 ` Simon Wright
2004-09-22 22:19 ` Marius Amado Alves
2004-09-23 19:12 ` Simon Wright
2004-09-23 22:22 ` Benjamin Ketcham
2004-09-22 23:06 ` Björn Persson
2004-09-22 16:56 ` Warren W. Gay VE3WWG
2004-09-22 17:36 ` Pascal Obry
2004-09-23 10:34 ` Anders Wirzenius
2004-09-21 20:34 ` Tom
2004-09-21 22:07 ` Georg Bauhaus
2004-09-22 6:20 ` Tom
2004-09-22 7:48 ` Jean-Pierre Rosen
2004-09-22 20:28 ` Jeffrey Carter
2004-09-22 23:15 ` Björn Persson
2004-09-23 22:19 ` Randy Brukardt
2004-09-22 9:21 ` Ada and malicious software Björn Persson
2004-09-22 16:59 ` Warren W. Gay VE3WWG
2004-09-23 7:33 ` Jean-Pierre Rosen
2004-09-22 0:56 ` Embedded Keynote Speaker Mentions Ada Cesar Rabak
2004-09-22 2:43 ` stephane richard
2004-09-22 9:24 ` Peter Hermann
2004-09-23 22:09 ` Randy Brukardt
2004-09-24 3:21 ` CBFalconer
2004-09-26 11:02 ` Tom
2004-09-17 2:10 ` Steve
2004-09-17 4:30 ` Larry Kilgallen
2004-09-17 23:58 ` Christopher Browne
2004-09-18 1:01 ` Ed Falis
2004-09-18 3:50 ` Christopher Browne
2004-09-18 11:22 ` Simon Wright
-- strict thread matches above, loose matches on Subject: below --
2004-09-17 6:10 Christoph Karl Walter Grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox