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!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: [OT] Ravenscar (the place, not profile),
 was: Re: STM32F4 Discovery,
 communication and libraries
Date: Fri, 29 Aug 2014 20:18:40 +0300
Organization: Tidorum Ltd
Message-ID: <c6bqv3F2rg0U1@mid.individual.net>
References: <60a42dc6-d8d0-4432-ae5a-86de18b82840@googlegroups.com>
 <5kkrv9hejn2qhdckkeo8lidkbh3bkme1gn@4ax.com>
 <5b91313c-acf9-4a6e-b157-6ba7c8021567@googlegroups.com>
 <ru1tv9p9g8gtd7aijug3j2eojdpdgvhihk@4ax.com>
 <0513ad07-6fbe-463a-be6f-097cd5113f52@googlegroups.com>
 <e8yq8rtj1pcm$.glzqqjd7ulsi.dlg@40tude.net>
 <4f1ec65a-d66a-40bf-a0d6-278fde206e70@googlegroups.com>
 <uxgn4sadwori$.7fnns7uw9q79$.dlg@40tude.net>
 <1cd027f2-a0e0-4206-b989-4aed2090cde8@googlegroups.com>
 <1ibla8yyj3ibm$.1lz0cmeu8ptp2.dlg@40tude.net>
 <c6bmb8F1jq9U1@mid.individual.net> <ltqbhn$t94$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: individual.net bIf+owmEZB4r4/TuYzj6RwwxVfENhU1ptvdfQjzf7d36+4co3v
Cancel-Lock: sha1:KupHlGAmCKXvx4YBgqDDq+QcE4U=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
In-Reply-To: <ltqbhn$t94$1@dont-email.me>
Xref: news.eternal-september.org comp.lang.ada:21993
Date: 2014-08-29T20:18:40+03:00
List-Id: <comp.lang.ada>

On 14-08-29 19:59 , Simon Clubley wrote:
> On 2014-08-29, Niklas Holsti <niklas.holsti@tidorum.invalid> wrote:
>> On 14-08-29 10:34 , Dmitry A. Kazakov wrote:
>>
>>> Ravenscar tasking profile has serious constraints preventing this. The
>>> nature of the constraints is to statically ensure schedulability.
>>
>> That's what they (= the people whoe defined the profile) often say, but
>> it is not quite true. Even within Ravenscar constraints, one can build
>> very dynamic task interactions, which is nice for implementing stuff in
>> a Ravenscar system, but which makes schedulability analysis difficult.
>>
> 
> I have got to ask: how did Ravenscar ever get chosen for an Ada meeting
> place ?

I don't know... but I have another follow-on question: how is
"Ravenscar" pronounced locally? Does it start like "ray", or like
"Rachmaninoff"?

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
      .      @       .