From: Xavier Nicollin <Xavierno.Spamnicollin@imag.nos.pam.fr>
Subject: Re: Ravenscar and run-time program parameters
Date: Fri, 31 Aug 2007 11:01:03 +0200
Date: 2007-08-31T11:01:03+02:00 [thread overview]
Message-ID: <fb8ljg$r4i$1@trompette.imag.fr> (raw)
In-Reply-To: <nEKBi.80953$Fc.67423@attbi_s21>
Hi,
Jeffrey R. Carter wrote:
> One is given at
>
> http://www.sigada.org/ada_letters/jun2004/ravenscar_article.pdf
>
> However, it is incorrect, because Suspend_Until_True is a potentially
> blocking operation and may not be called from a protected operation. You
> may be able to infer a correct implementation from this.
I suppose you are talking about Example 12 (p. 32). I believe (and I hope!)
it is correct: the two calls to Suspend_Until_True take place in the
regular procedures (Place_Item and Extract_Item), and not in the protected
ones (Place and Extract). I am missing something?
--
Xavier Nicollin
next prev parent reply other threads:[~2007-08-31 9:01 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-08-29 7:48 Ravenscar and run-time program parameters Maciej Sobczak
2007-08-29 8:41 ` Jean-Pierre Rosen
2007-08-29 16:17 ` Jeffrey R. Carter
2007-08-30 6:52 ` Maciej Sobczak
2007-08-31 2:01 ` Jeffrey R. Carter
2007-08-31 9:01 ` Xavier Nicollin [this message]
2007-09-03 9:29 ` Maciej Sobczak
2007-08-30 9:49 ` Colin Paul Gloster
2007-08-31 1:29 ` Jeffrey R. Carter
2007-08-29 9:02 ` Dmitry A. Kazakov
2007-08-29 10:23 ` brodax
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox