Re: Required Metrics (GNAT et al)

["Ken Garlington" <Ken.Garlington@computer.org>]

<swhalen@netcom.com> wrote in message
news:8efg68$44u$1@slb1.atl.mindspring.net...
> Ken Garlington <Ken.Garlington@computer.org> 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)?