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 References
Date: Sun, 20 Jan 2019 18:12:11 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <q22a5c$d8o$1@dont-email.me>
References: <q1nqpc$f2k$1@gioia.aioe.org> <lyo98gh3ko.fsf@pushface.org>
 <q1t8ph$fc0$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 20 Jan 2019 17:12:13 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="ca2834c4da6db8755315a006df100da1";
	logging-data="13592"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/L7H1pOPK0sV5aW3mFmPaWeuve9MRH5JA="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.2.1
Cancel-Lock: sha1:Hb5W/5VtOrPoB38bMY55jfcnlfM=
In-Reply-To: <q1t8ph$fc0$1@gioia.aioe.org>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:55315
Date: 2019-01-20T18:12:11+01:00
List-Id: <comp.lang.ada>

On 1/18/19 8:18 PM, lyttlec wrote:
> 
> I need to port lots of existing more or less standard
> components to meet Ravenscar. This is to satisfy some regulatory
> authorities.

I don't know that "port" is a good word for this activity. I once looked at 
implementing Sandén's FMS problem using Ravenscar. Starting from the 
requirements, I first had to find a Ravenscar-suitable design. The standard 
design has a dynamic task per job, and is clearly not possible using Ravenscar. 
An alternative design using a task per workstation had to be used.

 From that choice, Ravenscar drove a proliferation of protected objects and 
helper tasks. Things that were simple in full Ada became much more complex to 
meet the restrictions of the profile.

Presumably you would need to apply a similar process to each of the components 
you need to convert.

-- 
Jeff Carter
"Sir Lancelot saves Sir Gallahad from almost certain temptation."
Monty Python & the Holy Grail
69