From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Ravenscar-compliant bounded buffer
Date: Thu, 06 Sep 2007 10:06:51 -0400
Date: 2007-09-06T10:06:51-04:00 [thread overview]
Message-ID: <wccps0vkhvo.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: KpmdnU93T8P24ULbnZ2dnUVZ_ualnZ2d@comcast.com
"Steve" <nospam_steved94@comcast.net> writes:
> Given the restriction, I found your example easy to follow. I don't know
> where to find the Ravenscar document for comparison.
The Ravenscar profile is documented in section D.13.1 of the latest Ada
Reference Manual.
> Ada 83 was restrictive in ways that were found to be overly restrictive for
> practical application. Some of these retrictions were relaxed with Ada 95.
> Perhaps the next round of Ravenscar will do the same.
I don't see any need to relax Ravenscar, because if you want to use
features not allowed by Ravenscar, you don't have to restrict yourself
to Ravenscar. It's a free choice. 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).
- Bob
next prev parent reply other threads:[~2007-09-06 14:06 UTC|newest]
Thread overview: 49+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-09-04 13:53 Ravenscar-compliant bounded buffer Maciej Sobczak
2007-09-05 3:00 ` Steve
2007-09-05 7:38 ` Maciej Sobczak
2007-09-06 4:04 ` Steve
2007-09-06 14:06 ` Robert A Duff [this message]
2007-09-06 15:36 ` Dmitry A. Kazakov
2007-09-07 2:36 ` Robert A Duff
2007-09-06 21:13 ` Maciej Sobczak
2007-09-07 2:41 ` Robert A Duff
2007-09-07 11:56 ` anon
2007-09-07 19:44 ` Maciej Sobczak
2007-09-08 0:16 ` anon
2007-09-08 1:19 ` Larry Kilgallen
2007-09-08 5:13 ` anon
2007-09-08 22:06 ` Larry Kilgallen
2007-09-09 2:17 ` anon
2007-09-09 12:07 ` Larry Kilgallen
2007-09-09 13:10 ` Markus E L
2007-09-11 2:44 ` Randy Brukardt
2007-09-08 11:50 ` Niklas Holsti
2007-09-08 12:01 ` Pascal Obry
2007-09-08 17:13 ` anon
2007-09-08 17:11 ` anon
2007-09-08 19:14 ` Markus E L
2007-09-09 14:54 ` anon
2007-09-09 16:01 ` Markus E L
2007-09-09 10:38 ` Gautier
2007-09-09 11:41 ` anon
2007-09-09 13:19 ` Markus E L
2007-09-09 13:52 ` Pascal Obry
2007-09-09 15:22 ` anon
2007-09-09 16:03 ` Markus E L
2007-09-10 0:05 ` Larry Kilgallen
2007-09-10 3:10 ` Markus E L
2007-09-09 16:05 ` Markus E L
2007-09-09 18:40 ` Ed Falis
2007-09-09 19:11 ` Markus E L
2007-09-09 10:57 ` Gautier
2007-09-09 14:49 ` anon
2007-09-09 15:08 ` Pascal Obry
2007-09-09 15:38 ` Markus E L
2007-09-09 19:12 ` Niklas Holsti
2007-09-09 19:28 ` Ed Falis
2007-09-10 12:51 ` Colin Paul Gloster
2007-09-07 1:38 ` Steve
2007-09-07 2:47 ` Robert A Duff
2007-09-05 7:46 ` Dmitry A. Kazakov
2007-09-05 8:17 ` brodax
2007-09-05 8:30 ` Jean-Pierre Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox