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.2 required=5.0 tests=BAYES_00,FROM_WORDY, INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,66752102482bbdca X-Google-Attributes: gid103376,public From: "Ken Garlington" Subject: Re: Required Metrics (GNAT et al) Date: 2000/05/01 Message-ID: <6EeP4.3473$wb7.310314@news.flash.net>#1/1 X-Deja-AN: 617821900 References: <5DDO4.2237$wb7.194854@news.flash.net> <8efg68$44u$1@slb1.atl.mindspring.net> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 X-Complaints-To: abuse@flash.net X-Trace: news.flash.net 957183618 216.215.75.129 (Mon, 01 May 2000 07:20:18 CDT) Organization: FlashNet Communications, http://www.flash.net X-MSMail-Priority: Normal NNTP-Posting-Date: Mon, 01 May 2000 07:20:18 CDT Newsgroups: comp.lang.ada Date: 2000-05-01T00:00:00+00:00 List-Id: wrote in message news:8efg68$44u$1@slb1.atl.mindspring.net... > Ken Garlington wrote: > : In the Ada Reference Manual, paragraphs D.8:37-45 states that "The > : implementation shall document" a series of metrics related to the real-time > : clock, etc. paragraph D:2 states that "The metrics are documentation > : requirements; an implementation shall document the values of the > : language-defined metrics for at least one configuration of hardware or an > : underlying system supported by the implementation, and shall document the > : details of that configuration." However, although my compiler's reference > : manual claims that "The real-time systems annex is fully implemented", it > : goes on to say " Information on metrics is not yet available." Does a > : compiler fully implement the real-time systems annex if it does not meet the > : documentation requirements? > > I'd say you don't know if it meets the documentation requirements > unless you have the documentation for _ALL_ of that vendor's > "implementations". Hmmm... that's not how I'd parse that sentence. It appears to me that all implementations have to have documentation, but that each implementation doesn't have to be documented. For example, the documentation for GNAT might not describe how it works on WinNT or Linux, but if there were metrics available for VxWorks, I'd expect to see those VxWorks metrics in the documentation for _all_ implementations to at least technically meet the requirements? > I'd expect that for GNAT for example, that the hardware implementation > they "documented" would be one besides the two I have documentation > for (WinNT & Linux). OK - Does anyone know if that's how it works, for GNAT or anyone else who claims conformance to the annex? > I'd expect the metrics documentation to be for a more "real-time" > hardware / OS combination. It seems to me that, if the reason the annex isn't fully implemented is because the particular platform isn't considered "real time", that no vendor should claim conformance on that platform. It not like these metrics are just being provided as a marketing tool; we're talking about requirements from the standard. > I'm also not sure I'd expect so see the metrics with the > documentation on a non-validated compiler (I fool > around with the public versions of GNAT mainly). OK - Does anyone know if the metrics are provided only to supported customers (GNAT or otherwise)?