Ada configuration options

[Sebastian Huber]

On 17/12/2019 14:38, Joel Sherrill wrote:
> 
> 
> On Tue, Dec 17, 2019 at 3:45 AM Sebastian Huber 
> <sebastian.huber at embedded-brains.de 
> <mailto:sebastian.huber at embedded-brains.de>> wrote:
> 
>     Hello,
> 
>     we have currently three Ada related configuration options:
> 
>     * CONFIGURE_GNAT_RTEMS
> 
>     * CONFIGURE_MAXIMUM_ADA_TASKS
> 
>     * CONFIGURE_MAXIMUM_FAKE_ADA_TASKS
> 
>     The CONFIGURE_MAXIMUM_FAKE_ADA_TASKS option has no effect.  The
>     CONFIGURE_GNAT_RTEMS is mandatory to use the
>     CONFIGURE_MAXIMUM_ADA_TASKS
>     option. So, if you just use
> 
>     #define CONFIGURE_MAXIMUM_ADA_TASKS 123
> 
>     then you get a re-definition warning and hopefully pay attention to it.
>     This is not very user friendly from point of view.
> 
>     The CONFIGURE_MAXIMUM_ADA_TASKS just adds the configured count to
>     CONFIGURE_MAXIMUM_POSIX_THREADS.
> 
>     I would obsolete all three options.
> 
> 
> The original purpose of these was to:
> 
> CONFIGURE_GNAT_RTEMS - add in resources required by Ada run-time independent
> of the number of Ada tasks (e.g. POSIX threads)
> 
> CONFIGURE_MAXIMUM_ADA_TASKS - add in POSIX threads, condition variable,
> and mutex required for each Ada task
> 
> CONFIGURE_MAXIMUM_FAKE_ADA_TASKS - add in condition variables and mutex
> required by Ada run-time for a task/thread created outside the Ada 
> run-time which
> invokes Ada code and is thus a user of the run-time.
> 
> Given that you can turn on unlimited threads now and condition variables 
> and mutexes
> are static, I don't think they have a need any longer. Plus it sounds 
> like they bit rotted.
> If we needed them still, they would have to be fixed.
> 
> We still need documentation that Ada tasks are POSIX threads and must be 
> accounted
> for in configuring the system. So when moving documentation around, 
> please make that
> point clear in the CONFIGURE_MAXIMUM_POSIX_THREADS description.

Thanks for your comments. I created a ticket:

https://devel.rtems.org/ticket/3845

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.