This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: ACATS Target Requirement Question
- From: Arnaud Charlet <charlet at adacore dot com>
- To: Joel Sherrill <joel dot sherrill at oarcorp dot com>
- Cc: GCC List <gcc at gcc dot gnu dot org>
- Date: Fri, 26 Sep 2008 08:30:14 +0200
- Subject: Re: ACATS Target Requirement Question
- References: <48DBCAFC.9050506@oarcorp.com>
> RTEMS has BSPs for a couple of simulators that
> do not have a source for clock tick interrupts.
> We simulate the passage of time by having a special
> IDLE task advance time. This works well enough
> when all tasks block but if a test depends on
> something like timeslice expiration, that won't
> happen.
>
> My questions are...
>
> + Is this sufficient to pass a reasonable subset
> of the ACATS?
It should be, since standard Ada semantics assume no timeslicing, and
run-until-blocked semantics, which is basically what you described above.
Arno