From: Corey Minyard <minyard@acm.org>
Subject: Re: Urgent question: malloc and ada...
Date: 1998/05/02
Date: 1998-05-02T00:00:00+00:00 [thread overview]
Message-ID: <m267jpfci0.fsf@wf-rch.cirr.com> (raw)
In-Reply-To: dewar.894029184@merv
dewar@merv.cs.nyu.edu (Robert Dewar) writes:
>
> Perhaps that is because the distinguished contributor lives in the real
> world, and not a wishful-thinking world! In practice the definition
> expressed here is a useful one, since of course it is almost always
> the case that the operating system involved will have substantial
> chunks written in C (probably it won't be 100% C, there will be C++,
> and perhaps assembly .....)
The Linux kernel is almost all C with some assembly (mostly in inline
asm statements, startup code, and kernel trap code). Linus tried to
convert to compiling with C++, but he got so much flak he changed it
back. For real-time Linux, there is some support for loading C++
modules.
>
> It would be a nice excercise to rewrite the Linux kernel in Ada, and indeed
> the comparison of the effort involved, and the final results would make
> an interesting student research paper. This is by no means an out of scope
> effort. The core of the kernel is not a gigantic program.
The core of the kernel is not itself gigantic, but add networking code
and device drivers and it gets pretty big. The Linux 2.1.98 sources
are about 11MB compressed. It would be a big job to rewrite the whole
thing. Although we can always hope :-). In reality, the Linux kernel
is finely tuned and very robust; so much optimization effort has gone
into it that reproducing it in Ada would likely produce bad results
that would make Ada look bad.
It would be nice to be able to support Ada for real-time Linux
modules, though. Maybe someday I'll look at that...
--
Corey Minyard Internet: minyard@acm.org
Work: minyard@nortel.ca UUCP: minyard@wf-rch.cirr.com
next prev parent reply other threads:[~1998-05-02 0:00 UTC|newest]
Thread overview: 43+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-04-07 0:00 Urgent question: malloc and ada Guido Tesch
1998-04-09 0:00 ` Joe Gwinn
1998-04-10 0:00 ` Robert Dewar
1998-04-12 0:00 ` Joe Gwinn
1998-04-12 0:00 ` Enumeration Types (was: Urgent question: malloc and ada) Matthew Heaney
1998-04-13 0:00 ` Mark A Biggar
1998-04-10 0:00 ` Urgent question: malloc and ada...READ/NEW/FOLLOWUP Larry Kilgallen
1998-04-12 0:00 ` Joe Gwinn
1998-04-14 0:00 ` Robert Dewar
1998-04-16 0:00 ` Joe Gwinn
1998-04-17 0:00 ` Robert Dewar
1998-04-18 0:00 ` Joe Gwinn
1998-04-18 0:00 ` Robert Dewar
1998-04-25 0:00 ` Joe Gwinn
1998-04-26 0:00 ` Robert Dewar
1998-04-26 0:00 ` Jonathan Guthrie
1998-04-26 0:00 ` Simon Wright
1998-04-26 0:00 ` Larry Kilgallen
1998-04-27 0:00 ` Stephen Leake
1998-04-26 0:00 ` Robert Dewar
1998-04-30 0:00 ` Robert I. Eachus
1998-04-30 0:00 ` Urgent question: malloc and ada Larry Kilgallen
1998-05-01 0:00 ` Robert Dewar
1998-05-01 0:00 ` Charles Hixson
1998-05-02 0:00 ` Jonathan Guthrie
1998-05-02 0:00 ` Corey Minyard [this message]
1998-05-06 0:00 ` Robert I. Eachus
1998-05-12 0:00 ` Craig T. Spannring
1998-05-12 0:00 ` Robert Dewar
[not found] ` <matthew_heaney-ya023680003004981723000001@news.ni.net>
1998-05-01 0:00 ` Robert Dewar
1998-05-01 0:00 ` Larry Kilgallen
1998-05-02 0:00 ` Robert Dewar
1998-05-02 0:00 ` Jonathan Guthrie
1998-05-03 0:00 ` Richard Kenner
1998-05-03 0:00 ` Jonathan Guthrie
1998-05-03 0:00 ` Robert Dewar
1998-05-03 0:00 ` Richard Kenner
1998-05-03 0:00 ` Robert Dewar
1998-05-03 0:00 ` Larry Kilgallen
1998-05-01 0:00 ` Urgent question: malloc and ada...READ/NEW/FOLLOWUP Fergus Henderson
1998-05-01 0:00 ` Joe Gwinn
1998-05-02 0:00 ` Larry Kilgallen
1998-05-05 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox