comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: ACATS & dispatching priorities
Date: Thu, 08 Jun 2017 10:37:05 +0100
Date: 2017-06-08T10:37:05+01:00	[thread overview]
Message-ID: <lyink6akhq.fsf@pushface.org> (raw)
In-Reply-To: oet61r$55f$1@franka.jacob-sparre.dk

"Randy Brukardt" <randy@rrsoftware.com> writes:

> "Simon Wright" <simon@pushface.org> wrote in message 
> news:ly7f1sjtl7.fsf@pushface.org...
>> Robert Eachus <rieachus@comcast.net> writes:
>>
>>> On Friday, May 5, 2017 at 1:24:51 PM UTC-4, Simon Wright wrote:
>>>> ACATS 4.1 has tests CXD* which test correct Annex D behaviour. I'm
>>>> getting problems with them. See [0] for work in progress.
>>>
>>> The ACATS tests should have notations as to which tests are not
>>> appropriate for a system with multiple processor cores.  Do you by
>>> chance have that problem?
>>
>> A good thought; I was expecting the number of cores to be automatically
>> detected, but no (I think maybe it should be now we have
>> System.Multiprocessors).

> Given that 98% of the ACATS tests are older than
> System.Multiprocessors, it's not surprising that they don't use it. On
> top of which, no tests using that package would work on compilers
> older than Ada 2012 (we still maintain Ada 95 and Ada 2005 versions of
> the test suite, in part so it is isn't a GNAT-only endevour).

Actually, it's in impdefd.a (constant Processor), so my remark was about
the implementation-specific changes appropriate in a current GCC, not
the tests themselves. And FSF GCC isn't, I think, much interested in
older versions of GNAT that might be 95- or 2005-only.


      reply	other threads:[~2017-06-08  9:37 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-05-05 17:24 ACATS & dispatching priorities Simon Wright
2017-05-05 22:45 ` Robert A Duff
2017-05-07 19:51 ` Robert Eachus
2017-05-07 20:32   ` Simon Wright
2017-05-09 19:41     ` Randy Brukardt
2017-06-08  9:37       ` Simon Wright [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox