From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,85034d1ac78a66eb X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-02-25 12:00:48 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!sn-post-01!supernews.com!corp.supernews.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Ada Operating System Date: Mon, 25 Feb 2002 14:01:42 -0600 Organization: Posted via Supernews, http://www.supernews.com Message-ID: References: <5Tzc8.111999$H37.15018616@news2-win.server.ntlworld.com> <3C73F480.5010806@mail.com> <9ff447f2.0202220108.7f14c9bc@posting.google.com> <9ff447f2.0202222044.78c44b25@posting.google.com> X-Newsreader: Microsoft Outlook Express 4.72.3612.1700 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500 X-Complaints-To: newsabuse@supernews.com Xref: archiver1.google.com comp.lang.ada:20391 Date: 2002-02-25T14:01:42-06:00 List-Id: >Sometime ago, I was thrown a question while giving talks in >Universities. "What language do they use to build the Ada compiler?" >and an (assumed) answer from the audience was "C". Then raised another >question: "If Ada has many safety features that C does not have and >the Ada compiler was written in C, how exactly safe is Ada?" > >I know there is ACVC test suite out there to certify Ada compilers >before they reach out the market. But then, why still use C to write >an Ada compiler? For what its worth, Janus/Ada is 99.5% written in Ada, and always has been (since June 1981, long before it was first released). There is a small amount of assembler in the compiler (for performance reasons; we have Ada equivalent code that we use when porting the compiler to another platform). The runtime is also all in Ada except for about 8000 lines of assembler that do things not possible in Ada 83, including task context switching, implementing the heap, exception handling, and so on. Much of that could be written in Ada 95; we haven't done so mainly because it isn't broken (important rule of computing: "If it ain't broke, don't fix it!"). We've also built all of the compiler's tools (Make, Debugger, etc.) in Ada. The only exception is the programming environment, which we acquired from another company; we're planning to replace it with a Claw application as we can't fix it (no source code), which will eliminate that as non-Ada code. I believe at least one other Ada compiler is virtually all in Ada. Randy.