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!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Ravenscar - release multiple tasks when an event occurs
Date: Sun, 3 May 2020 17:13:24 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <r8mn2k$j16$1@dont-email.me>
References: <lyzhapfgdr.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 3 May 2020 15:13:24 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="d95fca018cd9b713979d7099d962850a";
	logging-data="19494"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+CSw22g89kIUWmqAEOQEl/CHxIdssIVZA="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.7.0
Cancel-Lock: sha1:PrZq3PEfrOEt1ho79AFD0OmXmuc=
In-Reply-To: <lyzhapfgdr.fsf@pushface.org>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:58566
Date: 2020-05-03T17:13:24+02:00
List-Id: <comp.lang.ada>

On 5/3/20 12:43 PM, Simon Wright wrote:
> I have several sensor tasks (in general, 2 at the moment) which will of
> course be created and start execution during elaboration.
> 
> I'd like to ensure that they don't actually start reading and reporting
> input data until the system is in a state to receive them.

1. Have 2 POs, 1 per task
2. Have 1 PO with a function that indicates when the tasks may begin. The tasks 
poll the function until then
3. Use the Jorvik profile, as you mentioned
4. Don't try to prove anything about the concurrency of the system and use Ada's 
full tasking

-- 
Jeff Carter
"To Err is human, to really screw up, you need C++!"
Stéphane Richard
63