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.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: How to do multiple instances of a generic packages in automated
 way. (using ravenscar profile)
Date: Tue, 05 Apr 2016 20:39:57 +0100
Organization: A noiseless patient Spider
Message-ID: <lyshyzu9o2.fsf@pushface.org>
References: <56ff6352-590e-4de7-a361-bc2fec0538fb@googlegroups.com>
	<ne0t1k$um3$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="7565da77bf95a8fe4c6cca3149d50047";
	logging-data="31028"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+bUacIL3uiJl9f6a/CuN5AYG5gJ312jw4="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin)
Cancel-Lock: sha1:KAlDrjyQFhqmgdkXtRsh9b88Qbo=
	sha1:aBNHKB802piVqSuuJA0J+o9VYAg=
Xref: news.eternal-september.org comp.lang.ada:30001
Date: 2016-04-05T20:39:57+01:00
List-Id: <comp.lang.ada>

"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> writes:

> If you're using Ada 12, then the standard synchronized-queue
> containers can serve this purpose (assuming they meet all your
> requirements, including the Ravenscar restrictions).

This depends on the actual runtime, which typically imposes further
restrictions; for example, AdaCore's ravenscar-sfp-stm32f4 has

   pragma Restrictions (No_Exception_Propagation);
   --  Only local exception handling is supported in this profile

   pragma Restrictions (No_Exception_Registration);
   --  Disable exception name registration. This capability is not used
   --  because it is only required by exception stream attributes which
   --  are not supported in this run time.

   pragma Restrictions (No_Implicit_Dynamic_Code);
   --  Pointers to nested subprograms are not allowed in this run time,
   --  in order to prevent the compiler from building "trampolines".

   pragma Restrictions (No_Finalization);
   --  Controlled types are not supported in this run time

and the first and last preclude the standard containers (not sure about
synchronized queues, but seems pretty unlikely).