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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version nyu B notes v1.5 12/10/84; site acf4.UUCP Path: utzoo!linus!philabs!cmcl2!acf4!tihor From: tihor@acf4.UUCP (Stephen Tihor) Newsgroups: net.lang.ada Subject: Re: ada certification question Message-ID: <790001@acf4.UUCP> Date: Sun, 10-Mar-85 23:26:00 EST Article-I.D.: acf4.790001 Posted: Sun Mar 10 23:26:00 1985 Date-Received: Tue, 12-Mar-85 09:22:38 EST References: <509@syteka.UUCP> Organization: New York University List-Id: blk@syteka.UUCP (Brian L. Kahn) writes: ... certification is given for an ADA compiler, it's runtime support, running on a certain machine with a stated configuration, and targeted for a certain machine with a certain machine with a stated configuration. Thus a certified ADA cross compiler running on a Vax under UNIX and producing code for a SUN workstation would have to be recertified if the code was to be used on some other 68000 machine. How much of this is true? Sounds outrageous. All of it is true. Doesn't sound outrageous to me since any change in the target machine enviornment will require changes in the output of the compiler or the run-time library or kernel in all but the most pathological cases. Given what Ada certification is all about certification of the exact configuration of compiler host and target processors and O/S's is clearly desriable when producing important executables. If this is largely true, doesn't it mean that ADA can never be used on a new machine? Huh? A target machine must be at least as old as the certification process is long? True. Certification takes about a week plus paper shuffling under ideal circumstances. [Observed data from many many many runs of the ACVC tests here at NYU.] Re-certification should approach ideal circumstances since all the support tools and procedures that had to be worked out before can just be used again. New certification will also get faster as the APSE or at least some significant set of CAIS-implementation are available and the tools need to certify are built in Ada.