* Re: Trouble with UNIX IPC and Ada95
2000-08-31 17:50 ` wv12
@ 2000-08-31 18:42 ` David Starner
2000-08-31 19:03 ` mjsilva
` (4 subsequent siblings)
5 siblings, 0 replies; 17+ messages in thread
From: David Starner @ 2000-08-31 18:42 UTC (permalink / raw)
On Thu, 31 Aug 2000 17:50:57 GMT, wv12@my-deja.com <wv12@my-deja.com> wrote:
>Apparently this is not the case. Twenty years after IBM launches the
>IBM PC, you see a myriads of operating systems written in C: MINIX,
>XINU, Linux, XENIX, FreeBSD, etc... I haven't seen anything in Ada
>on any PC that provides half the functionality of DOS. Maybe there
>is a language that makes OS design become a walk in the park. That
>language is not Ada.
Your logic is wrong: No major OS for the PC is written in Ada does
not imply anything about Ada's use for writting OS's. It just means
that Linus Torvald, UC-Berkeley and Microsoft chose to write their
operating systems in C and C++. Two main reasons are probably cultural
(Unix is traditionally written in C, and C was more popular) and
resources (a free OS needs a free compiler, but GNAT didn't appear
until '94-'95).
Of course Ada doesn't make OS design a walk in the park. No language
that exists does, and any language that did would be like Lex -
a very narrow, specialized tool. OS design is naturally a highly
complex job, not a walk in the park.
--
David Starner - dstarner98@aasaa.ofe.org
http/ftp: dvdeug.net.dhis.org
It was starting to rain on the night that they cried forever,
It was blinding with snow on the night that they screamed goodbye.
- Dio, "Rock and Roll Children"
^ permalink raw reply [flat|nested] 17+ messages in thread
* Re: Trouble with UNIX IPC and Ada95
2000-08-31 17:50 ` wv12
2000-08-31 18:42 ` David Starner
@ 2000-08-31 19:03 ` mjsilva
2000-08-31 20:38 ` Larry Kilgallen
` (3 subsequent siblings)
5 siblings, 0 replies; 17+ messages in thread
From: mjsilva @ 2000-08-31 19:03 UTC (permalink / raw)
In article <8om5tn$q0$1@nnrp1.deja.com>,
wv12@my-deja.com wrote:
>
>
> >
> > "trust C"? That's not exactly the question. If the program is
> properly
> > designed in nearly any programming language, then it will work
> properly.
> > The problem is that it's more difficult to properly design a program
> in C
> > than in some other languages.
> Apparently this is not the case. Twenty years after IBM launches the
> IBM PC, you see a myriads of operating systems written in C: MINIX,
> XINU, Linux, XENIX, FreeBSD, etc... I haven't seen anything in Ada
> on any PC that provides half the functionality of DOS. Maybe there
> is a language that makes OS design become a walk in the park. That
> language is not Ada.
You have quite a bee in your bonnet regarding Ada, haven't you? Your
reply totally avoids responding to the assertion. If you claim the
opposite, that it is *no* more difficult to properly design a program
in C than in *any* other language, then you've staked out a very lonely
and unsupported position. Are you aware that "When Bell Labs were
invited to evaluate C against the DoD requirements, they said that
there was no chance of C meeting the requirements of readability,
safety, etc., for which we were striving, and that it should not even
be on the list of evaluated languages"? (from "Ada - The Project, The
DoD High Order Language Working Group")
Maybe a few years down the road you'll finally get tired of chasing
down the C bugs that other languages (including Ada) would have caught,
and stop looking at C through rose-colored glasses.
Mike
Sent via Deja.com http://www.deja.com/
Before you buy.
^ permalink raw reply [flat|nested] 17+ messages in thread
* Re: Trouble with UNIX IPC and Ada95
2000-08-31 17:50 ` wv12
2000-08-31 18:42 ` David Starner
2000-08-31 19:03 ` mjsilva
@ 2000-08-31 20:38 ` Larry Kilgallen
2000-09-01 7:47 ` Tarjei T. Jensen
` (2 subsequent siblings)
5 siblings, 0 replies; 17+ messages in thread
From: Larry Kilgallen @ 2000-08-31 20:38 UTC (permalink / raw)
In article <8om5tn$q0$1@nnrp1.deja.com>, wv12@my-deja.com writes:
>
>
>>
>> "trust C"? That's not exactly the question. If the program is
> properly
>> designed in nearly any programming language, then it will work
> properly.
>> The problem is that it's more difficult to properly design a program
> in C
>> than in some other languages.
> Apparently this is not the case. Twenty years after IBM launches the
> IBM PC, you see a myriads of operating systems written in C: MINIX,
> XINU, Linux, XENIX, FreeBSD, etc... I haven't seen anything in Ada
> on any PC that provides half the functionality of DOS. Maybe there
> is a language that makes OS design become a walk in the park. That
> language is not Ada.
I think you will find any Ada work concentrated in embedded systems.
Do you have any evidence the language choice for those other operating
systems were based on features of the language ? It seems to me more
likely based on habit.
^ permalink raw reply [flat|nested] 17+ messages in thread
* Re: Trouble with UNIX IPC and Ada95
2000-08-31 17:50 ` wv12
` (2 preceding siblings ...)
2000-08-31 20:38 ` Larry Kilgallen
@ 2000-09-01 7:47 ` Tarjei T. Jensen
2000-09-02 12:02 ` gdemont
[not found] ` <8opdn8$bgvss$1@ID-25716.news.cis.dfn.de>
5 siblings, 0 replies; 17+ messages in thread
From: Tarjei T. Jensen @ 2000-09-01 7:47 UTC (permalink / raw)
wv12@my-deja.com wrote
>Apparently this is not the case. Twenty years after IBM launches the
>IBM PC, you see a myriads of operating systems written in C: MINIX,
>XINU, Linux, XENIX, FreeBSD, etc... I haven't seen anything in Ada
>on any PC that provides half the functionality of DOS. Maybe there
>is a language that makes OS design become a walk in the park. That
>language is not Ada.
Operating systems are written in other languages than C. OS/400 is supposed to
be written in Modula-2. VMS is mostly written in bliss. Other languages are
also used including C.
Originally plan9 should have been written in modula-2, but Rob Pike decided for
an extended C since Ken Thompson was good at writing C compilers. I think he
made the wrong trade off. Reducing the work load for Ken Thomson is silly if
you can reduce total time used for the entire project.
I believe that the popularity of C++ and java reflects the problems real world
people have with C. The doctrine says that C++ must be easier than C. Reality
is that C++ adds complexity and time. Java is a time saver compared to C++ and
possibly C and its popularity reflects that people just do not hack it with C
and C++.
BTW. Programming in C is fun. It has a absolutely huge tinkering apeal. Because
it is fun one tend not to notice that time flies. As a professional I cannot
let "fun" decide engineering choices when that choice will incure a large
time/cost penalty. If I choose to use C, I do it knowing the problems that
follows that choice.
The reality of life is that both the C and Unix community is plagued with bad
engineering decisions. We all pay for it.
Greetings,
^ permalink raw reply [flat|nested] 17+ messages in thread
* Re: Trouble with UNIX IPC and Ada95
2000-08-31 17:50 ` wv12
` (3 preceding siblings ...)
2000-09-01 7:47 ` Tarjei T. Jensen
@ 2000-09-02 12:02 ` gdemont
[not found] ` <8opdn8$bgvss$1@ID-25716.news.cis.dfn.de>
5 siblings, 0 replies; 17+ messages in thread
From: gdemont @ 2000-09-02 12:02 UTC (permalink / raw)
> > "trust C"? That's not exactly the question. If the program is
> properly
> > designed in nearly any programming language, then it will work
> properly.
> > The problem is that it's more difficult to properly design a program
> in C
> > than in some other languages.
wv12@my-deja.com:
> Apparently this is not the case. Twenty years after IBM launches the
> IBM PC, you see a myriads of operating systems written in C: MINIX,
> XINU, Linux, XENIX, FreeBSD, etc... I haven't seen anything in Ada
> on any PC that provides half the functionality of DOS. Maybe there
> is a language that makes OS design become a walk in the park. That
> language is not Ada.
It is not C either: "twenty years after IBM launches the IBM PC",
there are still bugs from the first DOS at in Windows 9x shell...
The OS business is not a good example: the vendors can have a large
number of programmers, and still more testers; the buyers accept to
buy the OS without warranty and no real support, survive with bugs
for years and even accept to re-buy updates with the same and more
bugs!
G-)
Sent via Deja.com http://www.deja.com/
Before you buy.
^ permalink raw reply [flat|nested] 17+ messages in thread
[parent not found: <8opdn8$bgvss$1@ID-25716.news.cis.dfn.de>]
* Re: Trouble with UNIX IPC and Ada95
[not found] ` <8opdn8$bgvss$1@ID-25716.news.cis.dfn.de>
@ 2000-09-02 13:23 ` Marin David Condic
2000-09-02 22:07 ` AdaOS (was: Trouble with UNIX IPC and Ada95) Nick Roberts
0 siblings, 1 reply; 17+ messages in thread
From: Marin David Condic @ 2000-09-02 13:23 UTC (permalink / raw)
Nick Roberts wrote:
> There is, at least, a project to build such an OS ;-)
>
> http://www.AdaOS.org
>
Is this project making any headway? Is there anything that might be at a
"release" stage (perhaps the kernel?) that might be reviewed/used? While
I'm aware that this is a "labor of love" and y'all have "real jobs" to
attend to, I was hoping to see something concrete. Any expected time
frame in which there might be something to look over?
Just asking. I don't mean to be a nudzh. :-)
MDC
--
======================================================================
Marin David Condic - Quadrus Corporation - http://www.quadruscorp.com/
Send Replies To: m c o n d i c @ q u a d r u s c o r p . c o m
Visit my web site at: http://www.mcondic.com/
"Take away the punchbowl just when the party gets going"
-- William McChesney Martin, Former Fed chairman, explaining
what a sound central bank must always do.
======================================================================
^ permalink raw reply [flat|nested] 17+ messages in thread
* AdaOS (was: Trouble with UNIX IPC and Ada95)
2000-09-02 13:23 ` Marin David Condic
@ 2000-09-02 22:07 ` Nick Roberts
0 siblings, 0 replies; 17+ messages in thread
From: Nick Roberts @ 2000-09-02 22:07 UTC (permalink / raw)
It's making headway, but it's doing the breast stroke rather than the front
crawl at the moment. We are still way off producing any kind of working
code, and this will not appear for a long, long time yet (sorry). However,
some interesting things are (hopefully) not too far off, e.g. a detailed
design for the microkernel.
--
Nick Roberts
http://www.AdaOS.org
"Marin David Condic" <mcondic.nospam@acm.org> wrote in message
news:39B0FF69.B3AB90A1@acm.org...
> Nick Roberts wrote:
>
> > There is, at least, a project to build such an OS ;-)
>
> Is this project making any headway? Is there anything that might be at a
> "release" stage (perhaps the kernel?) that might be reviewed/used? While
> I'm aware that this is a "labor of love" and y'all have "real jobs" to
> attend to, I was hoping to see something concrete. Any expected time
> frame in which there might be something to look over?
>
> Just asking. I don't mean to be a nudzh. :-)
^ permalink raw reply [flat|nested] 17+ messages in thread