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=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!news3.google.com!proxad.net!feeder1-2.proxad.net!194.25.134.126.MISMATCH!newsfeed01.sul.t-online.de!t-online.de!news.belwue.de!news-peer.in.tum.de!lrz.de!not-for-mail
From: Sebastian Hanigk <hanigk@in.tum.de>
Newsgroups: comp.lang.ada
Subject: Re: run tasks on events
Date: Fri, 30 May 2008 20:59:56 +0200
Organization: [posted via] Leibniz-Rechenzentrum, Muenchen (Germany)
Message-ID: <g1pirc$j2i$1@news.lrz-muenchen.de>
References: <g1katv$b8r$1@news.lrz-muenchen.de>
 <0427c20f-577d-49c1-b766-1db2d43e03a1@f36g2000hsa.googlegroups.com>
NNTP-Posting-Host: kelvin.fs.tum.de
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: news.lrz-muenchen.de 1212173996 19538 129.187.202.43 (30 May 2008
 18:59:56 GMT)
X-Complaints-To: newsmaster@lrz-muenchen.de
NNTP-Posting-Date: Fri, 30 May 2008 18:59:56 +0000 (UTC)
Mail-Copies-To: never
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (darwin)
Xref: g2news1.google.com comp.lang.ada:489
Date: 2008-05-30T20:59:56+02:00
List-Id: <comp.lang.ada>

"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
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