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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7b6ebbd3cbca32ce
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Alex R. Mosteo" <devnull@mailinator.com>
Newsgroups: comp.lang.ada
Subject: Re: run tasks on events
Date: Mon, 02 Jun 2008 12:32:13 +0200
Message-ID: <6ai0gfF37il0lU1@mid.individual.net>
References: <g1katv$b8r$1@news.lrz-muenchen.de>
 <0427c20f-577d-49c1-b766-1db2d43e03a1@f36g2000hsa.googlegroups.com>
 <g1pirc$j2i$1@news.lrz-muenchen.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: individual.net 6ZU0FGA/oAWDv+zDHvfPdg4ilsjhCIFkTUifyoIiJI5uelRFU=
Cancel-Lock: sha1:Da+onkQFb/B/6sjSJ6/by9MlsAE=
User-Agent: KNode/0.10.9
Xref: g2news1.google.com comp.lang.ada:512
Date: 2008-06-02T12:32:13+02:00
List-Id: <comp.lang.ada>

Sebastian Hanigk wrote:

> "jimmaureenrogers@worldnet.att.net" <jimmaureenrogers@worldnet.att.net>
> writes:
> 
>> I am curious why you are comparing unrestrained HAL/S with a
>> restrained Ada profile. You can certainly design many interesting
>> shared resource design patterns using unrestrained Ada.
> 
> Mostly out of curiosity at the moment. I've stumbled over some shuttle
> documents (<http://klabs.org/DEI/Processor/shuttle/index.htm>), read
> "Programming in HAL/S" and found a few interesting concepts which
> started the endeavour to find similar ones in Ada.
> 
> Why Ravenscar? My job will in the foreseeable future provide me with the

At least one reason I've heard sometimes is to simplify the runtime, which may
be useful for validation, writing for simple hardware, etc. However, I expect
you'll get more informative replies.


> opportunity for involvement in the writing of (near-)real-time control
> software and I think it will be beneficial to work with a restricted
> language subset (Ravenscar + SPARK eventually) from a validation
> perspective.
> 
>> You might find
>> http://home.att.net/~jimmaureenrogers/Shared_Resource_Design_Patterns.html
>> interesting to consider.
> 
> Great, I'll start reading after supper!
> 
> 
> Sebastian