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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,d495ab2e69ad1962
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!feeder3.cambrium.nl!feeder6.cambrium.nl!feed.tweaknews.nl!feed.xsnews.nl!border-1.ams.xsnews.nl!68.142.88.77.MISMATCH!hwmnpeer03.ams!news.highwinds-media.com!transit5.hitnews.eu!news.albasani.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ravenscar-compliant bounded buffer
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1188914005.607732.277400@57g2000hsv.googlegroups.com>
 <GKadnVsMGJJdhkPbnZ2dnUVZ_hadnZ2d@comcast.com>
 <1188977891.197536.21660@r29g2000hsg.googlegroups.com>
 <KpmdnU93T8P24ULbnZ2dnUVZ_ualnZ2d@comcast.com>
 <wccps0vkhvo.fsf@shell01.TheWorld.com>
Date: Thu, 6 Sep 2007 17:36:11 +0200
Message-ID: <of2bfdmvhglg$.cj9vf2ja6njv.dlg@40tude.net>
NNTP-Posting-Date: 06 Sep 2007 17:35:39 CEST
NNTP-Posting-Host: 47190c49.newsspool3.arcor-online.net
X-Trace: 
 DXC=e_T5cV7148lEB;5>eE0T7mMcF=Q^Z^V3h4Fo<]lROoRa^;5]aA^R6>bEL430`Ic\Xi[6LHn;2LCVn[<mhadbfdUkW;3[BC[9f4iMc_YS:=eihf
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:1793
Date: 2007-09-06T17:35:39+02:00
List-Id: <comp.lang.ada>

On Thu, 06 Sep 2007 10:06:51 -0400, Robert A Duff wrote:

> I suppose we could argue about
> whether the exact set of restrictions is appropriate, but the whole
> point is to be restrictive, so the run-time system can be simplified (as
> compared to a run-time system that supports full Ada).

Aha, to ease your life. Others might have thought it was for us, poor
users... (:-))

No, seriously, the point about abstraction inversion stands. And other
posts about tasks classification into periodic, sporadic etc only support
it. So the question is whether these are hard limits or just the current
state of the art.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de