From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Barrier re-evaluation issue with GNAT 4.3.2
Date: Mon, 28 Sep 2009 20:51:26 +0200
Date: 2009-09-28T20:51:25+02:00 [thread overview]
Message-ID: <149j9gmsas1fp$.1d62gknnx87q4$.dlg@40tude.net> (raw)
In-Reply-To: h9qv8m$nus$1@news.tornevall.net
On Mon, 28 Sep 2009 11:38:18 -0700, Jeffrey R. Carter wrote:
> An entry call is always potentially blocking, regardless of its barrier; see ARM
> 9.5.1. Technically, this code contains a bounded error. Since the potentially
> blocking operation was detected, your program should raise Program_Error; GNAT
> pretends that it hasn't detected that the operation is potentially blocking and
> lets you get away with only a warning. Other compilers (and even other versions
> of GNAT) may actually raise Program_Error.
A small addition to above. If you wanted to call to an entry from inside a
protected procedure you have two options:
1. the callee is made a protected procedure (can be factored out);
2. the caller is made an entry, and the call replaced with requeue.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2009-09-28 18:51 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-09-24 17:02 Barrier re-evaluation issue with GNAT 4.3.2 Reto Buerki
2009-09-24 17:47 ` Dmitry A. Kazakov
2009-09-25 8:50 ` Brad Moore
2009-09-25 9:17 ` Dmitry A. Kazakov
2009-09-25 9:57 ` Ludovic Brenta
2009-09-25 10:31 ` Dmitry A. Kazakov
2009-09-25 11:23 ` Jean-Pierre Rosen
2009-09-28 10:41 ` Reto Buerki
2009-09-25 17:06 ` Brad Moore
2009-09-25 18:42 ` Dmitry A. Kazakov
2009-09-25 19:39 ` Brad Moore
2009-09-28 10:18 ` Reto Buerki
2009-09-25 15:56 ` John B. Matthews
2009-09-26 14:23 ` John B. Matthews
2009-09-28 10:28 ` Reto Buerki
2009-09-28 12:39 ` John B. Matthews
2009-09-28 13:25 ` Reto Buerki
2009-09-28 14:05 ` Reto Buerki
2009-09-28 18:38 ` Jeffrey R. Carter
2009-09-28 18:51 ` Dmitry A. Kazakov [this message]
2009-09-29 8:37 ` Reto Buerki
2009-09-28 21:13 ` Robert A Duff
2009-09-28 22:28 ` Jeffrey R. Carter
2009-10-10 5:41 ` Randy Brukardt
2009-09-29 8:30 ` Reto Buerki
2009-09-29 15:06 ` John B. Matthews
2009-09-30 14:12 ` Reto Buerki
2009-09-30 15:59 ` John B. Matthews
2009-10-01 16:12 ` John B. Matthews
2009-10-01 17:17 ` Anh Vo
2009-10-02 2:26 ` John B. Matthews
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox